11436 search results - page 2120 / 2288 » Modeling Real Reasoning |
150
click to vote
AAAI
2000
15 years 4 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
153
Voted
UAI
2003
15 years 4 months ago
2003
Group elevator scheduling is an NP-hard sequential decision-making problem with unbounded state spaces and substantial uncertainty. Decision-theoretic reasoning plays a surprising...
109
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
RSSI is known to be a fickle indicator of whether a wireless link will work, for many reasons. This greatly complicates operation because it requires testing and adaptation to fin...
148
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
121
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Although testing for simultaneous divergence (vicariance) across different population-pairs that span the same barrier to gene flow is of central importance to evoluti...