5525 search results - page 881 / 1105 » Verification of Model Transformations |
139
click to vote
NN
2000
Springer
15 years 4 months ago
2000
Springer
Support vector (SV) machines are useful tools to classify populations characterized by abrupt decreases in density functions. At least for one class of Gaussian data model the SV ...
115
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
Query ambiguity is a generally recognized problem, particularly in Web environments where queries are commonly only one or two words in length. In this study, we explore one techn...
143
click to vote
PR
2007
15 years 3 months ago
2007
The volume, location of the centroid, and second order moments of a threedimensional star-shaped object are determined in terms of the spherical harmonic coefficients of its bound...
139
click to vote
PVLDB
2008
15 years 3 months ago
2008
XTCcmp, the XQuery Compiler of a native XML database system, extends Starburst's well-known Query Graph Model to serve as an internal representation and basis for query restr...
253
click to vote
CVIU
1999
15 years 4 months ago
1999
An important problem in computer vision is to determine how features extracted from images are connected to an existing model. In this paper, we focus on solving the registration ...