Sciweavers

3185 search results - page 514 / 637
» Domain and language evaluation results
Sort
View
CHI
2010
ACM
14 years 7 months ago
Connect 2 congress: visual analytics for civic oversight
Strong representative democracies rely on educated, informed, and active citizenry to provide oversight of the government. We present Connect 2 Congress (C2C), a novel, high tempo...
Peter Kinnaird, Mario Romero, Gregory D. Abowd
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 5 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
CSMR
2010
IEEE
14 years 5 months ago
A Heuristic-Based Approach to Identify Concepts in Execution Traces
Abstract--Concept or feature identification, i.e., the identification of the source code fragments implementing a particular feature, is a crucial task during software understandin...
Fatemeh Asadi, Massimiliano Di Penta, Giuliano Ant...
TSC
2010
182views more  TSC 2010»
14 years 5 months ago
A Query Rewriting Approach for Web Service Composition
Data-Providing (DP) services allow query-like access to organizations' data via web services. The invocation of a DP service results in the execution of a query over data sour...
Mahmoud Barhamgi, Djamal Benslimane, Brahim Medjah...
ICASSP
2011
IEEE
14 years 2 months ago
One sentence voice adaptation using GMM-based frequency-warping and shift with a sub-band basis spectrum model
This paper presents a rapid voice adaptation algorithm using GMM-based frequency warping and shift with parameters of a subband basis spectrum model (SBM)[1]. The SBM parameter re...
Masatsune Tamura, Masahiro Morita, Takehiko Kagosh...