2432 search results - page 353 / 487 » High-level approach to modeling of observed system behavior |
193
click to vote
ECAL
1995
Springer
15 years 10 months ago
1995
Springer
Neither `design' nor `evolutionary' approaches to building behavior-based robots feature a role for development in the genesis of behavioral organization. However, the n...
177
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
122
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
163
click to vote
IBPRIA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper introduces a technique for region-based pose tracking without the need to explicitly compute contours. We assume a surface model of a rigid object and at least...
180
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...