3342 search results - page 88 / 669 » Automating Abstract Interpretation |
139
Voted
DLOG
2009
15 years 17 days ago
2009
Abstract. We describe OntoComP, a Prot
136
Voted
CSL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
138
click to vote
BIRTHDAY
2009
Springer
15 years 18 days ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
124
Voted
IJCAI
2003
15 years 4 months ago
2003
An interpretation system finds the likely mappings from portions of an image to real-world objects. An interpretation policy specifies when to apply which imaging operator, to whi...
132
Voted
JUCS
2006
15 years 2 months ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...