9730 search results - page 1765 / 1946 » Relating models of backtracking |
165
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...
130
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
146
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
144
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The Rich News system, that can automatically annotate radio and television news with the aid of resources retrieved from the World Wide Web, is described. Automatic speech recogni...
280
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...