1134 search results - page 7 / 227 » Composing Tests from Examples |
111
Voted
CSFW
1995
IEEE
15 years 4 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...
98
Voted
JSS
2007
15 years 10 days 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...
SIGIR
2008
ACM
15 years 11 days 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...
118
Voted
APIN
2002
15 years 10 days 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...
75
Voted
LREC
2010
15 years 1 months 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 ...