1585 search results - page 312 / 317 » A framework for computer-aided validation |
119
Voted
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Many researchers throughout the world have been struggling to better understand and describe Spatial Data Infrastructures (SDIs). Our knowledge of the real forces and mechanisms b...
146
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
131
Voted
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Deformable image registration in the presence of considerable contrast differences and large-scale size and shape changes represents a significant challenge for image r...
155
Voted
CLOUDCOM
2010
Springer
15 years 18 days ago
2010
Springer
Discovering the correct dataset efficiently is critical for computations and effective simulations in scientific experiments. In contrast to searching web documents over the Intern...
128
Voted
IEAAIE
2010
Springer
15 years 15 days ago
2010
Springer
This paper details the behavioral evaluation of a qualitative image categorisation and retrieval approach using semantic features of images. Content based image retrieval and class...