4460 search results - page 681 / 892 » Formal methods for interactive systems |
123
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Recommendation systems generally produce the results of their output to their users in the form of an ordinal list. In the interest of simplicity, these lists are often obscure, ,...
120
click to vote
ICICIC
2006
IEEE
15 years 10 months ago
2006
IEEE
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
119
Voted
ISWC
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a two-stage recognition system for detecting arm gestures related to typical meal intake. Information retrieved from such a system can be used for automatic dietary mon...
156
click to vote
VRST
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we summarize the experiences we made with the implementation of a table tennis application. After describing the hardware necessities of our system we give insight i...
125
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents an algorithm for learning the meaning of messages communicated between agents that interact while acting optimally towards a cooperative goal. Our reinforcemen...