10907 search results - page 213 / 2182 » Constraint Based Strategies |
107
click to vote
VTC
2006
IEEE
15 years 11 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 ...
142
click to vote
JCC
2002
15 years 5 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...
146
Voted
CP
2008
Springer
15 years 7 months 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...
203
click to vote
ARC
2008
Springer
15 years 7 months 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...
178
Voted
IJCAI
2003
15 years 7 months 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...