Sciweavers

2435 search results - page 168 / 487
» Intellexer Question Answering
Sort
View
IWCIA
2004
Springer
15 years 9 months ago
Shape Preserving Sampling and Reconstruction of Grayscale Images
Abstract. The expressiveness of a lot of image analysis algorithms depends on the question whether shape information is preserved during digitization. Most existing approaches to a...
Peer Stelldinger
NCA
2003
IEEE
15 years 9 months ago
On Scalable Information Retrieval Systems
Scalable information retrieval systems are crucial to meeting the growing volumes of data. We describe work done to facilitate scalability by reducing duplication, providing integ...
Ophir Frieder, David A. Grossman, Abdur Chowdhury
ASM
2003
ASM
15 years 9 months ago
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
Egon Börger, Tommaso Bolognesi
FQ
2003
Springer
15 years 9 months ago
Everywhere Ramified Towers of Global Function Fields
We construct a tower of function fields F0 ⊂ F1 ⊂ . . . over a finite field such that every place of every Fi ramifies in the tower and lim genus(Fi)/[Fi : F0] < ∞. We...
Iwan M. Duursma, Bjorn Poonen, Michael Zieve
ICALP
2003
Springer
15 years 9 months ago
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
Stefan Blom, Wan Fokkink, Sumit Nain