5477 search results - page 548 / 1096 » Contexts, Domains, and Software |
200
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
221
click to vote
PERCOM
2007
ACM
16 years 7 months ago
2007
ACM
The proliferation of radiofrequency identification systems in application domains such as supply chain management requires an IT infrastructure that provides RFID device and data ...
192
click to vote
HRI
2009
ACM
16 years 2 months ago
2009
ACM
We present a preliminary implementation of a robot within the context of social skills intervention. The robot engages a human user in an interactive and adaptive game-playing ses...
188
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
The fundamental Quality of Service (QoS) routing problem, which consists in determining paths subject to multiple QoS constraints, has been extensively investigated in the intra-do...
180
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Emotions as such is a research topic with a lot of coverage in various domains (neuroscience, psychology, medicine, criminology and more recently in user experience research). Thi...