Sciweavers

839 search results - page 118 / 168
» Answer Set Programming with Resources
Sort
View
JAIR
2011
123views more  JAIR 2011»
13 years 2 months ago
The Complexity of Integer Bound Propagation
Bound propagation is an important Artificial Intelligence technique used in Constraint Programming tools to deal with numerical constraints. It is typically embedded within a sea...
Lucas Bordeaux, George Katsirelos, Nina Narodytska...
HICSS
2003
IEEE
106views Biometrics» more  HICSS 2003»
14 years 29 days ago
Measuring Healthcare Inequities using the Gini Index
Questions of healthcare inequities have been of continuing concern to health researchers, planners, and policymakers. The answers to such questions can be difficult to interpret, ...
Donald J. Berndt, John W. Fisher, Rama V. Rajendra...
FPGA
2004
ACM
128views FPGA» more  FPGA 2004»
13 years 11 months ago
Incremental physical resynthesis for timing optimization
This paper presents a new approach to timing optimization for FPGA designs, namely incremental physical resynthesis, to answer the challenge of effectively integrating logic and p...
Peter Suaris, Lung-Tien Liu, Yuzheng Ding, Nan-Chi...
ESWS
2006
Springer
13 years 11 months ago
Encoding Classifications into Lightweight Ontologies
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web ...
Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihra...
COMAD
2008
13 years 9 months ago
Concurrency Control in Distributed MRA Index Structure
Answering aggregate queries like sum, count, min, max over regions containing moving objects is often needed for virtual world applications, real-time monitoring systems, etc. Sin...
Neha Singh, S. Sudarshan