Sciweavers

608 search results - page 20 / 122
» Modeling Building-Block Interdependency
Sort
View
ECCV
2010
Springer
14 years 1 months ago
Tracklet Descriptors  for Action Modeling and Video Analysis
We present spatio-temporal feature descriptors that can be inferred from video and used as building blocks in action recognition systems. They capture the evolution of ``elementar...
Michalis Raptis , Stefano Soatto
MMAS
2011
Springer
13 years 2 months ago
Scalable Bayesian Reduced-Order Models for Simulating High-Dimensional Multiscale Dynamical Systems
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
Phaedon-Stelios Koutsourelakis, Elias Bilionis
FBT
1998
129views Formal Methods» more  FBT 1998»
13 years 9 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
SPAA
2006
ACM
14 years 1 months ago
Symmetric network computation
We introduce a simple new model of distributed computation — finite-state symmetric graph automata (FSSGA) — which captures the qualitative properties common to fault-toleran...
David Pritchard, Santosh Vempala
HICSS
2000
IEEE
137views Biometrics» more  HICSS 2000»
14 years 4 days ago
Putting the Parts Together - Concepts, Description Techniques, and Development Process for Componentware
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniq...
Klaus Bergner, Andreas Rausch, Marc Sihling, Alexa...