Sciweavers

2185 search results - page 348 / 437
» Context for semantic metadata
Sort
View
GIR
2007
ACM
14 years 2 months ago
Visualization of geographic query results for small screen devices
The visualization of geo-referenced information on a map has become an essential method to help the users to get the intended information. The adaptation of visualization techniqu...
Maria Beatriz Carmo, Ana Paula Afonso, Paulo Pombi...
BIRTHDAY
2006
Springer
14 years 2 months ago
Research Perspectives for Logic and Deduction
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
Wolfgang Bibel
FASE
2004
Springer
14 years 2 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
FQAS
2004
Springer
122views Database» more  FQAS 2004»
14 years 2 months ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi
ECAI
2006
Springer
14 years 2 months ago
Computational Opinions
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
Felix A. Fischer, Matthias Nickles