271 search results - page 28 / 55 » Logics from Galois connections |
WSC
2001
13 years 11 months ago
2001
Emulation is a very powerful tool for testing and debugging control code/logic in an office environment rather than on the plant floor. Through the use of emulation, the actual co...
AAAI
1994
13 years 11 months ago
1994
Sometimes inferences made at some specific time are valid at other times, too. In model-based diagnosis and monitoring as well as qualitative simulation inferences are often re-do...
TMC
2012
12 years 7 days ago
2012
—The pervasive adoption of IEEE 802.11 radios in the past decade has made possible for the easy Internet access from a vehicle, notably drive-thru Internet. Originally designed f...
LATA
2009
Springer
14 years 4 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
SIGDOC
2004
ACM
14 years 3 months ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...