413 search results - page 61 / 83 » Computing and Exploiting Tree-Decompositions for Solving Con... |
137
click to vote
AB
2007
Springer
15 years 7 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
107
click to vote
TWC
2008
15 years 1 months ago
2008
With the capability of supporting very high data rate services in a short range, Ultra-Wideband (UWB) technology is appealing to multimedia applications in future wireless personal...
110
click to vote
GPC
2007
Springer
15 years 7 months ago
2007
Springer
This paper focuses on two problems related to QoS-aware I/O server placement in hierarchical Grid environments. Given a hierarchical network with requests from clients, the network...
119
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
104
click to vote
IAT
2006
IEEE
15 years 7 months ago
2006
IEEE
The Distributed Probabilistic Protocol (DPP) is a new, approximate algorithm for solving Distributed Constraint Satisfaction Problems (DCSPs) that exploits prior knowledge to impr...