Sciweavers

514 search results - page 57 / 103
» Foundations of Aggregation Constraints
Sort
View
ICLP
2007
Springer
14 years 2 months ago
Generic Tableaux for Answer Set Programming
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
Martin Gebser, Torsten Schaub
SEMWEB
2007
Springer
14 years 2 months ago
The PRIOR+: Results for OAEI Campaign 2007
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...
Ming Mao, Yefei Peng
ICMCS
2006
IEEE
149views Multimedia» more  ICMCS 2006»
14 years 2 months ago
Design and Implementation of a Multimedia Personalized Service Over Large Scale Networks
In this paper, we proposed to setup a distributed multimedia system which aggregates the capacity of multiple servers to provide customized multimedia services in a cost-effective...
Xiaorong Li, Terence Gih Guang, Bharadwaj Veeraval...
UIST
2005
ACM
14 years 1 months ago
Citrus: a language and toolkit for simplifying the creation of structured editors for code and data
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...
Andrew Jensen Ko, Brad A. Myers
SIGOPSE
2004
ACM
14 years 1 months ago
Using virtual markets to program global behavior in sensor networks
This paper presents market-based macroprogramming (MBM), a new paradigm for achieving globally efficient behavior in sensor networks. Rather than programming the individual, low-...
Geoffrey Mainland, Laura Kang, Sébastien La...