3082 search results - page 439 / 617 » New Bounds for the Controller Problem |
135
click to vote
ECCC
2007
15 years 6 months ago
2007
The OR-SAT problem asks, given Boolean formulae φ1, . . . , φm each of size at most n, whether at least one of the φi’s is satisfiable. We show that there is no reduction fr...
140
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Focus + context techniques such as fisheye lenses are used to navigate and manipulate objects in multi-scale worlds. They provide in-place magnification of a region without requir...
209
click to vote
MCSS
2009
Springer
15 years 10 months ago
2009
Springer
- In this paper, we investigate a new approach for the spectrum allocation in UWB systems. This approach consists in a cross-layer scheme that takes into consideration the differen...
125
click to vote
ISPD
1998
ACM
15 years 10 months ago
1998
ACM
This paper describes an important new facility for timing-driven design applications within the new CHDStd standard for a SEMATECH design system for large complex chips. We first ...
144
click to vote
IIS
2001
15 years 7 months ago
2001
: Research on a new system implementing the AQ learning methodology, called AQ20, is briefly described, and illustrated by initial results from an experimental version. Like its pr...