Sciweavers

2799 search results - page 178 / 560
» computing 1998
Sort
View
ICCV
1998
IEEE
16 years 5 months ago
Recovering Epipolar Geometry by Reactive Tabu Search
We propose a new approach to recover epipolar geometry from a pair of uncalibrated images. By minimizing a proposed cost function, our approach matches the detected feature points...
Qifa Ke, Gang Xu, Songde Ma
TCS
1998
15 years 2 months ago
Parsing Schemata and Correctness of Parsing Algorithms
Parsing schemata provide a high-level formal description of parsers. These can be used, among as an intermediate level of abstraction for deriving the formal correctness of a pars...
Klaas Sikkel
PVM
1998
Springer
15 years 7 months ago
WMPI - Message Passing Interface for Win32 Clusters
This paper describes WMPI1 , the first full implementation of the Message Passing Interface standard (MPI) for clusters of Microsoft's Windows platforms (Win32). Its internal ...
José Marinho, João Gabriel Silva
ISMB
1998
15 years 4 months ago
A Statistical Theory of Sequence Alignment with Gaps
Astatistical theory of local alignmentalgorithms with gaps is presented. Both the linear and logarithmic phases, as well as the phase transition separating the two phases, are des...
Dirk Drasdo, Terence Hwa, Michael Lässig
TCS
1998
15 years 2 months ago
Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete
The complexity of the reachability problem for live and safe free-choice Petri nets has been open for several years. Several partial results seemed to indicate that the problem is...
Javier Esparza