Sciweavers

16518 search results - page 2887 / 3304
» A New Approach to Splitting-Off
Sort
View
ASC
2008
15 years 7 months ago
Dynamic classification for video stream using support vector machine
A dynamic classification using the support vector machine (SVM) technique is presented in this paper as a new `incremental' framework for multiple-classifying video stream da...
Mariette Awad, Yuichi Motai
ASE
2008
102views more  ASE 2008»
15 years 7 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
AUTOMATICA
2008
59views more  AUTOMATICA 2008»
15 years 7 months ago
Supervisory control of modular systems with global specification languages
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, H...
BMCBI
2008
85views more  BMCBI 2008»
15 years 7 months ago
Merging microarray data from separate breast cancer studies provides a robust prognostic test
Background: There is an urgent need for new prognostic markers of breast cancer metastases to ensure that newly diagnosed patients receive appropriate therapy. Recent studies have...
Lei Xu, Aik Choon Tan, Raimond L. Winslow, Donald ...
BMCBI
2010
69views more  BMCBI 2010»
15 years 7 months ago
Reanalyze unassigned reads in Sanger based metagenomic data using conserved gene adjacency
Background: Investigation of metagenomes provides greater insight into uncultured microbial communities. The improvement in sequencing technology, which yields a large amount of s...
Francis C. Weng, Chien-Hao Su, Ming-Tsung Hsu, Tse...
« Prev « First page 2887 / 3304 Last » Next »