551 search results - page 67 / 111 » Formalizing the Logic-Automaton Connection |
128
click to vote
DEXAW
2000
IEEE
15 years 10 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...
152
click to vote
DEXAW
2000
IEEE
15 years 10 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...
143
click to vote
APLAS
2000
ACM
15 years 10 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...
260
click to vote
BIBE
2004
IEEE
15 years 9 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...
174
click to vote
TABLEAUX
2000
Springer
15 years 9 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...