1422 search results - page 54 / 285 » Complementation in Abstract Interpretation |
164
click to vote
ENTCS
2007
15 years 6 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
145
click to vote
IWIC
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. This paper studies the patterns of cultural differences observed in pictogram interpretation. We conducted a 14-month online survey in the U.S. and Japan to ask the mean...
123
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...
131
click to vote
FDL
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
156
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...