1670 search results - page 212 / 334 » On Skolemization in constructive theories |
154
click to vote
UAI
2004
15 years 7 months ago
2004
We present new MCMC algorithms for computing the posterior distributions and expectations of the unknown variables in undirected graphical models with regular structure. For demon...
157
click to vote
ACL
1998
15 years 7 months ago
1998
We propose a comprehensive theory of codemixed discourse, encompassing equivalencepoint and insertional code-switching, palindromic constructions and lexical borrowing. The starti...
199
click to vote
AAAI
1996
15 years 7 months ago
1996
Markov decision processes (MDPs) are a very popular tool for decision theoretic planning (DTP), partly because of the welldeveloped, expressive theory that includes effective solu...
150
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
To adequately deal with the unpredictable and dynamic environments normative frameworks are typically deployed in, mechanisms for modifying the norms at runtime are crucial. We pr...
175
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Hash tables are used in many networking applications, such as lookup and packet classification. But the issue of collisions resolution makes their use slow and not suit...