7167 search results - page 131 / 1434 » A Technique for Invariant Generation |
171
click to vote
COLING
2007
15 years 6 months ago
2007
cally identifying clinically relevant aspects of MEDLINE abstracts. These extracted elements serve as the input to an algorithm that scores the relevance of citations with respect ...
162
click to vote
TCAD
2008
15 years 6 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
197
click to vote
AEI
1999
15 years 6 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
189
click to vote
TCAD
1998
15 years 6 months ago
1998
We address the problem of code size minimization in VLSI systems with embedded DSP processors. Reducing code size reduces the production cost of embedded systems. We use data comp...
145
click to vote
RSA
2008
15 years 5 months ago
2008
Let I be a random 3CNF formula generated by choosing a truth assignment for variables x1, . . . , xn uniformly at random and including every clause with i literals set true by w...