1948 search results - page 37 / 390 » Formalizing Mirror Theory |
119
click to vote
JAIR
2012
13 years 2 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
159
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Database performance can be greatly affected by environmental and internal dynamics such as workloads and system configurations. Existing strategies to maintain performance under ...
UC
2009
Springer
15 years 6 months ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...
100
click to vote
FM
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...