Sciweavers

605 search results - page 27 / 121
» Normalizers and Split Extensions
Sort
View
3DPVT
2004
IEEE
115views Visualization» more  3DPVT 2004»
15 years 2 months ago
Estimating Curvatures and Their Derivatives on Triangle Meshes
The computation of curvature and other differential properties of surfaces is essential for many techniques in analysis and rendering. We present a finite-differences approach for...
Szymon Rusinkiewicz
WSC
2000
15 years 8 days ago
Generating "dependent" quasi-random numbers
Under certain conditions on the integrand, quasi-Monte Carlo methods for estimating integrals (expectations) converge faster asymptotically than Monte Carlo methods. Motivated by ...
Shane G. Henderson, Belinda A. Chiera, Roger M. Co...
CORR
2006
Springer
106views Education» more  CORR 2006»
14 years 11 months ago
Adapting a general parser to a sublanguage
In this paper, we propose a method to adapt a general parser (Link Parser) to sublanguages, focusing on the parsing of texts in biology. Our main proposal is the use of terminolog...
Sophie Aubin, Adeline Nazarenko, Claire Nedellec
JAIR
2006
102views more  JAIR 2006»
14 years 11 months ago
Properties and Applications of Programs with Monotone and Convex Constraints
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
Lengning Liu, Miroslaw Truszczynski
85
Voted
JSAT
2006
87views more  JSAT 2006»
14 years 11 months ago
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
Harri Haanpää, Matti Järvisalo, Pet...