Sciweavers

876 search results - page 143 / 176
» Propagating Class and Method Combination
Sort
View
DLT
2008
14 years 11 months ago
Derivation Tree Analysis for Accelerated Fixed-Point Computation
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
Javier Esparza, Stefan Kiefer, Michael Luttenberge...
MVA
2007
207views Computer Vision» more  MVA 2007»
14 years 11 months ago
View-invariant Human Action Recognition Based on Factorization and HMMs
of the fundamental challenges of human action recognition is accounting for the variability that arises during video capturing. For a specific action class, the 2D observations of...
Xi Li, Kazuhiro Fukui
FLAIRS
2003
14 years 11 months ago
Incremental Breakout Algorithm with Variable Ordering
This paper presents the Incremental Breakout Algorithm with Variable Ordering (IncBA). This algorithm belongs to the class of local search algorithms for solving Constraint Satisf...
Carlos Eisenberg, Boi Faltings
WSCG
2004
162views more  WSCG 2004»
14 years 11 months ago
Computer Graphics of Kinematic Surfaces
This work deals with some problems of constructing and graphical displaying for a class of kinematic surfaces generated by mutual moving ruled surfaces touching one another along ...
Galina S. Rachkovskaya, Yuriy N. Kharabayev, Natal...
SODA
2000
ACM
114views Algorithms» more  SODA 2000»
14 years 11 months ago
Typical random 3-SAT formulae and the satisfiability threshold
: k-SAT is one of the best known among a wide class of random constraint satisfaction problems believed to exhibit a threshold phenomenon where the control parameter is the ratio, ...
Olivier Dubois, Yacine Boufkhad, Jacques Mandler