Sciweavers

945 search results - page 42 / 189
» On the robustness of primitive words
Sort
View
MSCS
2006
100views more  MSCS 2006»
15 years 6 months ago
Modified bar recursion
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
Ulrich Berger, Paulo Oliva
JUCS
2007
120views more  JUCS 2007»
15 years 6 months ago
Compile-time Computation of Polytime Functions
: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechan...
Emanuele Covino, Giovanni Pani, Daniele Scrimieri
ACL
1996
15 years 7 months ago
High-Performance Bilingual Text Alignment Using Statistical and Dictionary Information
This paper describes an accurate and robust text alignment system for structurally different languages. Among structurally different languages such as Japanese and English, there ...
Masahiko Haruno, Takefumi Yamazaki
CVPR
2010
IEEE
16 years 2 months ago
Hierarchical Convolutional Sparse Image Decomposition
Building robust low and mid-level image representations, beyond edge primitives, is a long-standing goal in vision. Many existing feature detectors spatially pool edge information...
Matthew Zeiler, Dilip Krishnan, Graham Taylor, Rob...
ICRA
2009
IEEE
119views Robotics» more  ICRA 2009»
16 years 23 days ago
Survivability: Measuring and ensuring path diversity
— A novel criterion is introduced for assessing the diversity of a collection of paths or trajectories. The main idea is the notion of survivability, which measures the likelihoo...
Lawrence H. Erickson, Steven M. LaValle