3016 search results - page 261 / 604 » A Granular Approach to Web Search Result Presentation |
183
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
As many real-world problems involve user preferences, costs, or probabilities, constraint satisfaction has been extended to optimization by generalizing hard constraints to soft co...
240
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
203
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
One of the key objectives of web service technology is to construct processes that enable service providers to inter-connect with their clients. The industry has developed the UDD...
176
click to vote
ECUMN
2007
Springer
16 years 28 days ago
2007
Springer
Movements of nodes in MANETs result in route changes, thus requiring the transmission of control packets. As MANETs have limited resources, it is important to reduce the number of...
176
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...