Sciweavers

4543 search results - page 570 / 909
» Interactive Distributed Configuration
Sort
View
CADE
2000
Springer
15 years 11 months ago
An Infrastructure for Intertheory Reasoning
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
William M. Farmer
ECOOP
1998
Springer
15 years 11 months ago
Framework Design for End-to-End Optimization
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...
Aamod Sane, Ashish Singhai, Roy H. Campbell
INFOVIS
1997
IEEE
15 years 11 months ago
Nonlinear Magnification Fields
Thematic variables are commonly used to encode additional information such as population density within the spatial layout of a map. Such «themes» are typically encoded using co...
Alan Keahey, Edward L. Robertson
KES
2000
Springer
15 years 10 months ago
A fuzzy approach to adaptive hypermedia
This paper presents an open, concurrent model of adaptive hypermedia all its functionality and data are completely distributed on a web of autonomous actors. The model that enable...
Antonina Dattolo, Vincenzo Loia
158
Voted
ATAL
2008
Springer
15 years 8 months ago
Computer science and game theory
Game theory has been playing an increasingly visible role in computer science, in areas as diverse as artificial intelligence, theory, and distributed systems, among others. I tak...
Yoav Shoham