886 search results - page 46 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
102
click to vote
INFORMATICALT
1998
14 years 9 months ago
1998
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
ACCV
2006
Springer
15 years 3 months ago
2006
Springer
In many visual tracking and surveillance systems, it is important to initialize a background model using a training video sequence which may include foreground objects. In such a c...
NOMS
2006
IEEE
15 years 3 months ago
2006
IEEE
—This paper presents a new method, BART (Bandwidth Available in Real-Time), for estimating the end-toend available bandwidth over a network path. It estimates bandwidth quasi-con...
102
click to vote
SCIA
2005
Springer
15 years 3 months ago
2005
Springer
Recently, a number of methods for 3-D modeling from images have been developed. However, the accuracy of a reconstructed model depends on camera positions and postures with which t...