Sciweavers

341 search results - page 24 / 69
» Learning to satisfy
Sort
View
TCAD
2010
102views more  TCAD 2010»
14 years 10 months ago
Functional Test Generation Using Efficient Property Clustering and Learning Techniques
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
Mingsong Chen, Prabhat Mishra
TON
2010
126views more  TON 2010»
14 years 10 months ago
MAC Scheduling With Low Overheads by Learning Neighborhood Contention Patterns
Aggregate traffic loads and topology in multi-hop wireless networks may vary slowly, permitting MAC protocols to `learn' how to spatially coordinate and adapt contention patte...
Yung Yi, Gustavo de Veciana, Sanjay Shakkottai
TCC
2009
Springer
114views Cryptology» more  TCC 2009»
16 years 3 months ago
Predicate Privacy in Encryption Systems
Predicate encryption is a new encryption paradigm which gives a master secret key owner fine-grained control over access to encrypted data. The master secret key owner can generat...
Emily Shen, Elaine Shi, Brent Waters
LREC
2008
139views Education» more  LREC 2008»
15 years 4 months ago
Automatic Learning and Evaluation of User-Centered Objective Functions for Dialogue System Optimisation
The ultimate goal when building dialogue systems is to satisfy the needs of real users, but quality assurance for dialogue strategies is a non-trivial problem. The applied evaluat...
Verena Rieser, Oliver Lemon
117
Voted
FECS
2008
129views Education» more  FECS 2008»
15 years 4 months ago
Assessment of Student Performance in an Internet-Based Multimedia Classroom
Much research has been devoted to the study of exclusively distance-learning paradigms for teaching various technological subjects, yet many students have not been satisfied with ...
Stephen Turner, Michael Farmer