2519 search results - page 483 / 504 » Reasoning with Textual Cases |
110
click to vote
AI
2010
Springer
15 years 2 months ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
119
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
103
click to vote
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...
122
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Co-evolution is the process in which two (or more) sets of orthologs exhibit a similar or correlative pattern of evolution. Co-evolution is a powerful way to learn abo...
151
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: In many research areas it is necessary to find differences between treatment groups with several variables. For example, studies of microarray data seek to find a sign...