10159 search results - page 1699 / 2032 » System Design Validation Using Formal Models |
180
Voted
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Search and recommendation systems must include contextual information to effectively model users’ interests. In this paper, we present a systematic study of the effectiveness of...
165
click to vote
ISVC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Understanding intent is an important aspect of communication among people and is an essential component of the human cognitive system. This capability is particularly rel...
186
click to vote
ETT
2002
15 years 6 months ago
2002
A method of rare event simulation, termed here quantum simulation, and known also (with some variations) as population Monte Carlo, and Sequential Markov Chain simulation, is appli...
174
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a demonstration of the intelligent agent-based system ORIENT (Overcoming Refugee Integration with Empathic Novel Technology). We summarise the application domain: educa...
170
Voted
WETICE
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and promotion of electronic patient summaries as an instrument to facilitate the pervasive delivery of healthcare is emerging as a key technology in eHealth solutions. ...