Sciweavers

2631 search results - page 364 / 527
» A Practical Method for the Sparse Resultant
Sort
View
CASC
2005
Springer
113views Mathematics» more  CASC 2005»
15 years 10 months ago
Real Solving of Bivariate Polynomial Systems
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
Ioannis Z. Emiris, Elias P. Tsigaridas
GECCO
2005
Springer
110views Optimization» more  GECCO 2005»
15 years 10 months ago
A genetic algorithm encoding for a class of cardinality constraints
A genetic algorithm encoding is proposed which is able to automatically satisfy a class of important cardinality constraints where the set of distinct values of the design variabl...
Helio J. C. Barbosa, Afonso C. C. Lemonge
CIARP
2004
Springer
15 years 10 months ago
Detecting Inflection Patterns in Natural Language by Minimization of Morphological Model
One of the most important steps in text processing and information retrieval is stemming—reducing of words to stems expressing their base meaning, e.g., bake, baked, bakes, bakin...
Alexander F. Gelbukh, Mikhail Alexandrov, Sang-Yon...
141
Voted
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 10 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
ICAT
2003
IEEE
15 years 10 months ago
All in-Focus View Synthesis from Under-Sampled Light Fields
Light field rendering (LFR) is a fundamental method for generating new views from a set of pre-acquired images. We use densely-aligned cameras for the process of acquiring the se...
Keita Takahashi, Akira Kubota, Takeshi Naemura