Sciweavers

1097 search results - page 69 / 220
» Partial evaluation of Maple
Sort
View
ICFP
2006
ACM
14 years 9 months ago
Access control in a core calculus of dependency
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
Martín Abadi
ACL
1997
13 years 10 months ago
Choosing the Word Most Typical in Context Using a Lexical Co-Occurrence Network
This paper presents a partial solution to a component of the problem of lexical choice: choosing the synonym most typical, or expected, in context. We apply a new statistical appr...
Philip Edmonds
CORR
1999
Springer
79views Education» more  CORR 1999»
13 years 8 months ago
Cascaded Markov Models
This paper presents a new approach to partial parsing of context-free structures. The approach is based on Markov Models. Each layer of the resulting structure is represented by i...
Thorsten Brants
IGARSS
2009
13 years 6 months ago
Abundance Estimation of Spectrally Similar Minerals
This paper evaluates a spectral unmixing method for estimating the partial abundance of spectrally similar minerals in complex mixtures. The method requires formulation of a linea...
Pravesh Debba
ICASSP
2009
IEEE
14 years 28 days ago
Singing voice detection in music tracks using direct voice vibrato detection
In this paper we investigate the problem of locating singing voice in music tracks. As opposed to most existing methods for this task, we rely on the extraction of the characteris...
Lise Regnier, Geoffroy Peeters