2911 search results - page 45 / 583 » A Theory of Expressiveness in Mechanisms |
163
click to vote
JCP
2008
15 years 6 months ago
2008
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...
172
click to vote
DLT
1993
15 years 7 months ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...
175
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics, and graphs...
154
click to vote
LICS
2008
IEEE
16 years 15 days ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
161
click to vote
BVAI
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we analyze the influence of the frequency of sensor data readings on the behaviours of a Robotic System (RS). This is done in the framework of behaviour based archit...