2887 search results - page 231 / 578 » Name Generation and Linearity |
190
click to vote
WSCG
2003
15 years 8 months ago
2003
This paper describes a new method for analysis/synthesis of textures using a non-parametric multi-resolution approach able to reproduce efficiently the generative stochastic proce...
182
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
190
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Periodic smoothing splines appear for example as generators of closed, planar curves, and in this paper they are constructed using a controlled two point boundary value problem in...
162
click to vote
DCG
2007
15 years 6 months ago
2007
We consider polytopes in Rn that are generated by N vectors in Rn whose coordinates are independent subgaussian random variables. (A particular case of such polytopes are symmetri...
164
click to vote
JNW
2006
15 years 6 months ago
2006
A number of Integer Linear Program (ILP) formulations for both static and dynamic lightpath allocation have been proposed, for the design of survivable WDM networks. However, such ...