Sciweavers

1580 search results - page 99 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
TARK
1998
Springer
15 years 10 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
SIGMOD
1993
ACM
77views Database» more  SIGMOD 1993»
15 years 10 months ago
The oo7 Benchmark
The OO7 Benchmark represents a comprehensive test of OODBMS performance. In this report we describe the benchmark and present performance results from its implementation in four O...
Michael J. Carey, David J. DeWitt, Jeffrey F. Naug...
AUTONOMICS
2007
ACM
15 years 10 months ago
Efficient operation in sensor and actor networks inspired by cellular signaling cascades
The investigation and the development of self-organizing systems are especially needed for operation and control in massively distributed systems such as Sensor and Actor Networks...
Falko Dressler, Isabel Dietrich, Reinhard German, ...
ECBS
2004
IEEE
153views Hardware» more  ECBS 2004»
15 years 10 months ago
Architectural Description with Integrated Data Consistency Models
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
Peter Tabeling
FGR
2004
IEEE
178views Biometrics» more  FGR 2004»
15 years 10 months ago
Video-Based Tracking of User's Motion for Augmented Desk Interface
This paper presents an overview of our project on an augmented desk interface system called the EnhancedDesk. The EnhancedDesk is equipped with an infrared camera for tracking a u...
Yoichi Sato, Kenji Oka, Hideki Koike, Yasuto Nakan...