Sciweavers

3971 search results - page 494 / 795
» On the Use of Properties in Java Applications
Sort
View
ELPUB
1999
ACM
15 years 11 months ago
Classifying Technical Terms
Automating the process of term recognition and classiæcation is important for digital libraries. Automatic Term Recognition घATRङ has many applications in areas related to di...
Katerina T. Frantzi, Sophia Ananiadou, Jun-ichi Ts...
PG
1999
IEEE
15 years 11 months ago
Local Injectivity Conditions of 2D and 3D Uniform Cubic B-Spline Functions
Uniform cubic B-spline functions have been used for mapping functions in various areas such as image warping and morphing, 3D deformation, and volume morphing. The injectivity (on...
Yongchoel Choi, Seungyong Lee
ALP
1997
Springer
15 years 11 months ago
Perpetuality and Uniform Normalization
We de ne a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. Levy's ordering 2 on reductions) in nite reductions in Conditional Orthogonal ...
Zurab Khasidashvili, Mizuhito Ogawa
DAGM
2007
Springer
15 years 11 months ago
Simultaneous Estimation of Surface Motion, Depth and Slopes Under Changing Illumination
Abstract In this paper we extend a multi-camera model for simultaneous estimation of 3d position, normals, and 3d motion of surface patches [17] to be able to handle brightness cha...
Tobias Schuchert, Hanno Scharr
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 10 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones