2638 search results - page 89 / 528 » A Framework for Automatic Debugging |
132
Voted
JAR
2006
15 years 2 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...
141
Voted
EUSFLAT
2009
15 years 10 days 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...
90
Voted
MM
1998
ACM
15 years 6 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...
103
Voted
LREC
2010
15 years 4 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...
129
Voted
FDG
2009
ACM
15 years 10 days 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...