1689 search results - page 172 / 338 » On Natural Non-dcpo Domains |
145
click to vote
ATMOS
2009
15 years 7 months ago
2009
Abstract. We consider a fundamental problem, called QoS-aware Multicommodity Flow, for assessing robustness in transportation planning. It constitutes a natural generalization of t...
161
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
We describe here a framework dedicated to studies and experimentations upon the nature of the relationships between the rational reasoning process of an artificial agent and its ps...
164
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
Approximate MAP inference in graphical models is an important and challenging problem for many domains including computer vision, computational biology and natural language unders...
162
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
— The use of higher-order functions, as a method of ion and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motiva...
168
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...