3342 search results - page 37 / 669 » Automating Abstract Interpretation |
CSL
2009
Springer
15 years 5 months ago
2009
Springer
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
KR
2004
Springer
15 years 4 months ago
2004
Springer
AAAI
2008
15 years 1 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...
BNCOD
2007
15 years 6 days 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...