14642 search results - page 145 / 2929 » It's Time for a Change |
159
click to vote
AAAI
2008
15 years 8 months ago
2008
Many real-world problems are characterized by complex relational structure, which can be succinctly represented in firstorder logic. However, many relational inference algorithms ...
208
click to vote
JCM
2006
15 years 6 months ago
2006
The performance of peer-to-peer systems depends on the level of cooperation of the system's participants. While most existing peer-to-peer architectures have assumed that user...
131
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
— This paper presents a new hybrid linear equation solver for quadratic placement. The new solver is a combination of stochastic solver and iterative solver: it is proven in this...
175
click to vote
TABLEAUX
2005
Springer
16 years 4 hour ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
153
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Despite the widespread use and study of Boolean satisfiability for a diverse range of problem domains, encoding of problems is usually given to general propositional logic with li...