1411 search results - page 174 / 283 » A Value Analysis for C Programs |
152
click to vote
SIGIR
1999
ACM
15 years 9 months ago
1999
ACM
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
174
click to vote
SIGGRAPH
1997
ACM
15 years 9 months ago
1997
ACM
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
109
Voted
WSC
2000
15 years 6 months ago
2000
Business processes are increasingly key to the success of companies in the service industry. It is important that these processes are designed and maintained to deliver the most c...
127
Voted
TCOM
2008
15 years 4 months ago
2008
Abstract--A robust frequency-hopping system with noncoherent detection, iterative turbo decoding and demodulation, and channel estimation is presented. The data modulation is the s...
135
click to vote
JCT
2007
15 years 4 months ago
2007
Let G be a d-regular graph with girth g, and let α be the independence number of G. We show that α(G) ≥ 1 2 1 − (d − 1)−2/(d−2) − (g) n where (g) → 0 as g → ∞,...