4401 search results - page 206 / 881 » Computing with Default Logic |
142
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
129
click to vote
ERSA
2007
15 years 5 months ago
2007
This paper describes a proof-of-concept implementation of a basic autonomous computing system. The system consists of an XUP Virtex-II Pro board running Linux and a set of softwar...
145
click to vote
IJCAI
2001
15 years 5 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
221
click to vote
ICDE
2004
IEEE
16 years 5 months ago
2004
IEEE
Edge computing pushes application logic and the underlying data to the edge of the network, with the aim of improving availability and scalability. As the edge servers are not nec...
120
click to vote
WILF
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a computer implementation that utilizes cross-reference ambiguity in utterances for simple conversational jokes. The approach is based on the SSTH. Using a simp...