Sciweavers

569 search results - page 6 / 114
» The Sisyphus Continuous Integration System
Sort
View
NAR
2007
99views more  NAR 2007»
14 years 11 months ago
PATRIC: The VBI PathoSystems Resource Integration Center
The PathoSystems Resource Integration Center (PATRIC) is one of eight Bioinformatics Resource Centers (BRCs) funded by the National Institute of Allergy and Infection Diseases (NI...
E. E. Snyder, N. Kampanya, J. Lu, Eric K. Nordberg...
TITS
2010
189views Education» more  TITS 2010»
14 years 6 months ago
Head Pose Estimation and Augmented Reality Tracking: An Integrated System and Evaluation for Monitoring Driver Awareness
Driver distraction and inattention are prominent causes of automotive collisions. To enable driver-assistance systems to address these problems, we require new sensing approaches t...
Erik Murphy-Chutorian, Mohan M. Trivedi
APN
1999
Springer
15 years 4 months ago
Autonomous Continuous P/T Systems
Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying thi...
Laura Recalde, Enrique Teruel, Manuel Silva
82
Voted
IFM
1999
Springer
15 years 3 months ago
Modelling Discrete Behaviour in a Continuous-Time Formalism
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
Colin J. Fidge
CONCUR
1999
Springer
15 years 4 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...