3020 search results - page 601 / 604 » Type Analysis of Prolog Using Type Graphs |
120
Voted
NECO
2007
15 years 1 months ago
2007
It is well-known that, in unidentifiable models, the Bayes estimation provides much better generalization performance than the maximum likelihood (ML) estimation. However, its ac...
139
Voted
CP
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
144
click to vote
LICS
2010
IEEE
15 years 19 days ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
104
Voted
MA
2010
Springer
15 years 19 days ago
2010
Springer
Quasi-independence is a common assumption for analyzing truncated data. To verify this condition, we consider a class of weighted log-rank type statistics that include existing te...
139
click to vote
PERCOM
2010
ACM
15 years 18 days ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...