Sciweavers

4738 search results - page 113 / 948
» Correlated Data Inference
Sort
View
ICFP
2009
ACM
16 years 7 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
16 years 2 days 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 11 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
16 years 1 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 11 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