Sciweavers

3322 search results - page 417 / 665
» Automatic Human Model Generation
Sort
View
CEAS
2008
Springer
15 years 8 months ago
Toward a stochastic speech act model of email behavior
Human interpersonal face-to-face interaction can be considered in terms of successions of speech acts. These are utterances which contain an intention, and the act of creating an ...
John Mildinhall, Jan Noyes
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 11 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
SPIN
2010
Springer
15 years 4 months ago
Combining SPIN with ns-2 for Protocol Optimization
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
Pedro Merino, Alberto Salmeron
ICARCV
2006
IEEE
313views Robotics» more  ICARCV 2006»
16 years 16 days ago
GestureCam: A Smart Camera for Gesture Recognition and Gesture-Controlled Web Navigation
– Smart camera, or an intelligent camera, is an embedded vision system which captures and processes image to extract application-specific information in real time. Smart cameras ...
Yu Shi, Ronnie Taib, Serge Lichman
GECCO
2000
Springer
122views Optimization» more  GECCO 2000»
15 years 10 months ago
Genetic Programming with Statically Scoped Local Variables
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
Evan Kirshenbaum