3473 search results - page 543 / 695 » Searching the Web Using a Map |
142
click to vote
APIN
1999
15 years 3 months ago
1999
The problem of figure-ground separation is tackled from the perspective of combinatorial optimization. Previous attempts have used deterministic optimization techniques based on re...
106
click to vote
PERCOM
2003
ACM
16 years 3 months ago
2003
ACM
We present a WLAN location determination technique, the Joint Clustering technique, that uses (1) signal strength probability distributions to address the noisy wireless channel, ...
161
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
130
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
The effect of kernel operations on cache optimisations in a soft-core reconfigurable system is important for dynamic cache switching design. Considering kernel operations changes ...
126
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a SAT-based approach to the task and message allocation problem of distributed real-time systems with hierarchical architectures. In contrast to the heuristic approache...