339 search results - page 7 / 68 » Basic concepts of abstract interpretation |
105
Voted
UIALL
2004
Springer
15 years 5 months ago
2004
Springer
At present, various types of car navigation systems are progressively entering the market. Simultaneously, mobile outdoor navigation systems for pedestrians and electronic tourist ...
118
Voted
AIMSA
2008
Springer
15 years 6 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
CORR
2011
Springer
14 years 3 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
76
Voted
VMCAI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
100
Voted
ICWE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...