1497 search results - page 218 / 300 » Extended static checking |
164
click to vote
FMCAD
2009
Springer
16 years 22 days ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
178
click to vote
ICIP
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper addresses the shape-based segmentation problem using level sets. In particular, we propose a fast algorithm to solve the piece-wise constant Chan-Vese segmentation mode...
151
click to vote
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
124
click to vote
SCAM
2007
IEEE
16 years 13 days ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
172
click to vote
TPHOL
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...