1416 search results - page 150 / 284 » An Exact Interpretation of While |
172
Voted
CINQ
2004
Springer
15 years 10 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...
177
Voted
ECAI
2006
Springer
15 years 9 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 ...
165
click to vote
CBMS
2003
IEEE
15 years 9 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...
191
Voted
ICTAI
1997
IEEE
15 years 9 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...
152
click to vote
ICDCS
1995
IEEE
15 years 9 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...