Sciweavers

469 search results - page 4 / 94
» A Modal Analysis of Staged Computation
Sort
View
CONCUR
2008
Springer
13 years 9 months ago
Abstraction for Stochastic Systems by Erlang's Method of Stages
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
Joost-Pieter Katoen, Daniel Klink, Martin Leucker,...
CVPR
2010
IEEE
13 years 6 months ago
Rapid and accurate developmental stage recognition of C. elegans from high-throughput image data
We present a hierarchical principle for object recognition and its application to automatically classify developmental stages of C. elegans animals from a population of mixed stag...
Amelia White, Huey-Ling Kao, Patricia Cipriani, Br...
VRST
2006
ACM
14 years 1 months ago
Variations in physiological responses of participants during different stages of an immersive virtual environment experiment
This paper presents a study of the fine grain physiological responses of participants to an immersive virtual simulation of an urban environment. The analysis of differences in p...
Andrea Brogni, Vinoba Vinayagamoorthy, Anthony Ste...
CVPR
2006
IEEE
14 years 9 months ago
Selecting Principal Components in a Two-Stage LDA Algorithm
Linear Discriminant Analysis (LDA) is a well-known and important tool in pattern recognition with potential applications in many areas of research. The most famous and used formul...
Aleix M. Martínez, Manli Zhu
IGPL
2000
152views more  IGPL 2000»
13 years 7 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...