Sciweavers

5855 search results - page 325 / 1171
» Test generation and minimization with
Sort
View
CSCLP
2005
Springer
16 years 9 days ago
On Generators of Random Quasigroup Problems
Problems that can be sampled randomly are a good source of test suites for comparing quality of constraint satisfaction techniques. Quasigroup problems are representatives of struc...
Roman Barták
ICSE
2010
IEEE-ACM
15 years 10 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
WSC
2007
15 years 9 months ago
A method for fast generation of bivariate Poisson random vectors
It is well known that trivariate reduction — a method to generate two dependent random variables from three independent random variables — can be used to generate Poisson rand...
Kaeyoung Shin, Raghu Pasupathy
ACL
2010
15 years 4 months ago
Generating Focused Topic-Specific Sentiment Lexicons
We present a method for automatically generating focused and accurate topicspecific subjectivity lexicons from a general purpose polarity lexicon that allow users to pin-point sub...
Valentin Jijkoun, Maarten de Rijke, Wouter Weerkam...
SCIA
2007
Springer
16 years 26 days ago
Pseudo-real Image Sequence Generator for Optical Flow Computations
Abstract. The availability of ground-truth flow field is crucial for quantitative evaluation of any optical flow computation method. The fidelity of test data is also important...
Vladimír Ulman, Jan Hubený