1134 search results - page 7 / 227 » Composing Tests from Examples |
CSFW
1995
IEEE
15 years 2 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
JSS
2007
14 years 10 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
75
Voted
SIGIR
2008
ACM
14 years 10 months ago
2008
ACM
This paper explores topic aspect (i.e., subtopic or facet) classification for English and Chinese collections. The evaluation model assumes a bilingual user who has found document...
105
click to vote
APIN
2002
14 years 10 months ago
2002
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
LREC
2010
15 years 9 days ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...