3342 search results - page 216 / 669 » Automating Abstract Interpretation |
117
click to vote
DIS
2006
Springer
15 years 6 months ago
2006
Springer
Mars probes send back to Earth enormous amount of data. Automating the analysis of this data and its interpretation represents a challenging test of significant benefit to the doma...
110
click to vote
LREC
2008
15 years 4 months ago
2008
This paper introduces a knowledge representation formalism used for annotation of the French MEDIA dialogue corpus in terms of high level semantic structures. The semantic annotat...
106
click to vote
AEI
1998
15 years 2 months ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
109
click to vote
IDT
2010
15 years 1 months ago
2010
This paper examines the driving and opposing forces that are governing the current paradigm shift from a data-processing information technology environment without software intell...
120
click to vote
ICDAR
1997
IEEE
15 years 7 months ago
1997
IEEE
The purpose of a document is to facilitate the transfer of information from its author to its readers. It is the author’s job to design the document so that the information it c...