5718 search results - page 85 / 1144 » Modeling Rule Precision |
113
click to vote
CC
2001
Springer
15 years 7 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
129
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
129
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
We introduce Bayesian sensing hidden Markov models (BS-HMMs) to represent speech data based on a set of state-dependent basis vectors. By incorporating the prior density of sensin...
152
click to vote
IALP
2009
15 years 10 days ago
2009
Hierarchical phrase-based translation model has been proven to be a simple and powerful machine translation model. However, due to the computational complexity constraints, the ext...
122
Voted
SDM
2010
SIAM
15 years 4 months ago
2010
SIAM
A relational probability tree (RPT) is a type of decision tree that can be used for probabilistic classification of instances with a relational structure. Each leaf of an RPT cont...