Sciweavers

4738 search results - page 113 / 948
» Correlated Data Inference
Sort
View
ICFP
2009
ACM
16 years 6 months ago
Complete and decidable type inference for GADTs
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulz...
ICVS
2003
Springer
15 years 10 months ago
A Self-Referential Perceptual Inference Framework for Video Interpretation
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
Christopher Town, David Sinclair
IWPC
1999
IEEE
15 years 9 months ago
Understanding COBOL Systems using Inferred Types
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
Arie van Deursen, Leon Moonen
ICASSP
2008
IEEE
15 years 11 months ago
A generalized optimal correlating transform for multiple description coding and its theoretical analysis
This paper considers a coding scheme for data transmission over erasure channels which is also known as multiple description coding. The LMMSE prefilter method of Romano [1] is r...
Stefan Uhlich, Bin Yang
IJCNN
2000
IEEE
15 years 9 months ago
Knowledge-Based Cascade-Correlation
KBCC is an extension of the cascade-correlation algorithm that treats functions encapsulating prior knowledge as black-boxes which, like simple sigmoidal neurons, can be recruited...
Thomas R. Shultz, François Rivest