Sciweavers

319 search results - page 42 / 64
» Dynamically inferring temporal properties
Sort
View
60
Voted
ICIP
2004
IEEE
15 years 11 months ago
Water video analysis
Many image processing and computer vision applications have difficulty dealing with a nonstatic background such as water waves, but this particular dynamic scene actually contains...
Lisa Spencer, Mubarak Shah
84
Voted
CGF
1999
81views more  CGF 1999»
14 years 9 months ago
Multi-layered impostors for accelerated rendering
This paper describes the successful combination of pre-generated and dynamically updated image-based representations to accelerate the visualization of complex virtual environment...
Xavier Décoret, François X. Sillion,...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
14 years 7 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
85
Voted
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 7 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
75
Voted
NIPS
1993
14 years 11 months ago
Computational Elements of the Adaptive Controller of the Human Arm
We consider the problem of how the CNS learns to control dynamics of a mechanical system. By using a paradigm where a subject's hand interacts with a virtual mechanical envir...
Reza Shadmehr, Ferdinando A. Mussa-Ivaldi