320 search results - page 27 / 64 » A Modal Logic of Information Change |
120
click to vote
FMCO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
ICMI
2004
Springer
15 years 5 months ago
2004
Springer
We describe a home lighting robot that uses directional spotlights to create complex lighting scenes. The robot senses its visual environment using a panoramic camera and attempts...
MICCAI
2003
Springer
16 years 19 days ago
2003
Springer
Quantitative measurements of changes in evolving brain pathology, such as multiple sclerosis lesions and brain tumors, are important for clinicians to perform pertinent diagnoses a...
107
click to vote
LPNMR
2001
Springer
15 years 4 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
WSC
2008
15 years 2 months ago
2008
Within the last months the semiconductor plant of Infineon in Dresden has converted to a pure manufacturer of logic products. With it, premises for production control have changed...