342 search results - page 17 / 69 » Calling context abstraction with shapes |
143
click to vote
AH
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present an approach to time-based adaptation in adaptive hypermedia systems. Time is used as a part of the context (or environment) model. We have propos...
158
click to vote
MA
2000
Springer
15 years 9 months ago
2000
Springer
The abstractions and protocol mechanisms that form the basis for inter-agent communications can significantly impact the overall design and effectiveness of Mobile Agent systems. W...
165
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
169
click to vote
ICFCA
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...
167
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Factored Markov Decision Processes is the theoretical framework underlying multi-step Learning Classifier Systems research. This framework is mostly used in the context ...