742 search results - page 72 / 149 » Applications of Belief Revision |
ERLANG
2004
ACM
15 years 5 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
WSC
2004
15 years 1 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
PVLDB
2010
14 years 10 months ago
2010
In a variety of emerging applications one needs to decide whether a graph G matches another Gp, i.e., whether G has a topological structure similar to that of Gp. The traditional ...
ITS
2004
Springer
15 years 5 months ago
2004
Springer
Developing a learner model containing an accurate representation of a learner’s knowledge is made more difficult in distributed learning environments where the learner uses mult...
DBVIS
1995
15 years 3 months ago
1995
Abstract. This paper reports on user experience with Tioga, a DBMScentric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct m...