5353 search results - page 821 / 1071 » Modelling Contexts in the Or-BAC Model |
160
click to vote
WSC
1998
15 years 8 months ago
1998
The development of a Distributed Information System (DIS) can lead to critical bottlenecks because of the underlying architecture, which is becoming more and more complex. Todays ...
195
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Control engineering is a field of major industrial importance as it offers principles for engineering controllable physical devices, such as cell phones, television sets,...
204
click to vote
ALT
2010
Springer
15 years 7 months ago
2010
Springer
This paper is concerned with the combinatorial structure of concept classes that can be learned from a small number of examples. We show that the recently introduced notion of recu...
199
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
149
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Ambient Inteligence aims to create smart spaces providing services in a transparent and non-intrusive fashion, so context awareness and user adaptation are key issues. Speech can ...