4971 search results - page 213 / 995 » Observation systems |
151
click to vote
CONTEXT
2005
Springer
16 years 2 days ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
210
click to vote
FOSSACS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
189
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
165
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Authentication in public spaces is a risky task. Frauds on cash machines (ATMs) are not uncommon nowadays. The biggest group of attacks is observation attacks, which focus on reco...
138
click to vote
AH
2006
Springer
16 years 16 days ago
2006
Springer
Current adaptive systems acquire information about users mainly by simple tracking of resources, a user has requested and by asking users to supply the needed information. In this ...