Sciweavers

2631 search results - page 364 / 527
» A Practical Method for the Sparse Resultant
Sort
View
CASC
2005
Springer
113views Mathematics» more  CASC 2005»
16 years 18 days 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»
16 years 17 days 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
16 years 13 days 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...
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
16 years 12 days 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
16 years 10 days 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