1045 search results - page 127 / 209 » Stepping into the Interactive Drama |
135
click to vote
KI
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
161
click to vote
SAC
2006
ACM
16 years 7 days ago
2006
ACM
Complex environmental modeling often involves a large number of unknown physical and ecological parameters. Parameter estimation is one of the most difficult steps in many modelin...
157
click to vote
ETFA
2005
IEEE
15 years 12 months ago
2005
IEEE
In High Volume Manufacturing (HVM), system control is shared between automation and human workers. The social organisation of workers plays an important role in supporting human d...
161
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
172
click to vote
CASSIS
2005
Springer
15 years 11 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...