9166 search results - page 26 / 1834 » A framework for comparing models of computation |
131
Voted
PPDP
2000
Springer
15 years 7 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
123
Voted
IANDC
2006
15 years 3 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
140
Voted
CCS
2004
ACM
15 years 8 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
123
click to vote
ECIR
2009
Springer
16 years 19 days ago
2009
Springer
We explore the utility of different types of topic models for retrieval purposes. Based on prior work, we describe several ways that topic models can be integrated into the retrie...
135
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
We discuss the relationship between the discriminative training of Gaussian models and the maximum entropy framework for log-linear models. Observing that linear transforms leave ...