Sciweavers

2070 search results - page 135 / 414
» A Reduced-Basis Element Method
Sort
View
141
Voted
RC
2002
96views more  RC 2002»
15 years 3 months ago
Verification of Invertibility of Complicated Functions over Large Domains
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
Jens Hoefkens, Martin Berz
117
Voted
SPIRE
2010
Springer
15 years 2 months ago
Text Comparison Using Soft Cardinality
Abstract. The classical set theory provides a method for comparing objects using cardinality and intersection, in combination with well-known resemblance coefficients such as Dice,...
Sergio Jimenez, Fabio Gonzalez, Alexander F. Gelbu...
SOFTVIS
2006
ACM
15 years 9 months ago
Multiscale and multivariate visualizations of software evolution
Software evolution visualization is a promising technique for assessing the software development process. We study how complex correlations of software evolution attributes can be...
Lucian Voinea, Alexandru Telea
IJCAI
2007
15 years 5 months ago
Parametric Kernels for Sequence Data Analysis
A key challenge in applying kernel-based methods for discriminative learning is to identify a suitable kernel given a problem domain. Many methods instead transform the input data...
Young-In Shin, Donald S. Fussell
CAGD
2011
14 years 11 months ago
Regularization of B-spline objects
By a d-dimensional B-spline object (denoted as Od ), we mean a B-spline curve (d = 1), a B-spline surface (d = 2) or a B-spline volume (d = 3). By regularization of a B-spline obj...
Guoliang Xu, Chandrajit L. Bajaj