1362 search results - page 57 / 273 » Means, Correlations and Bounds |
CORR
2004
Springer
14 years 11 months ago
2004
Springer
A long-running difficulty with conventional game theory has been how to modify it to accommodate the bounded rationality of all real-world players. A recurring issue in statistica...
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
An architecture for shape recognition is presented, with emphasis on low-latency and power efficiency. This architecture is an extension of an existing architecture used for moti...
104
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
106
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
NMR
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...