Sciweavers

3707 search results - page 159 / 742
» A Simple Technique for Self-Calibration
Sort
View
LPAR
2004
Springer
15 years 12 months ago
Abstract DPLL and Abstract DPLL Modulo Theories
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
Robert Nieuwenhuis, Albert Oliveras, Cesare Tinell...
SSPR
2004
Springer
15 years 12 months ago
An Optimal Probabilistic Graphical Model for Point Set Matching
We present a probabilistic graphical model for point set matching. By using a result about the redundancy of the pairwise distances in a point set, we represent the binary relation...
Tibério S. Caetano, Terry Caelli, Dante Aug...
TAL
2004
Springer
15 years 12 months ago
A Study of Chunk-Based and Keyword-Based Approaches for Generating Headlines
Abstract. This paper describes two procedures for generating very short summaries for documents from the DUC-2003 competition: a chunk extraction method based on syntactic dependen...
Enrique Alfonseca, José María Guirao...
CC
2003
Springer
126views System Software» more  CC 2003»
15 years 11 months ago
Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
Rainer Leupers
SSDBM
2010
IEEE
117views Database» more  SSDBM 2010»
15 years 11 months ago
LIVE: A Lineage-Supported Versioned DBMS
Abstract— This paper presents LIVE, a complete DBMS designed for applications with many stored derived relations, and with a need for simple versioning capabilities when base dat...
Anish Das Sarma, Martin Theobald, Jennifer Widom