Sciweavers

1682 search results - page 138 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
JUCS
2010
82views more  JUCS 2010»
14 years 10 months ago
The Separation of Relativized Versions of P and DNP for the Ring of the Reals
: We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x 0. The oracle machines can also check whether...
Christine Gaßner
130
Voted
MM
2005
ACM
172views Multimedia» more  MM 2005»
15 years 9 months ago
Learning the semantics of multimedia queries and concepts from a small number of examples
In this paper we unify two supposedly distinct tasks in multimedia retrieval. One task involves answering queries with a few examples. The other involves learning models for seman...
Apostol Natsev, Milind R. Naphade, Jelena Tesic
ICSE
2011
IEEE-ACM
14 years 7 months ago
Inferring better contracts
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand M...
ISICT
2003
15 years 5 months ago
Inducing a cline from corpora of political manifestos
Techniques from corpus linguistics are applied to the analysis of a number of European right-wing parties in an effort to extend methods for ranking parties on a left-right spectr...
Sofie Van Gijsel, Carl Vogel
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 9 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...