3342 search results - page 37 / 669 » Automating Abstract Interpretation |
78
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
107
Voted
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
86
Voted
KR
2004
Springer
15 years 8 months ago
2004
Springer
113
click to vote
AAAI
2008
15 years 5 months ago
2008
To-do lists have been found to be the most popular personal information management tools, yet there is no automated system to interpret and act upon them when appropriate on behal...
106
Voted
BNCOD
2007
15 years 4 months ago
2007
In this paper we report ongoing work in the development of diagram interpretation and assessment applied to entity-relationship diagrams (ERDs). We report on our development of an...