Sciweavers

2550 search results - page 434 / 510
» Difference Decision Diagrams
Sort
View
EATCS
2000
108views more  EATCS 2000»
15 years 6 months ago
The Underlying Logic of Hoare Logic
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
Andreas Blass, Yuri Gurevich
IJCV
2000
164views more  IJCV 2000»
15 years 6 months ago
Probabilistic Modeling and Recognition of 3-D Objects
This paper introduces a uniform statistical framework for both 3-D and 2-D object recognition using intensity images as input data. The theoretical part provides a mathematical too...
Joachim Hornegger, Heinrich Niemann
INFSOF
2000
98views more  INFSOF 2000»
15 years 6 months ago
Performance comparison of CORBA and RMI
Distributed object architectures and Java are important for building modern, scalable, web-enabled applications. This paper is focused on qualitative and quantitative comparison o...
Matjaz B. Juric, Ivan Rozman, Marjan Hericko
PAMI
2000
113views more  PAMI 2000»
15 years 6 months ago
Hierarchical Discriminant Regression
This paper presents a new technique which incrementally builds a hierarchical discriminant regression (IHDR) tree for generation of motion based robot reactions. The robot learned...
Wey-Shiuan Hwang, Juyang Weng
JHSN
2002
58views more  JHSN 2002»
15 years 5 months ago
Aggregation based information collection for mobile environments
: In the future, we are likely to see a tremendous rise in mobile computing and communications as ubiquitous applications incorporate multimedia information. These mobile multimedi...
Qi Han, Nalini Venkatasubramanian