Sciweavers

29 search results - page 6 / 6
» How To Visualize Time, Tense And Aspect
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 9 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
MM
2006
ACM
157views Multimedia» more  MM 2006»
13 years 11 months ago
Cyborglogging with camera phones: steps toward equiveillance
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...
Steve Mann, James Fung, Raymond Lo
BIB
2006
169views more  BIB 2006»
13 years 5 months ago
Bio-ontologies: current trends and future directions
: In recent years, as a knowledge-based discipline, bioinformatics has moved to make its knowledge more computationally amenable. After its beginnings in the disciplines as a techn...
Olivier Bodenreider, Robert Stevens
CGF
2005
107views more  CGF 2005»
13 years 5 months ago
Predictive Feedback for Interactive Control of Physics-based Characters
Interactive control of a physically simulated character is a challenging problem, due both to the complexity of controlling multiple degrees of freedom with lower dimensional inpu...
Joe Laszlo, Michael Neff, Karan Singh