4460 search results - page 630 / 892 » Formal methods for interactive systems |
204
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a wearable haptic display that indicates the pressure and vibration on the palm for bimanual operations in virtual reality environments. This system aims to provide the ...
170
click to vote
JCDL
2004
ACM
15 years 12 months ago
2004
ACM
This paper explains a method for leveraging the standard video timeline widget as an interactive visualization of image features. An eye-tracking experiment is described with resu...
173
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Fractal proteins are a new evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Ma...
174
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Lixto is a system and method for the visual and interactive generation of wrappers for Web pages under the supervision of a human developer, for automatically extracting informatio...
153
click to vote
AUSAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Q-learning can be used to learn a control policy that maximises a scalar reward through interaction with the environment. Qlearning is commonly applied to problems with d...