Sciweavers

1445 search results - page 96 / 289
» Uniformly Hard Languages
Sort
View
PPDP
2010
Springer
13 years 8 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...
POPL
2012
ACM
12 years 5 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...
CVPR
2009
IEEE
15 years 5 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
14 years 11 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-...
ICML
1999
IEEE
14 years 11 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