Sciweavers

1878 search results - page 219 / 376
» Feature Generation Using General Constructor Functions
Sort
View
ACL
1989
13 years 9 months ago
Discourse Entities in Janus
This paper addresses issues that arose in applying the model for discourse entity (DE) generation in B. Webber's work (1978, 1983) to an interactive multimodal interface. Her...
Damaris M. Ayuso
TOG
2012
221views Communications» more  TOG 2012»
11 years 10 months ago
Gabor noise by example
Procedural noise is a fundamental tool in Computer Graphics. However, designing noise patterns is hard. In this paper, we present Gabor noise by example, a method to estimate the ...
Bruno Galerne, Ares Lagae, Sylvain Lefebvre, Georg...
CAV
2012
Springer
222views Hardware» more  CAV 2012»
11 years 10 months ago
Leveraging Interpolant Strength in Model Checking
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharyg...
WSC
2004
13 years 9 months ago
Retrospective Approximation Algorithms for the Multidimensional Stochastic Root-Finding Problem
The stochastic root-finding problem (SRFP) is that of solving a system of q equations in q unknowns using only an oracle that provides estimates of the function values. This paper...
Raghu Pasupathy, Bruce W. Schmeiser
SMA
2010
ACM
219views Solid Modeling» more  SMA 2010»
13 years 8 months ago
Barycentric interpolation and mappings on smooth convex domains
In a recent paper, Warren, Schaefer, Hirani, and Desbrun proposed a simple method of interpolating a function defined on the boundary of a smooth convex domain, using an integral ...
Michael S. Floater, Jirí Kosinka