Sciweavers

4636 search results - page 661 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
BMCBI
2010
144views more  BMCBI 2010»
14 years 11 months ago
Super-sparse principal component analyses for high-throughput genomic data
Background: Principal component analysis (PCA) has gained popularity as a method for the analysis of highdimensional genomic data. However, it is often difficult to interpret the ...
Donghwan Lee, Woojoo Lee, Youngjo Lee, Yudi Pawita...
LOGCOM
2010
154views more  LOGCOM 2010»
14 years 6 months ago
Collaborative Runtime Verification with Tracematches
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...
ICML
2008
IEEE
16 years 9 days ago
Exploration scavenging
We examine the problem of evaluating a policy in the contextual bandit setting using only observations collected during the execution of another policy. We show that policy evalua...
John Langford, Alexander L. Strehl, Jennifer Wortm...
ICCBR
2003
Springer
15 years 4 months ago
Product Recommendation with Interactive Query Management and Twofold Similarity
Abstract. This paper describes an approach to product recommendation that combines in a novel way content- and collaborative-based filtering techniques. The system helps the user ...
Francesco Ricci, Adriano Venturini, Dario Cavada, ...
APAL
2010
114views more  APAL 2010»
14 years 11 months ago
Classical predicative logic-enriched type theories
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
Robin Adams, Zhaohui Luo