5525 search results - page 1004 / 1105 » Verification of Model Transformations |
118
Voted
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
138
click to vote
NEUROSCIENCE
2001
Springer
15 years 5 months ago
2001
Springer
Contours and surfaces are basic qualities which are processed by the visual system to aid the successful behavior of autonomous beings within the environment. There is increasing e...
103
click to vote
OOPSLA
2001
Springer
15 years 5 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
91
Voted
CVPR
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a novel approach for learning patterns (sub-images) shared by multiple images without prior knowledge about the number and the positions of the patterns in the images. ...
94
Voted
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Multi-site scheduling deals with the scheduling problems of an enterprise with several distributed production sites, where sites are using the intermediate products of other sites...