886 search results - page 37 / 178 » Reasoning with contextual graphs |
108
click to vote
AIPS
1996
15 years 3 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
117
click to vote
ICTAI
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...
132
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
130
click to vote
KI
2005
Springer
15 years 7 months ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
101
click to vote
ACL
2004
15 years 3 months ago
2004
Sentiment analysis seeks to identify the viewpoint(s) underlying a text span; an example application is classifying a movie review as "thumbs up" or "thumbs down&qu...