Sciweavers

11716 search results - page 127 / 2344
» Computable symbolic dynamics
Sort
View
IROS
2006
IEEE
136views Robotics» more  IROS 2006»
16 years 13 days ago
Computation reuse for rigid-body dynamics
— The accelerations of and forces among contacting rigid bodies may be computed by formulating the dynamics equations and contact constraints as a complementarity problem [1]. Da...
Anne Loomis, Devin J. Balkcom
CSE
2009
IEEE
16 years 1 months ago
Community Computing: Comparisons between Rural and Urban Societies Using Mobile Phone Data
Abstract—We present a comparative analysis of the behavioral dynamics of rural and urban societies using four years
Nathan Eagle, Yves-Alexandre de Montjoye, Lu&iacut...
ADMA
2006
Springer
149views Data Mining» more  ADMA 2006»
16 years 12 days ago
An Interactive Visualization Environment for Data Exploration Using Points of Interest
We present in this paper an interactive method for numeric or symbolic data visualization that allows a domain expert to extract useful knowledge and information. We propose a new ...
David Da Costa, Gilles Venturini
ICIAR
2009
Springer
15 years 11 months ago
Abnormal Behavior Recognition Using Self-Adaptive Hidden Markov Models
A self-adaptive Hidden Markov Model (SA-HMM) based framework is proposed for behavior recognition in this paper. In this model, if an unknown sequence cannot be classified into an...
Jun Yin, Yan Meng
LICS
2006
IEEE
16 years 12 days ago
Provable Implementations of Security Protocols
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
Andrew D. Gordon