264 search results - page 17 / 53 » Testing Theories for Broadcasting Processes |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper describes the Arabic broadcast transcription system fielded by IBM in the GALE Phase 3.5 machine translation evaluation. Key advances compared to our Phase 2.5 system ...
MCAM
2007
Springer
14 years 1 months ago
2007
Springer
Automatic story unit segmentation is an essential technique for content based video retrieval and summarization. A good video story unit has complete content and natural boundary i...
IMSCCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that pl...
IAAI
1993
13 years 8 months ago
1993
Identification and characterization of indications in eddy current (ET) signals can be highly subjective in nature, with varying diagnoses made by different analysts or by a singl...