Sciweavers

273 search results - page 42 / 55
» Incremental Recompilation of Knowledge
Sort
View
ATAL
2007
Springer
15 years 3 months ago
A formal model for situated semantic alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer
95
Voted
DATE
2006
IEEE
110views Hardware» more  DATE 2006»
15 years 3 months ago
Layout driven data communication optimization for high level synthesis
High level synthesis transformations play a major part in shaping the properties of the final circuit. However, most optimizations are performed without much knowledge of the fina...
Ryan Kastner, Wenrui Gong, Xin Hao, Forrest Brewer...
ICDE
2006
IEEE
225views Database» more  ICDE 2006»
15 years 3 months ago
Continuous Reverse Nearest Neighbor Monitoring
Continuous spatio-temporal queries have recently received increasing attention due to the abundance of location-aware applications. This paper addresses the Continuous Reverse Nea...
Tian Xia, Donghui Zhang
GRAPHITE
2003
ACM
15 years 3 months ago
A domain-independent system for sketch recognition
Freehand sketching is a natural and powerful means of interpersonal communication. But to date, it still cannot be supported effectively by human-computer interface. In this paper...
Bo Yu, Shijie Cai
ATAL
2003
Springer
15 years 3 months ago
A multiagent-system for integrating a large-scale project
This paper presents a multiagent-system for integrating ALICE: a real-life, distributed, large-scale particle physics experiment of the LHC project at CERN. The work is concerned ...
Carlos Eisenberg, Boi Faltings, Lars Leistam