3812 search results - page 131 / 763 » Combinations of TRAP Based Systems |
153
click to vote
CSFW
2004
IEEE
15 years 9 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
159
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
144
Voted
CIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we propose a naive statistics method for constructing a personalized recommendation system for the Electronic Program Guide (EPG). The idea is based on a p...
187
click to vote
BIOSIG
2008
15 years 7 months ago
2008
: Authentication based on biometrics became significantly important over the last years. Privacy and security concerns arise by the extensive deployment of biometrics. The used bio...
161
click to vote
TIME
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...