607 search results - page 76 / 122 » Unifying Exact Completions |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--In cognitive radio (CR) networks with multipleinput multiple-output (MIMO) links, secondary users (SUs) can exploit "spectrum holes" in the space domain to acce...
104
click to vote
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
AAAI
1996
15 years 9 days ago
1996
We present an improvement to Harvey and Ginsberg's limited discrepancy search algorithm, which eliminates much of the redundancy in the original, by generating each path from...
123
click to vote
WG
2010
Springer
14 years 9 months ago
2010
Springer
Θk-graphs are geometric graphs that appear in the context of graph navigation. The shortest-path metric of these graphs is known to approximate the Euclidean complete graph up to...
208
click to vote
Publication
A hand-held surgical probe is an essential component of any image-guided neurosurgery
(IGNS). During the surgical procedure, the IGNS tracks the probe position and displays the an...