7690 search results - page 1321 / 1538 » On the semantics of informational independence |
180
click to vote
MLMI
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we present a meeting state recognizer based on a combination of multi-modal sensor data in a smart room. Our approach is based on the training of a statistical model ...
165
click to vote
MODELS
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we introduce a novel wide-profile graphical tool-building platform GrTP which is based on the principle of separating semantic domain model processing and user inter...
170
click to vote
SAFECOMP
2007
Springer
16 years 22 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
168
click to vote
TARK
2007
Springer
16 years 21 days ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
156
click to vote
DSN
2006
IEEE
16 years 20 days ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...