5964 search results - page 359 / 1193 » A theory of speculative computation |
166
Voted
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
163
click to vote
ESAW
2003
Springer
16 years 22 days ago
2003
Springer
We outline a model for a society of agents based upon one of the classical theories of sociology: The Weber’s model. We first investigate its links to agent technology through i...
185
click to vote
COMPGEOM
2010
ACM
16 years 18 days ago
2010
ACM
We prove that the union complexity of a set of n constantcomplexity locally fat objects (which can be curved and/or non-convex) in the plane is O(λt+2(n) log n), where t is the m...
207
Voted
ICPR
2002
IEEE
16 years 14 days ago
2002
IEEE
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
193
Voted
MCS
2001
Springer
15 years 12 months ago
2001
Springer
In this paper, the error-reject trade-off of linearly combined multiple classifiers is analysed in the framework of the minimum risk theory. Theoretical analysis described in [12,1...