3119 search results - page 561 / 624 » General Default Logic |
102
click to vote
SIAMCOMP
2008
15 years 20 days ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...
148
Voted
TASE
2008
IEEE
15 years 19 days ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
109
Voted
CORR
2002
Springer
15 years 17 days ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
128
Voted
JACM
2002
15 years 12 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
141
Voted
DATAMINE
1999
15 years 12 days ago
1999
Discovery of frequent patterns has been studied in a variety of data mining settings. In its simplest form, known from association rule mining, the task is to discover all frequent...