9719 search results - page 143 / 1944 » Answer Set Optimization |
110
Voted
VLDB
2004
ACM
15 years 6 months ago
2004
ACM
Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that “the sensornet is a database” is problematic,...
85
Voted
APPROX
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We give a generic construction of an optimal hitting set generator (HSG) from any good “reconstructive” disperser. Past constructions of optimal HSGs have been based ...
170
click to vote
DAC
2003
ACM
15 years 6 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
138
click to vote
JAIR
2007
15 years 21 days ago
2007
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...
128
Voted
ER
2001
Springer
15 years 5 months ago
2001
Springer
A Data Warehouse (DW) can be used to integrate data from multiple distributed data sources. A DW can be seen as a set of materialized views that determine its schema and its conten...