17329 search results - page 3000 / 3466 » Improved non-approximability results |
142
click to vote
LOGCOM
2007
15 years 7 months ago
2007
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
145
click to vote
MICRO
2007
IEEE
15 years 7 months ago
2007
IEEE
Design complexity is rapidly becoming a limiting factor in the design of modern, high-performance microprocessors. This paper introduces an optimization technique to improve the e...
188
click to vote
ASE
2004
15 years 6 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
159
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
A digital control application for the frequency stabilization of optical frequency standards is presented. The standard employed is a monolithic neodymium in yttrium aluminum garn...
184
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: It is well known that different species have different protein domain repertoires, and indeed that some protein domains are kingdom specific. This information has not ...