3799 search results - page 501 / 760 » An Engineering Approach to Formal Methods |
185
Voted
AIPS
2007
15 years 9 months ago
2007
Most traditional approaches to probabilistic planning in relationally specified MDPs rely on grounding the problem w.r.t. specific domain instantiations, thereby incurring a com...
170
click to vote
IJCAI
2007
15 years 8 months ago
2007
Computational cognitive modeling has recently emerged as one of the hottest issues in the AI area. Both symbolic approaches and connectionist approaches present their merits and d...
231
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
A key element of the social networks on the internet such as Facebook and Flickr is that they encourage users to create connections between themselves, other users and objects. On...
192
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
171
click to vote
NDQA
2003
15 years 8 months ago
2003
With the ever-increasing amount of textual information available, it is becoming increasingly unlikely that a single document will provide the answer to a question. A more likely ...