10907 search results - page 213 / 2182 » Constraint Based Strategies |
VTC
2006
IEEE
15 years 4 months ago
2006
IEEE
— Based on the end-to-end delay experienced by the user, this paper derives a spreading factor allocation map for the four UMTS traffic classes and for four user profiles with ...
JCC
2002
14 years 10 months ago
2002
: An optimization scheme for atomic cluster structures, based on exaggerating the importance of the gravitational force, is introduced. Results are presented for calculations on Le...
CP
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
120
click to vote
ARC
2008
Springer
15 years 23 days ago
2008
Springer
As embedded applications are getting more complex, they are also demanding highly diverse computational capabilities. The majority of all previously proposed reconfigurable archite...
IJCAI
2003
15 years 4 days ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...