Sciweavers

5675 search results - page 48 / 1135
» Formalising Performative Interaction
Sort
View
BMCBI
2008
141views more  BMCBI 2008»
14 years 12 months ago
Ontology-guided data preparation for discovering genotype-phenotype relationships
Complexity of post-genomic data and multiplicity of mining strategies are two limits to Knowledge Discovery in Databases (KDD) in life sciences. Because they provide a semantic fr...
Adrien Coulet, Malika Smaïl-Tabbone, Pascale ...
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 7 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
SIGIR
2003
ACM
15 years 5 months ago
Exploiting query history for document ranking in interactive information retrieval
In this poster,we incorporate user query history, as context information, to improve the retrieval performance in interactive retrieval. Experiments using the TREC data show that ...
Xuehua Shen, ChengXiang Zhai
CGF
2008
125views more  CGF 2008»
14 years 12 months ago
Interactive Visualization for Memory Reference Traces
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
A. N. M. Imroz Choudhury, Kristin C. Potter, Steve...
IBPRIA
2005
Springer
15 years 5 months ago
A New Algorithm for Pattern Optimization in Protein-Protein Interaction Extraction System
Abstract. In pattern matching based Protein-Protein Interaction Extraction systems, patterns generated manually or automatically exist erroneous and redundancy, which greatly affec...
Yu Hao, Xiaoyan Zhu, Ming Li