Sciweavers

1727 search results - page 83 / 346
» human 2005
Sort
View
JAPLL
2007
117views more  JAPLL 2007»
14 years 11 months ago
Logic-Based Agent Verification
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
Michael Fisher, Munindar P. Singh, Diana F. Spears...
ICIP
2005
IEEE
16 years 1 months ago
Flow lookup and biological motion perception
Optical flow in monocular video can serve as a key for recognizing and tracking the three-dimensional pose of human subjects. In comparison with prior work using silhouettes as a ...
Nicholas R. Howe
ICSE
2005
IEEE-ACM
15 years 12 months ago
Beyond computer science
Computer science is necessary but not sufficient to understand and overcome the problems we face in software engineering. We need to understand not only the properties of the soft...
James D. Herbsleb
ACSC
2005
IEEE
15 years 5 months ago
A Simulation Framework for Knowledge Acquisition Evaluation
Knowledge acquisition (KA) plays an important role in building knowledge based systems (KBS). However, evaluating different KA techniques has been difficult because of the costs...
Tri M. Cao, Paul Compton
CIG
2005
IEEE
15 years 5 months ago
Combining Coaching and Learning to Create Cooperative Character Behavior
Abstract- We present a concept for developing cooperative characters (agents) for computer games that combines coaching by a human with evolutionary learning. The basic idea is to ...
Jörg Denzinger, Chris Winder