1237 search results - page 158 / 248 » Strictness and Totality Analysis |
168
click to vote
CCE
2006
15 years 6 months ago
2006
Complex kinetic mechanisms involving thousands of reacting species and tens of thousands of reactions are currently required for the rational analysis of modern combustion systems...
157
click to vote
SIGIR
2008
ACM
15 years 5 months ago
2008
ACM
This paper explores topic aspect (i.e., subtopic or facet) classification for English and Chinese collections. The evaluation model assumes a bilingual user who has found document...
159
click to vote
TCS
2008
15 years 5 months ago
2008
The object of this paper is to appreciate the computational limits inherent in the combinatorics of an applied concurrent (aka agent-based) language . That language is primarily m...
150
click to vote
IPL
1998
15 years 5 months ago
1998
We propose, and justify, an economic theory to guide memory system design, operation, and analysis. Our theory treats memory random-access latency, and its cost per installed mega...
156
click to vote
INTERSPEECH
2010
15 years 23 days ago
2010
We propose a novel approach to modeling prosodic features. Inspired by Joint Factor Analysis model (JFA), our model is based on the same idea of introducing subspace of model para...