5550 search results - page 641 / 1110 » Different Approaches to Proof Systems |
196
click to vote
JMLR
2010
15 years 2 months ago
2010
Huge amounts of legacy documents are being published by on-line digital libraries world wide. However, for these raw digital images to be really useful, they need to be transcribe...
393
click to vote
AAI
2011
14 years 10 months ago
2011
We compare different strategies to apply statistical machine translation techniques in order to retrieve documents which are a plausible translation of a given source document. Fi...
215
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Kernel machines have recently been considered as a promising solution for implicit surface modelling. A key challenge of machine learning solutions is how to fit implicit shape mo...
321
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Data integration from multiple autonomous data sources has emerged as an important practical problem. The key requirement for such data integration is that owners of such data nee...
272
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
The query optimizer of a database system is confronted with two aspects when handling user-defined functions (UDFs) in query predicates: the vast differences in evaluation costs b...