3676 search results - page 491 / 736 » Scalable component abstractions |
169
click to vote
PRICAI
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
169
click to vote
SAMOS
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
207
click to vote
SEM
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...
209
click to vote
SPATIALCOGNITION
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
242
click to vote
UIALL
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. The paper claims that processes for monitoring, assessing and ensuring appropriate levels of accessibility and usability have to be adopted by web development and mainten...