1636 search results - page 313 / 328 » Reasoning About Quantum Systems |
136
click to vote
TPLP
2002
15 years 1 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
119
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
FGCS
2010
15 years 12 days ago
2010
System-level virtualization is today enjoying a rebirth, after first gaining popularity in the 1970s as a technique to effectively share what were then considered large computin...
99
Voted
SCHOLARPEDIA
2008
15 years 9 days ago
2008
ABSTRACT: The lobster stomatogastric ganglion contains 30 neurons and when modulated can produce two distinct rhythmic motor patterns--the gastric mill and the pyloric. The complet...
152
Voted
POPL
2011
ACM
14 years 4 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...