1064 search results - page 76 / 213 » Neuro-Wavelet Parametric Modeling |
137
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
123
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
138
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
129
click to vote
WSCG
2004
15 years 5 months ago
2004
This paper describes a method for suppressing spatial conflicts in cartographic generalization of isobathymetric lines. These lines are modeled by parametric curves. For that purp...
131
click to vote
AAAI
1996
15 years 5 months ago
1996
We describe a program called SketchIT that transforms a single sketch of a mechanical device into multiple families of new designs. It represents each of these families with a &qu...