2040 search results - page 41 / 408 » On the Complexity of Error Explanation |
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
—The paper presents a novel spatial error concealment algorithm based on directional decision and intra prediction. Unlike previous approaches that simultaneously recover the pix...
ATVA
2004
Springer
14 years 2 months ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
EMNLP
2006
13 years 10 months ago
2006
NLP systems for tasks such as question answering and information extraction typically rely on statistical parsers. But the efficacy of such parsers can be surprisingly low, partic...
FLAIRS
2001
13 years 10 months ago
2001
ObjectAgent is an agent-based, message-passing software architecture that utilizes natural language processing to provide autonomous control to complex systems. As a form of distr...