8874 search results - page 306 / 1775 » A New Implementation of Automath |
155
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We present an empirical analysis of crossing-based dialog boxes. First, we study the spatial constraints required for efficient crossing-based interactions in the case of a simple...
154
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
A new feature detection technique is presented that utilises local radial symmetry to identify regions of interest within a scene. This transform is significantly faster than exist...
180
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
We introduce a new semi-orthogonal complex wavelet basis of L2(R2 ). The basis functions are associated to the complex gradient-Laplace operator, which plays a central role in ima...
188
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
The problem of geometric alignment of two roughly preregistered, partially overlapping, rigid, noisy 3D point sets is considered. A new natural and simple, robustified extension o...
141
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...