Sciweavers

827 search results - page 134 / 166
» Development of Generative Learning Objects Using Feature Dia...
Sort
View
SSDBM
2005
IEEE
111views Database» more  SSDBM 2005»
14 years 2 months ago
Querying Streaming Geospatial Image Data: The GeoStreams Project
Data products generated from remotely-sensed, geospatial imagery (RSI) used in emerging areas, such as global climatology, environmental monitoring, land use, and disaster managem...
Quinn Hart, Michael Gertz
ICPR
2006
IEEE
14 years 9 months ago
Bayesian Imitation of Human Behavior in Interactive Computer Games
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...
Bernard Gorman, Christian Bauckhage, Christian Thu...
SG
2005
Springer
14 years 2 months ago
VR-Mirror: A Virtual Reality System for Mental Practice in Post-Stroke Rehabilitation
Developments in basic neurological research and techniques used to train professional athletes suggest that one way of facilitating this learning process of motor schemas is throug...
José Antonio Lozano, Javier Montesa, Mari C...
AMFG
2005
IEEE
155views Biometrics» more  AMFG 2005»
14 years 2 months ago
Linear Programming for Matching in Human Body Gesture Recognition
We present a novel human body gesture recognition method using a linear programming based matching scheme. Instead of attempting to segment an object from the background, we develo...
Hao Jiang, Ze-Nian Li, Mark S. Drew
ICFP
2012
ACM
11 years 11 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens