1497 search results - page 202 / 300 » Extended static checking |
108
Voted
VDB
2000
15 years 2 months ago
2000
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification ...
111
Voted
ICANN
2010
Springer
15 years 1 months ago
2010
Springer
3D shape determines an object's physical properties to a large degree. In this article, we introduce an autonomous learning system for categorizing 3D shape of simulated objec...
88
Voted
JAR
2008
15 years 21 days ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
120
Voted
ENTCS
2007
15 years 20 days ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
125
click to vote
ENTCS
2007
15 years 20 days ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...