1284 search results - page 132 / 257 » On Helping and Interactive Proof Systems |
CCIA
2007
Springer
14 years 4 months ago
2007
Springer
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
CVPR
2007
IEEE
15 years 8 days ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
ISCIS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper we describe anomaly-based intrusion detection as a specialized case of the more general behavior detection problem. We draw concepts from the field of etho...
DSVIS
2003
Springer
14 years 3 months ago
2003
Springer
A new discipline, Usability Design, is proposed as an extension to Rational Unified Process (RUP). The aim is to make RUP more user-centred. The discipline springs out of best prac...
ECAL
2001
Springer
14 years 2 months ago
2001
Springer
This paper describes the simulation of a foraging agent in an environment with a simple ecological structure, alternatively using one of three different control systems with varyi...