5550 search results - page 752 / 1110 » Different Approaches to Proof Systems |
183
click to vote
WSC
2007
15 years 9 months ago
2007
Semiconductor wafer fabrication facilities (wafer fabs) are among the most complex production facilities. A large product variety, hundreds of processing steps per product, hundre...
183
click to vote
ADMA
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a study on the combination of different classifiers for toxicity prediction. Two combination operators for the Multiple-Classifier System definition are also pr...
173
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The ability to express preferences for specific tasks in multi-agent auctions is an important element for potential users who are considering to use such auctioning systems. This p...
163
click to vote
ACL
2008
15 years 8 months ago
2008
We present a discriminative structureprediction model for the letter-to-phoneme task, a crucial step in text-to-speech processing. Our method encompasses three tasks that have bee...
162
click to vote
DAIS
2010
15 years 8 months ago
2010
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...