674 search results - page 88 / 135 » The computational complexity of the parallel knock-out probl... |
144
click to vote
IWVF
2001
Springer
15 years 5 months ago
2001
Springer
We consider the problem of recognizing an object from its silhouette. We focus on the case in which the camera translates, and rotates about a known axis parallel to the image, suc...
109
click to vote
HPDC
1998
IEEE
15 years 5 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
127
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
-- Cyberinfrastructure makes the development and deployment of bioinformatics applications easier by providing the framework and components that may be loosely coupled using servic...
124
click to vote
GCC
2006
Springer
15 years 5 months ago
2006
Springer
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...