738 search results - page 79 / 148 » Object Orientation and Formal Techniques |
143
click to vote
OOPSLA
2009
Springer
16 years 26 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
184
click to vote
BROADNETS
2006
IEEE
16 years 12 days ago
2006
IEEE
— A camera sensor network is a wireless network of cameras that are designed for ad-hoc deployment. The camera sensors in such a network need to be properly calibrated by determi...
186
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
164
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
218
click to vote
CVPR
2009
IEEE
17 years 21 days ago
2009
IEEE
System theoretic approaches to action recognition model the dynamics of a scene with linear dynamical systems (LDSs) and perform classification using metrics on the space of LDSs, ...