Sciweavers

7991 search results - page 31 / 1599
» Using More Reasoning to Improve
Sort
View
ICCD
2004
IEEE
100views Hardware» more  ICCD 2004»
15 years 8 months ago
Layout Driven Optimization of Datapath Circuits using Arithmetic Reasoning
This paper proposes a new formalism for layout-driven optimization of datapaths. It is based on preserving an arithmetic bit level representation of the arithmetic circuit portion...
Ingmar Neumann, Dominik Stoffel, Kolja Sulimma, Mi...
AGP
2003
IEEE
15 years 5 months ago
Reasoning about the Semantic Web using Answer Set Programming
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
Giovambattista Ianni, Francesco Calimeri, Vincenzi...
ECAI
2004
Springer
15 years 5 months ago
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
Juan Carlos Augusto, Chris D. Nugent
TVCG
2008
123views more  TVCG 2008»
14 years 11 months ago
Using Visual Design Experts in Critique-Based Evaluation of 2D Vector Visualization Methods
Abstract-- We describe an experiment in which art and illustration experts evaluated six 2D vector visualization methods. We found that these expert critiques mirrored previously r...
Daniel Acevedo Feliz, Cullen D. Jackson, Fritz Dru...
IEEEHPCS
2010
14 years 9 months ago
Fast learning for multibiometrics systems using genetic algorithms
The performance (in term of error rate) of biometric systems can be improved by combining them. Multiple fusion techniques can be applied from classical logical operations to more...
Romain Giot, Mohamad El-Abed, Christophe Rosenberg...