1863 search results - page 128 / 373 » Unifying Theories of Objects |
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
ICIP
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we present a flexible multimodal object tracking system. It is based on a particle filter which combines the outputs of different measurement methods (also called ...
KAIS
2006
13 years 9 months ago
2006
Abstract It has been proven that districted matching schemes (e.g., the US presidential election scheme, also called the Electoral College) are more stable than undistricted matchi...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— We have previously shown that hemispherical soft fingertips are at equilibrium when they are in contact with objects, suggesting that the contact force and flexibility of the...
CISC
2009
Springer
13 years 7 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...