3424 search results - page 139 / 685 » Automated Testing of Classes |
142
click to vote
HAPTICS
2003
IEEE
15 years 11 months ago
2003
IEEE
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...
157
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
190
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
169
click to vote
CVIU
2006
15 years 6 months ago
2006
In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant ...
176
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
We address a novel problem domain in the analysis of optical coherence tomography (OCT) images: the diagnosis of multiple macular pathologies in retinal OCT images. The goal is to ...