Sciweavers

564 search results - page 56 / 113
» The First Answer Set Programming System Competition
Sort
View
SIGMOD
2008
ACM
159views Database» more  SIGMOD 2008»
15 years 10 months ago
Bootstrapping pay-as-you-go data integration systems
Data integration systems offer a uniform interface to a set of data sources. Despite recent progress, setting up and maintaining a data integration application still requires sign...
Anish Das Sarma, Xin Dong, Alon Y. Halevy
CIVR
2007
Springer
138views Image Analysis» more  CIVR 2007»
15 years 4 months ago
SemRetriev: an ontology driven image retrieval system
This paper describes the technical details of SemRetriev, a prototype system for image retrieval which combines the use of an ontology which structures an image repository and of ...
Adrian Popescu, Pierre-Alain Moëllic, Christo...
CC
2004
Springer
160views System Software» more  CC 2004»
15 years 3 months ago
Elkhound: A Fast, Practical GLR Parser Generator
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...
Scott McPeak, George C. Necula
ICALP
2003
Springer
15 years 3 months ago
Anycasting in Adversarial Systems: Routing and Admission Control
Abstract. In this paper we consider the problem of routing packets in dynamically changing networks, using the anycast mode. In anycasting, a packet may have a set of destinations ...
Baruch Awerbuch, André Brinkmann, Christian...
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 1 months ago
Output-feedback controlled-invariant polyhedra for constrained linear systems
Abstract— A design method is proposed for outputfeedback control of linear systems subject to state and control constraints, additive disturbances and measurement noise. First, n...
Carlos Eduardo Trabuco Dórea