13004 search results - page 2242 / 2601 » Mining Software Data |
165
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
170
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we consider alternate ways of storing a sparse matrix and their effect on computational speed. They involve keeping both the indices and the non-zero elements in t...
189
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
In the last twenty years many approaches for contact-free measurement techniques for object surfaces and approaches for 3d object reconstruction have been proposed; but often they ...
191
click to vote
DIMEA
2008
15 years 8 months ago
2008
The Biometric Tendency Recognition and Classification System is a software application that continuously measures a participant's physiological responses to a given image and...
166
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
The objective of Molecular Dynamics (MD) simulations is to determine the shape of a molecule in a given biomolecular environment. These simulations are very demanding computationa...