Sciweavers

9049 search results - page 366 / 1810
» The New C Standard
Sort
View
RT
2000
Springer
15 years 10 months ago
Wavelet Warping
We present wavelet warping -- a new class of forward 3D warping algorithms for image-based rendering. In wavelet warping most of the warping operation is performed in the wavelet d...
Iddo Drori, Dani Lischinski
ADAEUROPE
2008
Springer
15 years 8 months ago
Real-Time Distribution Middleware from the Ada Perspective
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...
Héctor Pérez, J. Javier Gutié...
170
Voted
AMAST
2006
Springer
15 years 8 months ago
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
Matteo Dell'Amico, Maura Cerioli
CP
2008
Springer
15 years 8 months ago
Connecting ABT with Arc Consistency
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogo...
Ismel Brito, Pedro Meseguer
ACL
2008
15 years 8 months ago
Smoothing a Tera-word Language Model
Frequency counts from very large corpora, such as the Web 1T dataset, have recently become available for language modeling. Omission of low frequency n-gram counts is a practical ...
Deniz Yuret