3342 search results - page 175 / 669 » Automating Abstract Interpretation |
110
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
AGP
1998
IEEE
15 years 3 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
90
Voted
GFKL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
ICRA
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract— In this paper we address the problem of interpreting sensory data for human-robot interaction, especially when gathered from several robots at the same time. After desc...
AUSAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper describes and compares the use of methods based on Ngrams (specifically trigrams and pentagrams), together with five features, to recognise the syntactic and s...