34 search results - page 7 / 7 » Classical Program Extraction in the Calculus of Construction... |
ICDE
2007
IEEE
14 years 6 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
CVPR
2010
IEEE
14 years 13 days ago
2010
IEEE
We propose interest seam image, an efficient visual synopsis for video. To extract an interest seam image, a spatiotemporal energy map is constructed for the target video shot. T...
SWARM
2010
SPRINGER
13 years 3 months ago
2010
SPRINGER
This paper proposes an immune concentration based virus detection approach which utilizes a two-element concentration vector to construct the feature. In this approach, ‘self’ ...
ICSM
2005
IEEE
13 years 11 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...