1029 search results - page 165 / 206 » Compact representations of ordered sets |
189
click to vote
CAD
2004
Springer
15 years 5 months ago
2004
Springer
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
179
click to vote
CIKM
2000
Springer
15 years 9 months ago
2000
Springer
—As databases increasingly integrate different types of information such as multimedia, spatial, time-series, and scientific data, it becomes necessary to support efficient retri...
163
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
204
click to vote
AFRIGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
Interpolation based on Radial Basis Functions (RBF) is very often used for scattered scalar data interpolation in n-dimensional space in general. RBFs are used for surface reconst...
162
click to vote
AIML
2008
15 years 6 months ago
2008
In 1983, Valentini presented a syntactic proof of cut-elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for "Valentini&q...