3235 search results - page 381 / 647 » Partial Redundant Modeling |
149
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
160
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents an approach for automatically extracting views from a relational database schema, based on the knowledge of the application domain. In order to achieve such resu...
186
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present an approach to non-rigid object tracking designed to handle textured objects in crowded scenes captured by non-static cameras. For this purpose, groups of low-...
165
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: Autonomous long range navigation in partially known planetary-like terrain is an open challenge for robotics. Navigating several hundreds of meters without any human intervention...
155
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...