2144 search results - page 137 / 429 » Exact Flow Analysis |
179
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
140
click to vote
CAIP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
123
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
124
click to vote
CSCWD
2001
Springer
15 years 9 months ago
2001
Springer
A current research project at the University of Strathclyde is introduced which aims to better understand the role of distributed engineering design in industry and address presen...
177
click to vote
EMMCVPR
2001
Springer
15 years 9 months ago
2001
Springer
A number of geometric active contour and surface models have been proposed for shape segmentation in the literature. The essential idea is to evolve a curve (in 2D) or a surface (i...