Sciweavers

7576 search results - page 1251 / 1516
» UNIX as an Application Program
Sort
View
TSMC
2008
237views more  TSMC 2008»
15 years 6 months ago
The CAS-PEAL Large-Scale Chinese Face Database and Baseline Evaluations
In this paper, we describe the acquisition and contents of a large-scale Chinese face database: CAS-PEAL face database. The goals of creating the CAS-PEAL face database include 1) ...
Wen Gao, Bo Cao, Shiguang Shan, Xilin Chen, Delong...
BMCBI
2004
130views more  BMCBI 2004»
15 years 6 months ago
PATTERNFINDER: combined analysis of DNA regulatory sequences and double-helix stability
Background: Regulatory regions that function in DNA replication and gene transcription contain specific sequences that bind proteins as well as less-specific sequences in which th...
Yanlin Huang, David Kowalski
CCE
2004
15 years 6 months ago
Improving convergence of the stochastic decomposition algorithm by using an efficient sampling technique
This work focuses on the basic stochastic decomposition (SD) algorithm of Higle and Sen [J.L. Higle, S. Sen, Stochastic Decomposition, Kluwer Academic Publishers, 1996] for two-st...
José María Ponce-Ortega, Vicente Ric...
CCR
2004
147views more  CCR 2004»
15 years 6 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
ENTCS
2000
120views more  ENTCS 2000»
15 years 6 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
« Prev « First page 1251 / 1516 Last » Next »