66 search results - page 7 / 14 » Automated Property Verification for Large Scale B Models |
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
Both example-based and model-based approaches for classifying contour shapes can encounter difficulties when dealing with classes that have large nonlinear variability, especially...
ICIAP
2003
ACM
14 years 17 days ago
2003
ACM
We propose a methodology for reconstructing large– scale architectural scenes from low–altitude aerial images, in an efficient, accurate and fully automatic way. Towards this...
ICCV
2005
IEEE
14 years 1 months ago
2005
IEEE
When an image is viewed at varying resolutions, it is known to create discrete perceptual jumps or transitions amid the continuous intensity changes. In this paper, we study a per...
MOBIHOC
2007
ACM
14 years 7 months ago
2007
ACM
In this paper we study the capacity of wireless ad hoc networks with infrastructure support of an overlay of wired base stations. Such a network architecture is often referred to ...