962 search results - page 55 / 193 » Some Reducibilities on Regular Sets |
CASC
2007
Springer
14 years 1 months ago
2007
Springer
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...
TVCG
2010
13 years 6 months ago
2010
—A (3D) scalar grid is a regular n1 × n2 × n3 grid of vertices where each vertex v is associated with some scalar value sv. Applying trilinear interpolation, the scalar grid de...
IJCAI
2007
13 years 9 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
ICIAP
2001
Springer
14 years 7 months ago
2001
Springer
We present a method to track and recognize shape-changing hand gestures simultaneously. The switching linear model using active contour model well corresponds to temporal shapes a...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
In the algebraic theory of codes and formal languages, the set Q of all primitive words over some alphabet Σ has received special interest. With this survey article we give an ove...