Sciweavers

1953 search results - page 307 / 391
» codes 2010
Sort
View
SDM
2010
SIAM
192views Data Mining» more  SDM 2010»
15 years 5 months ago
Fast and Accurate Gene Prediction by Decision Tree Classification
Gene prediction is one of the most challenging tasks in genome analysis, for which many tools have been developed and are still evolving. In this paper, we present a novel gene pr...
Rong She, Jeffrey Shih-Chieh Chu, Ke Wang, Nanshen...
CVPR
2010
IEEE
15 years 5 months ago
The Phase Only Transform for unsupervised surface defect detection
We present a simple, fast, and effective method to detect defects on textured surfaces. Our method is unsupervised and contains no learning stage or information on the texture bei...
Dror Aiger, Hugues Talbot
ATVA
2010
Springer
284views Hardware» more  ATVA 2010»
15 years 5 months ago
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
Ukachukwu Ndukwu, A. K. McIver
DOCENG
2010
ACM
15 years 5 months ago
Linking data and presentations: from mapping to active transformations
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
Olivier Beaudoux, Arnaud Blouin
ECRTS
2010
IEEE
15 years 5 months ago
Preemption Points Placement for Sporadic Task Sets
Abstract--Limited preemption scheduling has been introduced as a viable alternative to non-preemptive and fullypreemptive scheduling when reduced blocking times need to coexist wit...
Marko Bertogna, Giorgio C. Buttazzo, Mauro Marinon...