2163 search results - page 237 / 433 » cases 2004 |
145
click to vote
ECAI
2004
Springer
16 years 4 hour ago
2004
Springer
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...
189
click to vote
ECAI
2004
Springer
16 years 3 hour ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
150
click to vote
ESA
2004
Springer
16 years 1 hour ago
2004
Springer
We study polynomials of degree up to 4 over the rationals or a computable real subfield. Our motivation comes from the need to evaluate predicates in nonlinear computational geome...
159
click to vote
ESTIMEDIA
2004
Springer
16 years 1 hour ago
2004
Springer
— Workload design is a well recognized problem in the domain of microprocessor design. Different program characteristics that influence the selection of a representative workloa...
150
click to vote
EUROCRYPT
2004
Springer
16 years 58 min ago
2004
Springer
Abstract. Dining cryptographers networks (or DC-nets) are a privacypreserving primitive devised by Chaum for anonymous message publication. A very attractive feature of the basic D...