6167 search results - page 245 / 1234 » Can Refinement be Automated |
131
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
165
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
Profiles of a sculpture provide rich information about its geometry, and can be used for model reconstruction under known camera motion. By exploiting correspondences induced by e...
142
click to vote
SEC
2008
15 years 7 months ago
2008
ASTRA is a security analysis method based on the systematic collection and analysis of security relevant information to detect inconsistencies and assess residual risks. ASTRA can ...
167
click to vote
VMV
2001
15 years 7 months ago
2001
A new approach to subdivision based on the evolution of surfaces under curvature motion is presented. Such an evolution can be understood as a natural geometric filter process whe...
158
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...