540 search results - page 14 / 108 » 07471 Abstracts Collection - Equilibrium Computation |
BIRTHDAY
2003
Springer
13 years 12 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
ENTCS
2008
13 years 6 months ago
2008
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
AIM
2006
13 years 6 months ago
2006
Undergraduate Artificial Intelligence Robotics: Layers Of Abstraction Over Two Channels Frederick L. Crabbe Computer Science Department United States Naval Academy 572C Holloway Rd...
DELOS
2004
13 years 8 months ago
2004
Abstract. Nowadays, digital libraries are inherently dispersed over several peers of a steadily increasing network. Dedicated peers may provide specialized, computationally expensi...
CONSTRAINTS
2010
13 years 4 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...