3052 search results - page 212 / 611 » Weakly Distributive Domains |
223
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Comparative evaluation of visualization and experiment results is a critical step in computational steering. In this paper, we present a study of image comparison metrics for quan...
200
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
177
click to vote
SKG
2006
IEEE
16 years 18 days ago
2006
IEEE
Sensor network is a novel technology about acquiring and processing information. This paper introduces the basic interaction patterns between requesters and providers of services ...
172
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Current language mechanisms for concurrency are largely isolated to the domain of single programs. Furthermore, increasing interest in concurrent programming encourages further res...
161
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...