2343 search results - page 163 / 469 » Structure and Interpretation of Computer Programs |
133
Voted
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
133
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
182
click to vote
MM
2009
ACM
15 years 9 months ago
2009
ACM
Content Based Image Retrieval (CBIR) has become one of the most active research areas in computer science. Relevance feedback is often used in CBIR systems to bridge the semantic ...
146
click to vote
ICPP
1993
IEEE
15 years 9 months ago
1993
IEEE
Abstract — In MIMD (Multiple Instruction stream, Multiple Data stream) execution, each processor has its own state. Although these states are generally considered to be independe...
131
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...