1247 search results - page 112 / 250 » Reasoning about Function Objects |
ATAL
2003
Springer
15 years 3 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...
FMCO
2007
Springer
15 years 4 months 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...
102
click to vote
ICMI
2010
Springer
14 years 8 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...
103
click to vote
TPCD
1994
14 years 11 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-...
EVOW
2006
Springer
15 years 1 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...