762 search results - page 91 / 153 » Conditionally correct superoptimization |
TLDI
2003
ACM
14 years 3 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
MVA
1994
13 years 11 months ago
1994
Amethod is developed to identifya taxiing airplane and measure its position correctly under various lighting and weather conditionsby inputting a moving image from an adaptively-co...
BMCBI
2010
13 years 10 months ago
2010
Background: Network Component Analysis (NCA) has been used to deduce the activities of transcription factors (TFs) from gene expression data and the TF-gene binding relationship. ...
SIGIR
2008
ACM
13 years 10 months ago
2008
ACM
This paper addresses the issue of query refinement, which involves reformulating ill-formed search queries in order to enhance relevance of search results. Query refinement typica...
ALIFE
2005
13 years 10 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...