551 search results - page 67 / 111 » Formalizing the Logic-Automaton Connection |
DEXAW
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...
DEXAW
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents an integrated study on possible topological relationship between multidimensional simple objects in 0,1,2 and 3 D space. The formal categorisation of spatial r...
APLAS
2000
ACM
15 years 2 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
BIBE
2004
IEEE
15 years 1 months ago
2004
IEEE
There is a recognized need for a meta-classification that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins...
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...