2291 search results - page 242 / 459 » Representational Reasoning and Verification |
95
Voted
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
103
Voted
GIS
2010
ACM
14 years 10 months ago
2010
ACM
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
122
Voted
JFP
2007
15 years 17 days ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
119
Voted
DLOG
2006
15 years 2 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
182
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...