1416 search results - page 150 / 284 » An Exact Interpretation of While |
120
Voted
CINQ
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Solving inductive queries which have to return complete collections of patterns satisfying a given predicate has been studied extensively the last few years. The specific...
122
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Many day-to-day tasks require negotiation, mostly under conditions of incomplete information. In particular, the opponent's exact tradeoff between different offers is usually ...
110
Voted
CBMS
2003
IEEE
15 years 4 months ago
2003
IEEE
This article addresses visualization of deformation or shape differences between bones while conventional visualization techniques are often about a single bone such as its 3D rec...
138
Voted
ICTAI
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
100
Voted
ICDCS
1995
IEEE
15 years 4 months ago
1995
IEEE
Protocols that provide reliable communicationon top of a network that can lose packets rely on periodically retransmitting packets. The choice of retransmission timeout critically...