2597 search results - page 317 / 520 » Embedding Heterogeneous Data Using Statistical Models |
136
click to vote
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
171
click to vote
RSP
1998
IEEE
15 years 7 months ago
1998
IEEE
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
113
click to vote
RC
1998
15 years 2 months ago
1998
We present statistical and interval techniques for evaluating the uncertainties associated with geophysical tomographic inversion problems, including estimation of data errors, mo...
126
click to vote
SIGIR
1996
ACM
15 years 7 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
170
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
A new concept and algorithm are presented for noniterative robust estimation of piecewise smooth curves of maximal edge strength in small image windows – typically ¢¡£ to...