Sciweavers

2643 search results - page 182 / 529
» Higher order messaging
Sort
View
IGPL
2007
113views more  IGPL 2007»
15 years 6 months ago
Pandora: A Reasoning Toolbox using Natural Deduction Style
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Ale...
ORDER
2008
100views more  ORDER 2008»
15 years 6 months ago
Orthogonal Surfaces and Their CP-Orders
Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthog...
Stefan Felsner, Sarah Kappes
ICIP
2005
IEEE
16 years 8 months ago
An improved eye feature extraction algorithm based on deformable templates
In this paper, an improved method for eye extraction using deformable templates is proposed. This new method overcomes the shortcomings of traditional deformable template techniqu...
Paul Kuo, John Hannah
ICIP
2005
IEEE
16 years 8 months ago
Quantifying the coding power of zerotrees of wavelet coefficients: a degree-k zerotree model
A degree-k zerotree model is presented, in order to quantify the coding power of zerotrees in wavelet-based image coding. Based on the model, the coding behaviors of modern zerotr...
Yushin Cho, William A. Pearlman
VIS
2008
IEEE
128views Visualization» more  VIS 2008»
16 years 7 months ago
Box Spline Reconstruction On The Face-Centered Cubic Lattice
We introduce and analyze an efficient reconstruction algorithm for FCC-sampled data. The reconstruction is based on the 6-direction box spline that is naturally associated with the...
Minho Kim, Alireza Entezari, Jörg Peters