1951 search results - page 315 / 391 » UML-Based integration testing |
259
Voted
TREC
1998
15 years 5 months ago
1998
This paper presents work done at Cambridge University, on the TREC7 Spoken Document Retrieval (SDR) Track. The broadcast news audio was transcribed using a 2-pass gender-dependent...
122
Voted
ISMB
1993
15 years 5 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
143
Voted
WCE
2007
15 years 4 months ago
2007
- Machine vision has evolved to become a mainstream automation tool, enabling computers to replace human vision in high speed and precision manufacturing techniques. Images usually...
142
click to vote
WOA
2007
15 years 4 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
144
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...