Sciweavers

839 search results - page 84 / 168
» Answer Set Programming with Resources
Sort
View
ASP
2001
Springer
14 years 8 days ago
Computing stable models in parallel
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
Raphael A. Finkel, Victor W. Marek, Neil Moore, Mi...
ICSE
2010
IEEE-ACM
13 years 9 months ago
Supporting developers with natural language queries
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
Michael Würsch, Giacomo Ghezzi, Gerald Reif, ...
DAIS
2010
13 years 9 months ago
A Reconfiguration Language for Virtualized Grid Infrastructures
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
Rémy Pottier, Marc Léger, Jean-Marc ...
WEBNET
1998
13 years 9 months ago
Interactive Music Instruction with Java Objects
: The Java Music Toolkit is a set of Java classes that can display and play musical scores. The classes are used in music courseware in which students hear problem sets and notate ...
Paul E. Dworak
BMCBI
2006
107views more  BMCBI 2006»
13 years 7 months ago
CROPPER: a metagene creator resource for cross-platform and cross-species compendium studies
Background: Current genomic research methods provide researchers with enormous amounts of data. Combining data from different high-throughput research technologies commonly availa...
Jussi Paananen, Markus Storvik, Garry Wong