Sciweavers

1819 search results - page 164 / 364
» Computability and Representations of the Zero Set
Sort
View
FSTTCS
2004
Springer
15 years 12 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
ICASSP
2009
IEEE
15 years 10 months ago
Cepstral modulation ratio regression (CMRARE) parameters for audio signal analysis and classification
In this paper we propose a new set of parameters for audio signal analysis and classification. These parameters are regressions computed on the normalized modulation spectrum of h...
Rainer Martin, Anil Nagathil
COLING
2000
15 years 7 months ago
Estimation of Stochastic Attribute-Value Grammars using an Informative Sample
We argue that some of the computational complexity associated with estimation of stochastic attributevalue grammars can be reduced by training upon an informative subset of the fu...
Miles Osborne
IJCM
2002
97views more  IJCM 2002»
15 years 6 months ago
Steiner Trades That Give Rise to Completely Decomposable Latin Interchanges
In this paper we focus on the representation of Steiner trades of volume less than or equal to nine and identify those for which the associated partial latin square can be decompos...
Richard Bean, Diane Donovan, Abdollah Khodkar, Ann...
ICDE
1993
IEEE
158views Database» more  ICDE 1993»
15 years 10 months ago
Unification of Temporal Data Models
To add time su port to the relational model, both first normal form (fNF and non-INF appmches have maining within 1NF when time support is added may introduce data redundancy. The...
Christian S. Jensen, Michael D. Soo, Richard T. Sn...