1802 search results - page 74 / 361 » Model-based Theory Combination |
CSL
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
CGF
2005
13 years 9 months ago
2005
Colour realism plays an important role in computer graphics and visualization. In this paper, we present a new approach to direct volume rendering based on the Kubelka-Munk theory...
RTA
2005
Springer
14 years 2 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
JFP
2008
13 years 9 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...