12015 search results - page 491 / 2403 » Interactive Algorithms 2005 |
127
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
We present a tool for finding errors in Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped tool [1].
91
Voted
AMC
2005
15 years 4 months ago
2005
This paper explores the utility of a discrete singular convolution (DSC) algorithm for solving the Black
144
click to vote
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
Web user search customization research has been fueled by the recognition that if the WWW is to attain to its optimal potential as an interactive medium the development of new and...
165
click to vote
KDD
2005
ACM
15 years 10 months ago
2005
ACM
The increasing complexity of today’s systems makes fast and accurate failure detection essential for their use in mission-critical applications. Various monitoring methods provi...
162
click to vote
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
Projection systems can be used to implement augmented reality, as well as to create both displays and interfaces on ordinary surfaces. Ordinary surfaces have varying reflectance, ...