1113 search results - page 61 / 223 » Automated Approaches for Classifying Structures |
120
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
130
click to vote
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
Diabetic retinopathy is a major cause of blindness and microaneurysms are the first clinically observable manifestations of diabetic retinopathy. Regular screening and timely int...
132
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...
136
click to vote
ATVA
2008
Springer
15 years 5 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...
127
Voted
CAD
2006
Springer
15 years 3 months ago
2006
Springer
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...