2163 search results - page 237 / 433 » cases 2004 |
169
click to vote
ECAI
2004
Springer
16 years 16 days 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...
198
click to vote
ECAI
2004
Springer
16 years 16 days 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...
171
click to vote
ESA
2004
Springer
16 years 16 days 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...
172
click to vote
ESTIMEDIA
2004
Springer
16 years 16 days 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...
163
click to vote
EUROCRYPT
2004
Springer
16 years 16 days 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...