Sciweavers

1679 search results - page 268 / 336
» Strong order equivalence
Sort
View
CANDC
2002
ACM
13 years 8 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»
13 years 8 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»
13 years 8 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
13 years 8 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»
13 years 8 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