Sciweavers

3341 search results - page 496 / 669
» On Bounded Queries and Approximation
Sort
View
MCS
2007
Springer
15 years 6 months ago
Stability of plane waves on deep water with dissipation
The Benjamin-Feir modulational instability effects the evolution of perturbed planewave solutions of the cubic nonlinear Schr¨odinger equation (NLS), the modified NLS, and the ...
Nathan E. Canney, John D. Carter
EOR
2002
105views more  EOR 2002»
15 years 6 months ago
Two-dimensional packing problems: A survey
We consider problems requiring to allocate a set of rectangular items to larger rectangular standardized units by minimizing the waste. In two-dimensional bin packing problems the...
Andrea Lodi, Silvano Martello, Michele Monaci
CAD
1999
Springer
15 years 6 months ago
Computing offsets of NURBS curves and surfaces
This paper presents algorithms for computing offsets of NURBS curves and surfaces. The basic approach consists of four steps: (1) recognition of special curves and surfaces; (2) s...
Les A. Piegl, Wayne Tiller
CIKM
2010
Springer
15 years 5 months ago
Evaluating, combining and generalizing recommendations with prerequisites
We consider the problem of recommending the best set of k items when there is an inherent ordering between items, expressed as a set of prerequisites (e.g., the movie ‘Godfather...
Aditya G. Parameswaran, Hector Garcia-Molina, Jeff...
JAR
2010
160views more  JAR 2010»
15 years 5 months ago
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
Behzad Akbarpour, Lawrence C. Paulson