309 search results - page 49 / 62 » A quantitative approach to functional debugging |
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
KES
2007
Springer
14 years 1 months ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...
DASFAA
2006
IEEE
14 years 1 months ago
2006
IEEE
When hosting XML information on relational backends, a mapping has to be established between the schemas of the information source and the target storage repositories. A rich body ...
ACIVS
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...
SC
2005
ACM
14 years 29 days ago
2005
ACM
: The Open Grid Services Architecture (OGSA) has been a major step forward for Grid Computing, but its de facto reliance on the Web Services Resource Framework (WSRF) and WSNotific...