2340 search results - page 274 / 468 » Second quarter 2008 |
162
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
The problem of extracting information from large collections of imagery is a challenge with few good solutions. Computers typically cannot interpret imagery as effectively as huma...
173
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
187
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
192
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Previous work showed that statistical analysis techniques could successfully be used to construct compact signatures of distinct operational problems in Internet server systems. B...
186
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
The console logs generated by an application contain messages that the application developers believed would be useful in debugging or monitoring the application. Despite the ubiq...