470 search results - page 79 / 94 » Test Case Generation Based on State and Activity Models |
90
Voted
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we propose a new analytical model for throughput evaluation of wireless network coding. This new approach is based on a probabilistic viewpoint on network coding, i....
134
Voted
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
The recognition of script in historical documents requires suitable techniques in order to identify single words. Segmentation of lines and words is a challenging task because lin...
97
Voted
ASPDAC
2004
ACM
15 years 4 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
107
click to vote
ENVSOFT
2008
15 years 14 days ago
2008
Many impact studies require climate change information at a finer resolution than that provided by Global Climate Models (GCMs). In the last 10 years, downscaling techniques, both...
104
click to vote
WSC
1998
15 years 1 months ago
1998
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...