Sciweavers

6018 search results - page 294 / 1204
» Factored Translation Models
Sort
View
CLEF
2010
Springer
15 years 7 months ago
UNT at ImageCLEF 2010: CLIR for Wikipedia Images
This paper presents the results of the team of the University of North Texas in the Wikipedia image retrieval track of Image-CLEF-2010. Our approach is based on performing translat...
Miguel E. Ruiz, Jiangping Chen, Karthikeyan Pasupa...
CAD
2006
Springer
15 years 6 months ago
Towards mass customized interoperability
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
Udo Kannengiesser, John S. Gero
MLQ
2000
99views more  MLQ 2000»
15 years 6 months ago
The Essentially Equational Theory of Horn Classes
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
Hans-E. Porst
COMPSEC
2010
142views more  COMPSEC 2010»
15 years 3 months ago
Provably correct Java implementations of Spi Calculus security protocols specifications
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
Alfredo Pironti, Riccardo Sisto
COLING
2010
15 years 1 months ago
An Empirical Study on Web Mining of Parallel Data
This paper1 presents an empirical approach to mining parallel corpora. Conventional approaches use a readily available collection of comparable, nonparallel corpora to extract par...
Gum-Won Hong, Chi-Ho Li, Ming Zhou, Hae-Chang Rim