469 search results - page 73 / 94 » A Branch-and-Prune Algorithm for Solving Systems of Distance... |
PLDI
1997
ACM
14 years 5 days ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
This paper focuses on a task allocation problem, particularly in cases where the task is to find a solution to a search problem or a constraint satisfaction problem. If the searc...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
COSIT
2001
Springer
14 years 15 days ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
CISS
2010
IEEE
12 years 11 months ago
2010
IEEE
—This paper addresses optimal spectrum sensing in cognitive radio networks considering its system level cost that accounts for the local processing cost of sensing (sample collec...