845 search results - page 69 / 169 » Connecting Many-Sorted Theories |
286
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
186
click to vote
LFCS
2009
Springer
16 years 20 days ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
144
click to vote
IJCNN
2008
IEEE
16 years 16 days ago
2008
IEEE
—Sensory inputs such as visual images or audio spectrograms can act as symbols in a new cognitive model. The stability of direct image association operators allows the discrete b...
167
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
— We put forth a unified framework for downlink and uplink scheduling of multiple connections with diverse qualityof-service requirements, where each connection transmits using ...
118
click to vote
COMPGEOM
2004
ACM
15 years 11 months ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...