1433 search results - page 231 / 287 » An approach to detecting failures automatically |
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
WSDM
2010
ACM
15 years 9 months ago
2010
ACM
In web search, recency ranking refers to ranking documents by relevance which takes freshness into account. In this paper, we propose a retrieval system which automatically detect...
103
click to vote
JCDL
2009
ACM
15 years 6 months ago
2009
ACM
A lot of future-related information is available in news articles or Web pages. This information can however differ to large extent and may fluctuate over time. It is therefore di...
105
click to vote
ICCV
2007
IEEE
15 years 6 months ago
2007
IEEE
Three-dimensional geometric data play fundamental roles in many computer vision applications. However, their scale-dependent nature, i.e. the relative variation in the spatial ext...
ICMI
2007
Springer
15 years 6 months ago
2007
Springer
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...