9067 search results - page 1649 / 1814 » Adaptive Model Checking |
151
click to vote
KESAMSTA
2010
Springer
15 years 11 months ago
2010
Springer
The first trial of using the symmetry analysis method in modeling of behavior of complex social system is presented in this work. The evacuation of large building scenarios are d...
166
click to vote
MOBILITY
2009
ACM
15 years 11 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
186
click to vote
ROBOCUP
2009
Springer
15 years 11 months ago
2009
Springer
In this article a hand gesture recognition system that allows interacting with a service robot, in dynamic environments and in real-time, is proposed. The system detects hands and ...
180
click to vote
BTW
2001
Springer
15 years 11 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
146
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents recent work in computational modelling of diffusing gaseous neuromodulators in biological nervous systems. It goes on to describe work in adaptive autonomous sy...