413 search results - page 27 / 83 » Computing and Exploiting Tree-Decompositions for Solving Con... |
115
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
145
click to vote
TWC
2008
15 years 25 days ago
2008
Spectrum sensing is the key enabling technology for cognitive radio networks. The main objective of spectrum sensing is to provide more spectrum access opportunities to cognitive r...
124
click to vote
ICTAI
2002
IEEE
15 years 6 months ago
2002
IEEE
(Appears as a regular paper in the proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, Washington D.C. Nov. 2002, p...
136
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
We describe a method for learning steerable deformable part models. Our models exploit the fact that part templates can be written as linear filter banks. We demonstrate that one...
112
click to vote
WIOPT
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider the resource allocation (RA) problem of maximizing the weighted sum of the minimal user rates (WSMR) of coordinated cells subject to a total power constraint at each ba...