2909 search results - page 305 / 582 » Consistency of the theory of contexts |
181
click to vote
MUM
2004
ACM
16 years 3 days ago
2004
ACM
In this paper we discuss the prospects of using marker based Augmented Reality for context aware applications on mobile phones. We also present the UMAR, a conceptual framework fo...
162
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
195
click to vote
DAWAK
2004
Springer
16 years 2 days ago
2004
Springer
Clustering is a difficult problem especially when we consider the task in the context of a data stream of categorical attributes. In this paper, we propose SCLOPE, a novel algorith...
192
click to vote
ESAW
2004
Springer
16 years 2 days ago
2004
Springer
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
186
click to vote
ICFEM
2004
Springer
16 years 1 days ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...