395 search results - page 47 / 79 » Transforming a Discourse Model to an Abstract User Interface... |
TACAS
2000
Springer
14 years 1 days ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Web Information Systems (WIS) support the process of retrieving information from sources on the Web and of presenting them as a hypermedia presentation. Most WIS design ogies focu...
MIRAGE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract We present a gesture recognition system for recognizing hand movements in near realtime. The system uses a infra-red time-of-flight range camera with up to 30 Hz framerat...
CADE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
ISMIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...