1189 search results - page 64 / 238 » The Quotient of an Abstract Interpretation |
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
59
Voted
JSYML
2006
15 years 19 days ago
2006
Abstract. We characterise strongly minimal groups interpretable in elementary extensions of compact complex analytic spaces.
73
Voted
BC
2000
15 years 16 days ago
2000
Abstract. Stimulus representation is a functional interpretation of early sensory cortices. Early sensory cortices are subject to stimulus-induced modi
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
114
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Abstract. The talk focused on a grammar-based technique for identifying redundancy in program code and taking advantage of that redundancy to reduce the memory required to store an...