Sciweavers

1679 search results - page 268 / 336
» Strong order equivalence
Sort
View
CANDC
2002
ACM
14 years 11 months ago
Applications of Recursive Segmentation to the Analysis of DNA Sequences
Recursive segmentation is a procedure that partitions a DNA sequence into domains with a homogeneous composition of the four nucleotides A, C, G and T. This procedure can also be ...
Wentian Li, Pedro Bernaola-Galván, Fatameh ...
FAC
2000
114views more  FAC 2000»
14 years 11 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
AAI
1999
91views more  AAI 1999»
14 years 11 months ago
Multilingual Natural Language Generation for Multilingual Software: A Functional Linguistic Approach
In this paper we present an implemented account of multilingual linguistic resources for multilingual text generation that improves significantly on the degree of re-use of resour...
John A. Bateman, Christian Matthiessen, Licheng Ze...
DCC
1999
IEEE
14 years 11 months ago
Designs in Product Association Schemes
Recently, P.J. Cameron studied a class of block designs which generalises the classes of t-designs, -resolved 2-designs, orthogonal arrays, and other classes of combinatorial desi...
William J. Martin
TIT
2002
146views more  TIT 2002»
14 years 11 months ago
Least squares estimation of 2-D sinusoids in colored noise: Asymptotic analysis
This paper considers the problem of estimating the parameters of real-valued two-dimensional (2-D) sinusoidal signals observed in colored noise. This problem is a special case of t...
Guy Cohen, Joseph M. Francos