Sciweavers

9719 search results - page 314 / 1944
» Answer Set Optimization
Sort
View
ATAL
2009
Springer
16 years 1 months ago
Resource allocation with answer-set programming
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...
João Leite, José Júlio Alfere...
ICTAI
2008
IEEE
16 years 1 months ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
ICDT
2007
ACM
107views Database» more  ICDT 2007»
16 years 27 days ago
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation
Query containment is a fundamental problem of databases. Given two queries q1 and q2, it asks whether the set of answers to q1 is included in the set of answers to q2 for any datab...
Michel Leclère, Marie-Laure Mugnier
VLDB
2007
ACM
125views Database» more  VLDB 2007»
16 years 26 days ago
Data Integration with Uncertainty
This paper reports our first set of results on managing uncertainty in data integration. We posit that data-integration systems need to handle uncertainty at three levels, and do...
Xin Luna Dong, Alon Y. Halevy, Cong Yu
IWPC
2005
IEEE
16 years 10 days ago
Supporting the Evolution of a Software Visualization Tool Through Usability Studies
The paper presents a usability study conducted with graduate and undergraduate computer science students, designed to evaluate the effectiveness of a software visualization tool n...
Andrian Marcus, Denise Comorski, Andrey Sergeyev