2867 search results - page 347 / 574 » On Interactive Evolution Strategies |
146
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
Historically one of the visions for human-computer symbiosis has been to augment human intelligence and extend people's cognitive abilities. In this paper, we present two vis...
174
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
142
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we present g-stalt, a gestural interface for interacting with video. g-stalt is built upon the g-speak spatial operating environment (SOE) from Oblong Industries. Th...
176
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— In a real-world, labor market consist of employer and employee, and these individuals form relationship through mutual interactions. This paper mainly focuses on development of...
144
click to vote
INTETAIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Input from the lower body in human-computer interfaces can be beneficial, enjoyable and even entertaining when users are expected to perform tasks simultaneously. Users ...