Sciweavers

4252 search results - page 498 / 851
» Measuring Component Adaptation
Sort
View
COLING
1996
15 years 7 months ago
Multi-lingual Translation of Spontaneously Spoken Language in a Limited Domain
JANUS is a multi-lingual speech-tospeech translation system designed to facilitate communication between two parties engaged in a spontaneous conversation in a limited domain. In ...
Alon Lavie, Donna Gates, Marsal Gavaldà, La...
MVA
1996
122views Computer Vision» more  MVA 1996»
15 years 7 months ago
Object Recognition from Range Images Using Superquadric Representations
Segmentation of range images using superquadric entities has been pointed out by a number of researchers as a powerful approach towards object recognition. Problems exist in findi...
Erik R. van Dop, Paul P. L. Regtien
3DOR
2009
15 years 7 months ago
SHREC'09 Track: Structural Shape Retrieval on Watertight Models
The annual SHape REtrieval Contest (SHREC) measures the performance of 3D model retrieval methods for several different types of models and retrieval purposes. In this contest the...
J. Hartveldt, Michela Spagnuolo, Apostolos Axenopo...
CADE
2010
Springer
15 years 7 months ago
Sledgehammer: Judgement Day
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
Sascha Böhme, Tobias Nipkow
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 6 months ago
Assessing Cognitive Load on Web Search Tasks
: Assessing cognitive load on web search is useful for characterizing search system features and search tasks with respect to their demands on the searcher's mental effort. It...
Jacek Gwizdka