675 search results - page 63 / 135 » Using Fairness to Make Abstractions Work |
132
Voted
PACT
2005
Springer
15 years 9 months ago
2005
Springer
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
132
Voted
SCVMA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present a generative model for image sequences, which can be applied to motion segmentation and tracking, and to image sequence compression. The model co...
117
click to vote
GPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Due to the few computing resource planning options currently available in Grid computing, capacity planning, an old discipline for analyzing resource purchases, is simple...
119
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Over the past five years, the topic of the origins of language is gaining prominence as one of the big unresolved questions of cognitive science. Artificial Intelligenc...
126
Voted
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...