1022 search results - page 144 / 205 » Stable models and circumscription |
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
— Programming a humanoid robot to perform an action that takes the robot’s complex dynamics into account is a challenging problem. Traditional approaches typically require high...
FASE
2007
Springer
14 years 4 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
SIGMOD
2010
ACM
13 years 10 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
AMAI
2008
Springer
13 years 10 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
BMCBI
2010
13 years 10 months ago
2010
Background: Time-of-flight mass spectrometry (TOF-MS) has the potential to provide non-invasive, high-throughput screening for cancers and other serious diseases via detection of ...