3248 search results - page 410 / 650 » Contexts for Human Action |
FM
1999
Springer
14 years 2 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
RAID
1999
Springer
14 years 2 months ago
1999
Springer
The most common computer intrusion detection systems detect signatures of known attacks by searching for attack-specific keywords in network traffic. Many of these systems suffer ...
IUI
1997
ACM
14 years 2 months ago
1997
ACM
Plan recognition in direct manipulation interfaces must deal with the problem that the information obtained is of low quality with respect to the plan recognition task. There are ...
PDIS
1994
IEEE
14 years 2 months ago
1994
IEEE
Four per-session guarantees are proposed to aid users and applications of weakly consistent replicated data: Read Your Writes, Monotonic Reads, Writes Follow Reads, and Monotonic ...
IFIP
1992
Springer
14 years 2 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...