4595 search results - page 602 / 919 » Reasoning about Plans |
92
Voted
FUIN
2008
15 years 25 days ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
CONNECTION
2006
15 years 24 days ago
2006
By learning a range of possible times over which the effect of an action can take place, a robot can reason more effectively about causal and contingent relationships in the world...
116
Voted
ENTCS
2006
15 years 23 days ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
90
Voted
ENTCS
2006
15 years 23 days ago
2006
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
76
Voted
ENTCS
2006
15 years 23 days ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...