125 search results - page 15 / 25 » A Preliminary Study for a Biomechanical Model of the Respira... |
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
The automatic identification of a user's task has the potential to improve information filtering systems that rely on implicit measures of interest and whose effectiveness ma...
EUROMICRO
2009
IEEE
14 years 12 days ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
The problem of interest is how to dynamically allocate wireless access services in a competitive market which implements a take-it-or-leave-it allocation mechanism. In this paper ...
IUI
2011
ACM
12 years 11 months ago
2011
ACM
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...