488 search results - page 73 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
DEBU
2006
14 years 11 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
89
Voted
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
We have studied the problem of linking event information across different languages without the use of translation systems or dictionaries. The linking is based on interlingua in...
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
This paper examines the recovery of user context in indoor environments with existing wireless infrastructures to enable assistive systems. We present a novel approach to the extra...
107
click to vote
NN
2002
Springer
14 years 10 months ago
2002
Springer
This paper presents a biologically-inspired, hardware-realisable spiking neuron model, which we call the Temporal Noisy-Leaky Integrator (TNLI). The dynamic applications of the mo...
ISWC
2000
IEEE
15 years 3 months ago
2000
IEEE
If a wearable device can register what the wearer is currently doing, it can anticipate and adjust its behavior to avoid redundant interaction with the user. However, the relevanc...