Sciweavers

3816 search results - page 461 / 764
» Characteristic relational patterns
Sort
View
GCB
1997
Springer
77views Biometrics» more  GCB 1997»
15 years 10 months ago
Statistics of large scale sequence searching
Motivation: Database search programs such as FASTA, BLAST or a rigorous Smith–Waterman algorithm produce lists of database entries, which are assumed to be related to the query....
Rainer Spang, Martin Vingron
PLILP
1993
Springer
15 years 10 months ago
A Demand Driven Computation Strategy for Lazy Narrowing
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
Rita Loogen, Francisco Javier López-Fraguas...
CBMS
2006
IEEE
15 years 10 months ago
A Generic Framework: From Clinical Notes to Electronic Medical Records
Electronic Medical Records are important to manage health data and save lives to improve the quality of service in hospitals. Clinical medical records contain a wealth of informat...
Hyoil Han, Yoori Choi, Yoo Myung Choi, Xiaohua Zho...
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 10 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
GCB
2000
Springer
75views Biometrics» more  GCB 2000»
15 years 10 months ago
Regexpcount, a Symbolic Package for Counting Problems on Regular Expressions and Words
In previous work [10], we considered algorithms related to the statistics of matches with words and regular expressions in texts generated by Bernoulli or Markov sources. In this w...
Pierre Nicodème