15792 search results - page 2722 / 3159 » Computational Abstraction Steps |
185
click to vote
AIED
2005
Springer
16 years 17 days ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...
157
click to vote
AINTEC
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We motivate in this paper the need for application-level proximity. This proximity is a function of network characteristics that decide on the application performance. Mo...
171
click to vote
AP2PC
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. The research in the paper is motivated by building a decentralized/P2P XML storage on top of a DHT (Distributed Hash Table). The storage must provide high data availabili...
160
click to vote
ASM
2005
ASM
16 years 17 days ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
146
click to vote
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...