Sciweavers

6014 search results - page 344 / 1203
» Structural Testing with Use Cases
Sort
View
ICFP
2009
ACM
15 years 11 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
JODS
2006
131views Data Mining» more  JODS 2006»
15 years 4 months ago
Integrating and Exchanging XML Data Using Ontologies
While providing a uniform syntax and a semistructured data model, XML does not express semantics but only structure such as nesting information. In this paper, we consider the prob...
Huiyong Xiao, Isabel F. Cruz
ACCV
2009
Springer
15 years 9 months ago
Efficient Human Action Detection Using a Transferable Distance Function
Abstract. In this paper, we address the problem of efficient human action detection with only one template. We choose the standard slidingwindow approach to scan the template video...
Weilong Yang, Yang Wang 0003, Greg Mori
KDD
2008
ACM
147views Data Mining» more  KDD 2008»
16 years 5 months ago
Structured learning for non-smooth ranking losses
Learning to rank from relevance judgment is an active research area. Itemwise score regression, pairwise preference satisfaction, and listwise structured learning are the major te...
Soumen Chakrabarti, Rajiv Khanna, Uma Sawant, Chir...
154
Voted
BMCBI
2006
108views more  BMCBI 2006»
15 years 4 months ago
Promoter prediction and annotation of microbial genomes based on DNA sequence and structural responses to superhelical stress
Background: In our previous studies, we found that the sites in prokaryotic genomes which are most susceptible to duplex destabilization under the negative superhelical stresses t...
Huiquan Wang, Craig J. Benham