1492 search results - page 5 / 299 » Testing Properties of Constraint-Graphs |
PTS
2003
14 years 11 months ago
2003
ENTCS
2008
14 years 9 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
87
Voted
OL
2011
14 years 10 days ago
2011
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
101
click to vote
EUROCRYPT
2012
Springer
12 years 12 months ago
2012
Springer
Abstract. Processing on encrypted data is a subject of rich investigation. Several new and exotic encryption schemes, supporting a diverse set of features, have been developed for ...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper, the Gaussianity and linearity of the snoring sound (SS) segments extracted from respiratory sounds are discussed. The respiratory sound signals were recorded from 3...