Sciweavers

1953 search results - page 303 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
LICS
1996
IEEE
15 years 5 months ago
The Theory of Hybrid Automata
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
Thomas A. Henzinger
87
Voted
ISBI
2008
IEEE
16 years 2 months ago
Towards digital representation of Drosophila embryogenesis
Animal development can be described as a complex, threedimensional cellular system that changes dramatically across time as a consequence of cell proliferation, differentiation an...
Stephan Preibisch, Radoslaw Ejsmont, Torsten Rohlf...
ICCV
2007
IEEE
15 years 7 months ago
Pose and Gaze Estimation in Multi-camera Networks for Non-restrictive HCI
Multi-camera networks offer potentials for a variety of novel human-centric applications through provisioning of rich visual information. In this paper, face orientation analysis ...
Chung-Ching Chang, Chen Wu, Hamid K. Aghajan
IAT
2009
IEEE
15 years 8 months ago
Simulating BDI-Based Wireless Sensor Networks
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
Alexis Morris, Paolo Giorgini, Sameh Abdel-Naby
DAGSTUHL
1997
15 years 2 months ago
Fast and Accurate Collision Detection for Virtual Environments
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
Ming C. Lin