7167 search results - page 253 / 1434 » A Technique for Invariant Generation |
204
click to vote
AAAI
1993
15 years 8 months ago
1993
Understanding flow in the three-dimensional phase space is challenging both to human experts and to current computer science technology. To break through the barrier, we are build...
170
click to vote
NAACL
1994
15 years 8 months ago
1994
In this paper, we describe a reversibleletter-to-sound/soundto-letter generation system based on an approach which combines a rule-based formalism with data-driven techniques. We ...
208
click to vote
ET
2000
15 years 7 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
212
click to vote
ET
1998
15 years 7 months ago
1998
This paper explores the design of efficient test sets and test-pattern generators for online BIST. The target applications are high-performance, scalable datapath circuits for whi...
239
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
This paper presents a generation expansion model for the power sector which incorporates several features that make it very interesting for its application to current electricity m...