3233 search results - page 132 / 647 » Rule Modeling and Markup |
136
click to vote
IJFCS
2010
15 years 1 months ago
2010
We investigate the computational power of parallel models with directed reconfigurable buses and with shared memory. Based on feasibility considerations present in the literature,...
134
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Smoothly bent paper-like surfaces are developable. They are however difficult to minimally parameterize since the number of meaningful parameters is intrinsically dependent on the...
143
click to vote
ACL
2012
13 years 6 months ago
2012
Previous work using topic model for statistical machine translation (SMT) explore topic information at the word level. However, SMT has been advanced from word-based paradigm to p...
150
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
119
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...