Sciweavers

1115 search results - page 77 / 223
» Attention Tracking - Measuring the Focus of Attention
Sort
View
ICTAI
2008
IEEE
16 years 18 days ago
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
Éric Grégoire, Bertrand Mazure, C&ea...
AI
2008
Springer
16 years 17 days ago
Aspects of Inconsistency Resolution in Modular Ontologies
Modularization entails more efficient reasoning and better performance in the ontology manipulation process. Therefore, the development of modular ontologies has recently received ...
Faezeh Ensan, Weichang Du
DDECS
2007
IEEE
139views Hardware» more  DDECS 2007»
16 years 16 days ago
Debug Patterns for Efficient High-level SystemC Debugging
This paper proposes debug patterns combined with an intuitive flow to accelerate and simplify the debugging of SystemC designs. A debug pattern provides a formalized procedure to f...
Frank Rogin, Erhard Fehlauer, Christian Haufe, Seb...
GLOBECOM
2007
IEEE
16 years 16 days ago
Spectral Properties and Interpolation Error Analysis for Variable Sample Rate Conversion Systems
—The problem of variable sample rate conversion (SRC) has received much attention on account of its applications in software defined radios (SDRs) that must support a wide varie...
Andre Tkacenko
ISVLSI
2007
IEEE
107views VLSI» more  ISVLSI 2007»
16 years 14 days ago
A Hash-based Approach for Functional Regularity Extraction During Logic Synthesis
Performance, power, and functionality, yield and manufacturability are rapidly becoming additional critical factors that must be considered at higher levels of ion. A possible sol...
Angelo P. E. Rosiello, Fabrizio Ferrandi, Davide P...