16190 search results - page 222 / 3238 » Applicative programming with effects |
112
Voted
AML
2010
15 years 3 months ago
2010
We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...
145
Voted
IJCV
2007
15 years 3 months ago
2007
Abstract. Using silhouettes in uncontrolled environments typically requires handling occlusions as well as changing or cluttered backgrounds, which limits the applicability of most...
121
Voted
COLING
2002
15 years 3 months ago
2002
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...
131
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
Extracting a singing voice from its music accompaniment can significantly facilitate certain applications of Music Information Retrieval including singer identification and singin...
134
Voted
TVCG
2010
15 years 1 months ago
2010
—Graphics artists commonly employ physically-based simulation for the generation of effects such as smoke, explosions, and similar phenomena. The task of finding the correct par...