3235 search results - page 381 / 647 » Partial Redundant Modeling |
111
click to vote
CDC
2009
IEEE
15 years 8 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 ...
121
click to vote
CONTEXT
2007
Springer
15 years 8 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...
155
click to vote
DAGM
2006
Springer
15 years 8 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-...
129
click to vote
ISER
2000
Springer
15 years 8 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...
114
click to vote
APSEC
1995
IEEE
15 years 8 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...