Sciweavers

1445 search results - page 96 / 289
» Uniformly Hard Languages
Sort
View
138
Voted
PPDP
2010
Springer
15 years 1 months ago
Towards a jitting VM for prolog execution
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...
Carl Friedrich Bolz, Michael Leuschel, David Schne...
156
Voted
POPL
2012
ACM
13 years 11 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
190
Voted
CVPR
2009
IEEE
16 years 11 months ago
A Streaming Framework for Seamless Building Reconstruction from Large-Scale Aerial LiDAR Data
We present a streaming framework for seamless building reconstruction from huge aerial LiDAR point sets. By storing data as stream files on hard disk and using main memory as only ...
Qian-Yi Zhou (University of Southern California), ...
ICPR
2006
IEEE
16 years 4 months ago
Defect detection in low-contrast glass substrates using anisotropic diffusion
In this research, we propose an anisotropic diffusion scheme to detect defects in low-contrast surface images and, especially, aim at glass substrates used in TFT-LCDs (Thin Film ...
Du-Ming Tsai, Shin-Min Chao, Yan-Hsin Tseng, Yuan-...
128
Voted
ICML
1999
IEEE
16 years 4 months ago
Simple DFA are Polynomially Probably Exactly Learnable from Simple Examples
E cient learning of DFA is a challenging research problem in grammatical inference. Both exact and approximate (in the PAC sense) identi ability of DFA from examples is known to b...
Rajesh Parekh, Vasant Honavar