9405 search results - page 1368 / 1881 » Computing a Model of Set Theory |
197
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
158
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a new image-space algorithm for real-time collision detection, where the GPU computes the potentially colliding sets, and the CPU performs the standard triangle...
161
click to vote
AHS
2006
IEEE
16 years 1 months ago
2006
IEEE
Randomly connecting networks have proven to be universal computing machines. By interconnecting a set of nodes in a random way one can model very complicated non-linear dynamic sy...
196
click to vote
FCCM
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
250
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
We compare three Computer Vision approaches to 3-D reconstruction, namely passive Binocular Stereo and active Structured Lighting and Photometric Stereo, in application to human f...