4460 search results - page 574 / 892 » Formal methods for interactive systems |
240
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
185
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
Shaping functions can be used in multi-task reinforcement learning (RL) to incorporate knowledge from previously experienced tasks to speed up learning on a new task. So far, rese...
168
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Motion constraints providing guidance for 3D navigation have recently been suggested as a way of offloading some of the cognitive effort of traversing complex 3D environments on a...
135
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe the design of a relational agent interface for handheld computers and the results of a study exploring the effectiveness of different useragent interacti...
192
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
The Virtual Math Teams (VMT) project investigates the innovative use of online collaborative environments to support effective mathematical problem-solving by small groups of lear...