1333 search results - page 150 / 267 » Termination Detection of Local Computations |
VLDB
2002
ACM
13 years 10 months ago
2002
ACM
For a large-scale data-intensive environment, such as the World-Wide Web or data warehousing, we often make local copies of remote data sources. Due to limited network and computa...
ICML
1999
IEEE
14 years 11 months ago
1999
IEEE
The problemofmultipleglobalcomparisonin familiesof biologicalsequences has been wellstudied. Fewer algorithms have been developed for identifying local consensus patterns or motif...
CAV
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
TITS
2002
13 years 10 months ago
2002
This paper describes the image processing techniques designed to localize the tracks of snowcats for the automation of transportation of goods and people during the Italian scienti...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
In this paper, we propose a novel algorithm to detect/compensate online interference effects when integrating Global Navigation Satellite System (GNSS) and Inertial Navigation Sys...