7742 search results - page 1244 / 1549 » The Robustness of Level Sets |
174
click to vote
EGH
2005
Springer
16 years 7 days ago
2005
Springer
Complex shaders must be partitioned into multiple passes to execute on GPUs with limited hardware resources. Automatic partitioning gives rise to an NP-hard scheduling problem tha...
164
Voted
EMMCVPR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a model of the shape, motion and appearance of a sequence of images that captures occlusions, scene deformations, arbitrary viewpoint variations and changes in...
177
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
183
click to vote
FASE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
178
click to vote
FPL
2005
Springer
16 years 7 days ago
2005
Springer
String pattern matching is a computationally expensive task, and when implemented in hardware, it can consume a large amount of resources for processing and storage. This paper pr...