Sciweavers

4930 search results - page 768 / 986
» Testing a Safety-Critical Application
Sort
View
KI
2001
Springer
15 years 11 months ago
Belief Update in the pGOLOG Framework
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
Henrik Grosskreutz, Gerhard Lakemeyer
UML
2001
Springer
15 years 11 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
ECRTS
2000
IEEE
15 years 11 months ago
Prototyping distributed multimedia systems using communicating real-time state machines
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
Giancarlo Fortino, Libero Nigro
FGR
2000
IEEE
141views Biometrics» more  FGR 2000»
15 years 11 months ago
Multiple Cues used in Model-Based Human Motion Capture
Human motion capture has lately been the object of much attention due to commercial interests. A ”touch free” computer vision solution to the problem is desirable to avoid the...
Thomas B. Moeslund, Erik Granum
HICSS
2000
IEEE
135views Biometrics» more  HICSS 2000»
15 years 11 months ago
The IT Performance Evaluation in the Construction Industry
To date there has been limited published work in the construction management and engineering literature that has provided empirical evidence to demonstrate that IT can improve org...
Heng Li, Zahir Irani, Peter E. D. Love