2638 search results - page 89 / 528 » A Framework for Automatic Debugging |
125
click to vote
JAR
2006
15 years 1 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
128
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
MM
1998
ACM
15 years 5 months ago
1998
ACM
In this paper we address the issue of structural multimedia similarity, which is based on the relations between the individual objects that comprise a multimedia document. We prop...
LREC
2010
15 years 3 months ago
2010
This paper introduces the Ariadne Corpus Management System. First, the underlying data model is presented which enables users to represent and process heterogeneous data sets with...
119
click to vote
FDG
2009
ACM
14 years 11 months ago
2009
ACM
This poster describes a framework that automatically generates learning support scaffolds to guide task-based learning. The aim is to combine the exploratory learning principles p...