7167 search results - page 235 / 1434 » A Technique for Invariant Generation |
188
click to vote
CC
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
225
click to vote
EMMCVPR
2005
Springer
16 years 23 days ago
2005
Springer
We consider the use of medial surfaces to represent symmetries of cts. This allows for a qualitative abstraction based on a directed acyclic graph of components and also a degree o...
142
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a novel approach to representing 2-d shapes that adaptively models different portions of the shape at different resolutions, having higher resolution where it ...
136
click to vote
CVPR
1997
IEEE
15 years 11 months ago
1997
IEEE
A novel scene reconstruction technique is presented, different from previous approaches in its ability to cope with large changes in visibility and its modeling of intrinsic scene...
186
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...