995 search results - page 19 / 199 » Wire-speed total order |
CONSTRAINTS
2010
13 years 6 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of...
ICLP
2001
Springer
14 years 1 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
GECCO
1999
Springer
14 years 28 days ago
1999
Springer
Infrastructure management offices plan and complete several thousand small construction projects annually. Effective planning is vital if the public and private sectors are to mai...