835 search results - page 24 / 167 » A calculus of challenges and responses |
IWQOS
2005
Springer
14 years 1 months ago
2005
Springer
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...
ICB
2009
Springer
14 years 2 months ago
2009
Springer
Human detection under occlusion is a challenging problem in computer vision. We address this problem through a framework which integrates face detection and person detection. We ï¬...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
WSC
2007
13 years 10 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
JMLR
2010
13 years 2 months ago
2010
We present an artificially simulated dataset (TIED) constructed so that there are many minimal sets of variables with maximal predictivity (i.e., Markov boundaries) and likewise m...