Sciweavers

3073 search results - page 399 / 615
» Real World Verification
Sort
View
SMALLTALK
2007
Springer
16 years 17 days ago
Encapsulating and exploiting change with changeboxes
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
Marcus Denker, Tudor Gîrba, Adrian Lienhard,...
WEBI
2007
Springer
16 years 17 days ago
K-SVMeans: A Hybrid Clustering Algorithm for Multi-Type Interrelated Datasets
Identification of distinct clusters of documents in text collections has traditionally been addressed by making the assumption that the data instances can only be represented by ...
Levent Bolelli, Seyda Ertekin, Ding Zhou, C. Lee G...
3DPVT
2006
IEEE
203views Visualization» more  3DPVT 2006»
16 years 16 days ago
Graph Cut Based Multiple View Segmentation for 3D Reconstruction
In this paper we propose a novel framework for efficiently extracting foreground objects in so called shortbaseline image sequences. We apply the obtained segmentation to improve...
Mario Sormann, Christopher Zach, Konrad F. Karner
3DPVT
2006
IEEE
141views Visualization» more  3DPVT 2006»
16 years 16 days ago
Reference Stream Selection for Multiple Depth Stream Encoding
With advances in technology, a dynamic real world scene can be captured, represented, and streamed for realistic interaction in 3D using multiple digital cameras and computers. Ho...
Sang-Uok Kum, Ketan Mayer-Patel
AHS
2006
IEEE
138views Hardware» more  AHS 2006»
16 years 16 days ago
Generalized Disjunction Decomposition for the Evolution of Programmable Logic Array Structures
Evolvable hardware refers to a self reconfigurable electronic circuit, where the circuit configuration is under the control of an evolutionary algorithm. Evolvable hardware has sh...
Emanuele Stomeo, Tatiana Kalganova, Cyrille Lamber...