797 search results - page 83 / 160 » MODULA-2 and Its Compilation |
143
click to vote
BVAI
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus...
149
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
124
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
117
click to vote
LREC
2008
15 years 5 months ago
2008
The National Institute of Information and Communications Technology (NICT) and Nagoya University have been jointly constructing a large scale database named SHACHI by collecting d...
153
click to vote
UAI
2008
15 years 5 months ago
2008
Graphical models are usually learned without regard to the cost of doing inference with them. As a result, even if a good model is learned, it may perform poorly at prediction, be...