937 search results - page 96 / 188 » On the Complexity of Partial Order Properties |
150
click to vote
HPCA
2009
IEEE
16 years 6 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
148
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...
141
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper explores how shape, motion, and lighting interact in the case of a two-frame motion sequence. We consider a rigid object with Lambertian reflectance properties undergoi...
170
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we address issues in segmentation of remotely sensed LIDAR (LIght Detection And Ranging) data. The LIDAR data, which were captured by airborne laser scanner, contai...
219
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
The estimation of soft tissue deformation from 3D image sequences is an important problem in a number of fields such as diagnosis of heart disease and image guided surgery. In thi...