Sciweavers

1802 search results - page 55 / 361
» Model-based Theory Combination
Sort
View
CIKM
2007
Springer
14 years 3 months ago
Combining resources with confidence measures for cross language information retrieval
Query translation in Cross Language Information Retrieval (CLIR) can be performed using multiple resources. Previous attempts to combine different translation resources use simple...
Youssef Kadri, Jian-Yun Nie
CHI
1999
ACM
14 years 1 months ago
Direct Combination
This paper reports on Direct Combination, a new user interaction technique. Direct Combination may be viewed variously as: a systematic extension to Direct Manipulation; a concise...
Simon Holland, Daniel Oppenheim
INFSOF
2006
73views more  INFSOF 2006»
13 years 9 months ago
Theory and algorithms for slicing unstructured programs
Program slicing identifies parts of a program that potentially affect a chosen computation. It has many applications in software engineering, including maintenance, evolution and ...
Mark Harman, Arun Lakhotia, David Binkley
LICS
2012
IEEE
11 years 11 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer
SCIA
2007
Springer
111views Image Analysis» more  SCIA 2007»
14 years 3 months ago
Scale-Space Texture Classification Using Combined Classifiers
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
Mehrdad J. Gangeh, Bart M. ter Haar Romeny, C. Esw...