Sciweavers

2181 search results - page 113 / 437
» The restriction scaffold problem
Sort
View
WEBDB
2007
Springer
128views Database» more  WEBDB 2007»
14 years 4 months ago
Supporting Range Queries on Web Data Using k-Nearest Neighbor Search
A large volume of geospatial data is available on the web through various forms of applications. However, access to these data is limited by certain types of queries due to restric...
Wan D. Bae, Shayma Alkobaisi, Seon Ho Kim, Sada Na...
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
14 years 3 months ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
WABI
2004
Springer
116views Bioinformatics» more  WABI 2004»
14 years 3 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
14 years 2 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»
14 years 2 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