2748 search results - page 80 / 550 » Generating Object-Z Specifications from Use Cases |
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a method for the detection of instances of an
object class, such as cars or pedestrians, in natural images.
Similarly to some previous works, this is accomplished via
...
IESS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...
PSD
2010
Springer
13 years 7 months ago
2010
Springer
In survey statistics, simulation studies are usually performed by repeatedly drawing samples from population data. Furthermore, population data may be used in courses on survey sta...
IV
2010
IEEE
13 years 6 months ago
2010
IEEE
The first step of any information visualization system is to enable end user to import their dataset into the system. However, non expert user are faced to the difficult task of ch...
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...