1296 search results - page 146 / 260 » Searching with context |
151
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
195
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper addresses action spotting, the spatiotemporal detection and localization of human actions in video. A novel compact local descriptor of video dynamics in the context of...
164
click to vote
ICDAR
2009
IEEE
16 years 10 days ago
2009
IEEE
This paper describes a method of on-line handwritten Japanese text recognition by improved path evaluation. Based on a theoretical ground, the method evaluates the likelihood of c...
163
click to vote
IEEEICCI
2009
IEEE
16 years 7 days ago
2009
IEEE
The OpenBiomind toolkit is used to apply GA, GP and local search methods to analyze a large SNP dataset concerning late-onset Alzheimers disease (LOAD). Classification models iden...
151
click to vote
SIGIR
2009
ACM
16 years 2 days ago
2009
ACM
The inclusion of document length factors has been a major topic in the development of retrieval models. We believe that current models can be further improved by more refined est...