Sciweavers

533 search results - page 89 / 107
» Adaptive portal framework for Semantic Web applications
Sort
View
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
14 years 7 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
SAC
2000
ACM
15 years 1 months ago
Efficient and Flexible Web Access to Art-Historical Image Collections
Modern object-relational database systems are capable of managing multimedia data, e.g. image, video and audio. In this paper we study how such universal database systems can be u...
Matthias Wagner, Stefan Holland, Werner Kieß...
95
Voted
ACL
2010
14 years 7 months ago
Tools for Multilingual Grammar-Based Translation on the Web
This is a system demo for a set of tools for translating texts between multiple languages in real time with high quality. The translation works on restricted languages, and is bas...
Aarne Ranta, Krasimir Angelov, Thomas Hallgren
77
Voted
ASWC
2008
Springer
14 years 11 months ago
Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
Maciej Zurawski, Alan Smaill, Dave Robertson
DLOG
2004
14 years 11 months ago
Local Tableaux for Reasoning in Distributed Description Logics
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
Luciano Serafini, Andrei Tamilin