1247 search results - page 112 / 250 » Reasoning about Function Objects |
145
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Cooperation is the fundamental underpinning of multi-agent systems, allowing agents to interact to achieve their goals. Where agents are self-interested, or potentially unreliable...
127
click to vote
FMCO
2007
Springer
16 years 10 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
210
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...
216
click to vote
TPCD
1994
15 years 7 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
177
click to vote
EVOW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Real-world optimization problems are often subject to uncertainties, which can arise regarding stochastic model parameters, objective functions and decision variables. Th...