1113 search results - page 177 / 223 » Counter Systems for Data Logics |
156
Voted
CATA
2003
15 years 6 months ago
2003
This paper presents a basic framework for applying static task scheduling techniques to arbitrarily-structured task systems whose targeted execution environment is comprised of fi...
143
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the r...
171
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
152
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
Researchers in the social and behavioral sciences routinely rely on quasi-experimental designs to discover knowledge from large databases. Quasi-experimental designs (QEDs) exploi...
155
Voted
WEBI
2010
Springer
15 years 2 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...