1689 search results - page 88 / 338 » Refining abstract interpretations |
139
click to vote
ENTCS
2007
15 years 4 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 ...
148
click to vote
TCAD
2008
15 years 4 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
127
click to vote
IWIC
2007
Springer
15 years 10 months 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...
104
Voted
KI
2008
Springer
15 years 4 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
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...