Sciweavers

721 search results - page 33 / 145
» On Generators of Random Quasigroup Problems
Sort
View
COMPSAC
2008
IEEE
14 years 2 months ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
EUROCRYPT
2004
Springer
14 years 1 months ago
Short Signatures Without Random Oracles
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...
Dan Boneh, Xavier Boyen
EMNLP
2008
13 years 9 months ago
Revealing the Structure of Medical Dictations with Conditional Random Fields
Automatic processing of medical dictations poses a significant challenge. We approach the problem by introducing a statistical framework capable of identifying types and boundarie...
Jeremy Jancsary, Johannes Matiasek, Harald Trost
CVPR
2008
IEEE
14 years 10 months ago
Latent topic random fields: Learning using a taxonomy of labels
An important problem in image labeling concerns learning with images labeled at varying levels of specificity. We propose an approach that can incorporate images with labels drawn...
Xuming He, Richard S. Zemel
CP
2009
Springer
13 years 11 months ago
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
Pascal Van Hentenryck, Carleton Coffrin, Boris Gut...