7811 search results - page 482 / 1563 » computer 2004 |
185
click to vote
SPIN
2004
Springer
16 years 5 days ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
196
Voted
EAGC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...
145
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we present a novel method to meet the time-critical requirement in rendering time-varying volume data. In time-critical rendering, the rendering is demanded to be c...
194
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Feature histograms based on the evaluation of Haar integrals with nonlinear kernel functions were used successfully for the purpose of invariant content based image retrieval. In ...
148
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The term immersion is widely used to describe games but it is not clear what immersion is or indeed if people are using the same word consistently. This paper describes work done ...