5243 search results - page 57 / 1049 » Reasoning About Strategies |
139
Voted
LOGCOM
1998
15 years 5 days ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
128
Voted
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
WWW
2008
ACM
16 years 1 months ago
2008
ACM
In many text retrieval tasks, it is highly desirable to obtain a "similarity profile" of the document collection for a given query. We propose sampling-based techniques ...
188
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
209
Voted
POPL
2006
ACM
16 years 25 days ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...