1415 search results - page 167 / 283 » Verified systems by composition from verified components |
156
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
126
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
184
click to vote
JAR
2010
15 years 4 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
179
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We present a 3-D shape-based object recognition system for simultaneous recognition of multiple objects in scenes containing clutter and occlusion. Recognition is based on matchin...
162
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Many applications require the ability to track the 3-D motion of the subjects. We build a particle filter based framework for multimodal tracking using multiple cameras and multip...