6770 search results - page 185 / 1354 » How GPUs Work |
117
Voted
AIIA
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
142
Voted
CAISE
1995
Springer
15 years 6 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
192
click to vote
FPCA
1995
15 years 6 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
102
click to vote
ISSS
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper describes a codesign environment based on the WWW (World Wide Web) and its implementation. Tool invocations and their respective results are linked using hypertext docu...
119
Voted
DLOG
2007
15 years 4 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...