Sciweavers

3171 search results - page 148 / 635
» Application of Reduce Order Modeling to Time Parallelization
Sort
View
120
Voted
JOLLI
2002
109views more  JOLLI 2002»
15 years 3 months ago
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
Joeri Engelfriet, Jan Treur
144
Voted
IPPS
2006
IEEE
15 years 9 months ago
A high level SoC power estimation based on IP modeling
Current electronic system design requires to be concerned with power consumption consideration. However, in a lot of design tools, the application power consumption budget is esti...
David Elléouet, Nathalie Julien, Dominique ...
NIPS
2003
15 years 4 months ago
Fast Algorithms for Large-State-Space HMMs with Applications to Web Usage Analysis
In applying Hidden Markov Models to the analysis of massive data streams, it is often necessary to use an artificially reduced set of states; this is due in large part to the fac...
Pedro F. Felzenszwalb, Daniel P. Huttenlocher, Jon...
3DIM
2003
IEEE
15 years 8 months ago
Next View Planning for a Combination of Passive and Active Acquisition Techniques
In order to create a complete three-dimensional model of an object based on its two-dimensional images, the images have to be acquired from different views. An increasing number o...
Robert Sablatnig, Srdan Tosovic, Martin Kampel
ECCV
2002
Springer
16 years 5 months ago
Space-Time Tracking
Abstract. We propose a new tracking technique that is able to capture non-rigid motion by exploiting a space-time rank constraint. Most tracking methods use a prior model in order ...
Lorenzo Torresani, Christoph Bregler