1914 search results - page 74 / 383 » Verification by Abstract Interpretation |
138
click to vote
TRIER
2002
15 years 5 days ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
86
Voted
KI
2007
Springer
15 years 6 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...
82
Voted
OTM
2007
Springer
15 years 6 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...
94
Voted
ADBIS
2005
Springer
15 years 6 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 ...
100
click to vote
ESWS
2008
Springer
15 years 2 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...