4987 search results - page 534 / 998 » Support Ordered Resolution |
183
click to vote
ETFA
2005
IEEE
16 years 19 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
145
click to vote
HICSS
2005
IEEE
16 years 19 days ago
2005
IEEE
Location-based and location-oriented applications will be amongst the most powerful drivers of organizational change in the coming years. However, the strategic use of these techn...
166
click to vote
ICDE
2005
IEEE
16 years 19 days ago
2005
IEEE
Structured P2P systems in the form of distributed hash tables (DHT) are a promising approach for building massively distributed data management platforms. However, for many applic...
201
click to vote
ICMCS
2005
IEEE
16 years 18 days ago
2005
IEEE
In the present treatise, we propose an approach for a highly configurable image based online person behaviour monitoring system. The particular application scenario is a crew sup...
168
click to vote
ICRA
2005
IEEE
16 years 18 days ago
2005
IEEE
— In order to create consistent maps of unknown environments, a robot must be able to recognize when it has returned to a previously visited place. In this paper, we introduce an...