Sciweavers

2071 search results - page 125 / 415
» An Empirical Evaluation of LFG-DOP
Sort
View
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 4 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
135
Voted
FEDCSIS
2011
87views more  FEDCSIS 2011»
14 years 1 months ago
Enhanced CakES representing Safety Analysis results of Embedded Systems
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
Yasmin I. Al-Zokari, Daniel Schneider, Dirk Zeckze...
GPCE
2011
Springer
14 years 1 months ago
Comparing complexity of API designs: an exploratory experiment on DSL-based framework integration
Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature presents claims that DSL-...
Stefan Sobernig, Patrick Gaubatz, Mark Strembeck, ...
KDD
2012
ACM
187views Data Mining» more  KDD 2012»
13 years 4 months ago
Online learning to diversify from implicit feedback
In order to minimize redundancy and optimize coverage of multiple user interests, search engines and recommender systems aim to diversify their set of results. To date, these dive...
Karthik Raman, Pannaga Shivaswamy, Thorsten Joachi...
ICDE
2008
IEEE
137views Database» more  ICDE 2008»
16 years 2 months ago
Transformation-based Framework for Record Matching
Today's record matching infrastructure does not allow a flexible way to account for synonyms such as "Robert" and "Bob" which refer to the same name, and m...
Arvind Arasu, Surajit Chaudhuri, Raghav Kaushik