8228 search results - page 176 / 1646 » Structural Logical Relations |
124
click to vote
CGF
2004
15 years 4 months ago
2004
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
145
click to vote
ISQED
2011
IEEE
14 years 8 months ago
2011
IEEE
With continuous scaling of transistors in each technology generation, NBTI and Process Variation (PV) have become very important silicon reliability problems for the microprocesso...
339
click to vote
Book
"Spatial structures and spatial reasoning are essential to perception and cognition. Much
day-to-day practical information is about what happens at certain spatial locations....
128
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
136
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...