7335 search results - page 1195 / 1467 » Scene Based Reasoning |
167
click to vote
CSL
2007
Springer
16 years 23 days ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
168
click to vote
CSL
2007
Springer
16 years 23 days ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
176
click to vote
ECSQARU
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
199
click to vote
ESAW
2007
Springer
16 years 22 days ago
2007
Springer
In the field of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...
153
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...