1320 search results - page 119 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
123
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
120
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
171
Voted
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
117
click to vote
LREC
2010
15 years 5 months ago
2010
This paper proposes to introduce a novel reordering model in the open-source Moses toolkit. The main idea is to provide weighted reordering hypotheses to the SMT decoder. These hy...
243
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...