1724 search results - page 55 / 345 » Abstract Interpreters for Free |
167
click to vote
APLAS
2011
ACM
14 years 5 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
127
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
129
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In P2P data management systems, semantic interoperability between any two peers that do not share the same ontology relyes on ontology matching. The established correspon...
145
click to vote
ADBIS
2005
Springer
15 years 11 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
142
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In semantic web applications where query initiators and information providers do not necessarily share the same ontology, semantic interoperability generally relies on on...