1585 search results - page 157 / 317 » A framework for computer-aided validation |
197
click to vote
VLSM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Many problems in image analysis and computer vision involving boundaries and regions can be cast in a variational formulation. This means that m-surfaces, e.g. curves and...
158
click to vote
DAGM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Features like junctions and corners are a rich source of information for image understanding. We present a novel theoretical framework for the analysis of such 2D feature...
161
click to vote
ESTIMEDIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
158
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
141
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
The growing demand for web applications and the new multi-user and multi-device requirements of these has led to the need for a structured and well-reasoned approach that helps bo...