Sciweavers

4615 search results - page 529 / 923
» Virtual Classes and Their Implementation
Sort
View
EUROPAR
2007
Springer
15 years 10 months ago
Domain-Specific Optimization Strategy for Skeleton Programs
Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simplycomposed skeleton program often l...
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Mas...
3DPVT
2006
IEEE
197views Visualization» more  3DPVT 2006»
15 years 10 months ago
Aerial LiDAR Data Classification Using Support Vector Machines (SVM)
We classify 3D aerial LiDAR scattered height data into buildings, trees, roads, and grass using the Support Vector Machine (SVM) algorithm. To do so we use five features: height, ...
Suresh K. Lodha, Edward J. Kreps, David P. Helmbol...
CLOR
2006
15 years 10 months ago
Generative Models for Labeling Multi-object Configurations in Images
Abstract. We propose a generative approach to the problem of labeling images containing configurations of objects from multiple classes. The main building blocks are dense statisti...
Yali Amit, Alain Trouvé
GECCO
2006
Springer
148views Optimization» more  GECCO 2006»
15 years 10 months ago
A specification-based fitness function for evolutionary testing of object-oriented programs
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
Yoonsik Cheon, Myoung Kim
ICCAD
1995
IEEE
127views Hardware» more  ICCAD 1995»
15 years 10 months ago
Hybrid decision diagrams
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao