Sciweavers

2150 search results - page 102 / 430
» On a restricted cross-intersection problem
Sort
View
WABI
2004
Springer
116views Bioinformatics» more  WABI 2004»
15 years 10 months ago
Topological Rearrangements and Local Search Method for Tandem Duplication Trees
—The problem of reconstructing the duplication history of a set of tandemly repeated sequences was first introduced by Fitch [4]. Many recent studies deal with this problem, show...
Denis Bertrand, Olivier Gascuel
CDC
2009
IEEE
15 years 9 months ago
Metrics on the space of bounded Keplerian orbits and space situational awareness
— A main difficulty for orbit determination of space debris is the correlation of tracks of data belonging to the same physical object. A sequence of optical measurements of an ...
Jared M. Maruskin, Daniel J. Scheeres
DBPL
1999
Springer
114views Database» more  DBPL 1999»
15 years 8 months ago
Structured Document Transformations Based on XSL
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
Sebastian Maneth, Frank Neven
162
Voted
LICS
1999
IEEE
15 years 8 months ago
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
Albert Atserias, Phokion G. Kolaitis
HPDC
1998
IEEE
15 years 8 months ago
Authorization for Metacomputing Applications
One of the most difficult problems to be solved by metacomputing systems is to ensure strong authentication and authorization. The problem is complicated since the hosts involved ...
G. Gheorghiu, Tatyana Ryutov, B. Clifford Neuman