3818 search results - page 350 / 764 » Word Problems on Compressed Words |
183
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
176
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
Generative algorithms for learning classifiers use training data to separately estimate a probability model for each class. New items are classified by comparing their probabiliti...
155
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
163
click to vote
DNA
2006
Springer
15 years 10 months ago
2006
Springer
We examine scattered hairpins, which are structures formed when a single strand of nucleotides folds into a partially hybridized stem and a loop. To specify different classes of h...
201
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Studies in computer supported collaborative learning frequently under-expose the interaction between students and technology. To gain more insight in the way student groups interac...