9284 search results - page 307 / 1857 » Knowledge State Algorithms |
156
click to vote
CIE
2010
Springer
15 years 12 months ago
2010
Springer
A useful theorem of Kuˇcera states that given a Martin-L¨of random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A...
139
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a new solution for combining technology mapping with placement, coupling the two into one phase. The original aspects of our work are the use of libraryless ma...
207
click to vote
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
We investigate the problem of routing connections with QoS requirements across one or more networks, when the information available for making routing decisions is inaccurate and ...
173
click to vote
AAAI
2006
15 years 8 months ago
2006
NSF and NASA sponsored a workshop to discuss harvesting solar power in space. One solution considered was the use of a swarm of robots to form a solar reflector. How can these rob...
175
click to vote
IPL
2006
15 years 7 months ago
2006
We show that for a given set of m pairwise constraints over n variables, a variable assignment that satisfies maximally many m constraints (MAX-2-CSP) can be found in O(nm dn/3) t...