Sciweavers

4042 search results - page 641 / 809
» The EXODUS Optimizer Generator
Sort
View
119
Voted
SMI
2007
IEEE
106views Image Analysis» more  SMI 2007»
15 years 9 months ago
Iterative Methods for Improving Mesh Parameterizations
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
Shen Dong, Michael Garland
126
Voted
WACV
2007
IEEE
15 years 9 months ago
Object Categorization Robust to Surface Markings using Entropy-guided Codebook
Visual categorization is fundamentally important for autonomous mobile robots to get intelligence such as novel object acquisition and topological place recognition. The main dif...
Sungho Kim, In-So Kweon
129
Voted
AGTIVE
2007
Springer
15 years 9 months ago
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
Gernot Veit Batz, Moritz Kroll, Rubino Geiß
154
Voted
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 9 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
136
Voted
EMSOFT
2007
Springer
15 years 9 months ago
The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
Haifeng He, Saumya K. Debray, Gregory R. Andrews