Sciweavers

2806 search results - page 266 / 562
» BML and Related Tools
Sort
View
FLOPS
2010
Springer
16 years 1 months ago
Applying Constraint Logic Programming to SQL Test Case Generation
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
Rafael Caballero, Yolanda García-Ruiz, Fern...
VLSID
2009
IEEE
182views VLSI» more  VLSID 2009»
16 years 1 months ago
Fuzzy Logic Based Guidance to Graph Grammar Framework for Automated Analog Circuit Design
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
Angan Das, Ranga Vemuri
ICML
2009
IEEE
16 years 1 months ago
Nonparametric estimation of the precision-recall curve
The Precision-Recall (PR) curve is a widely used visual tool to evaluate the performance of scoring functions in regards to their capacities to discriminate between two population...
Stéphan Clémençon, Nicolas Va...
FPGA
2009
ACM
148views FPGA» more  FPGA 2009»
16 years 1 months ago
SmartOpt: an industrial strength framework for logic synthesis
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
Stephen Jang, Dennis Wu, Mark Jarvin, Billy Chan, ...
ISBRA
2009
Springer
16 years 1 months ago
Analysis of Cis-Regulatory Motifs in Cassette Exons by Incorporating Exon Skipping Rates
Identification of cis-regulatory motifs has long been a hotspot in the study of alternative splicing. We propose a two-step approach: we first identify k-mer seed motifs by testing...
Sihui Zhao, Jihye Kim, Steffen Heber