3690 search results - page 160 / 738 » Computation with classical sequents |
88
Voted
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Classical formulations of data-assimilation perform poorly when forecast locations of weather systems are displaced from their observations. They compensate position erro...
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The ray-casting of implicit surfaces on GPU has been explored in the last few years. However, until recently, they were restricted to second degree (quadrics). We present...
81
Voted
MFCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We investigate the structure of the set of gapped motifs (repeated patterns with don’t cares) of a given string of symbols. A natural equivalence classification is int...
116
click to vote
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper introduces an incremental method for “Structure From Motion” of complex scenes from a video sequence. More precisely, we estimate the 3D positions of the viewed ...
132
click to vote
CAMP
2005
IEEE
15 years 6 months ago
2005
IEEE
- The SVG (Scalable Vector Graphics) standard allows representing complex graphical scenes by a collection of graphic vectorial-based primitives, offering several advantages with r...