Sciweavers

2799 search results - page 402 / 560
» computing 1998
Sort
View
ISMB
1998
15 years 6 months ago
Prediction of Signal Peptides and Signal Anchors by a Hidden Markov Model
A hidden Markov model of signal peptides has been developed. It contains submodels for the N-terminal part, the hydrophobic region, and the region around the cleavage site. For kn...
Henrik Nielsen, Anders Krogh
FOCS
1998
IEEE
15 years 9 months ago
The Shortest Vector in a Lattice is Hard to Approximate to Within Some Constant
We show that approximating the shortest vector problem (in any p norm) to within any constant factor less than p 2 is hard for NP under reverse unfaithful random reductions with i...
Daniele Micciancio
ICCV
1998
IEEE
15 years 9 months ago
Detecting Changes in Aerial Views of Man-Made Structures
Many applications require detecting structural changes in a scene over a period of time. Comparing intensity values of successive images is not effective as such changes don'...
Andres Huertas, Ramakant Nevatia
MFCS
1998
Springer
15 years 9 months ago
Blockwise Variable Orderings for Shared BDDs
In this paper we consider the problem of characterizing optimal variable orderings for shared OBDDs of two Boolean functions fi = gi i hi, i = 1, 2, where i is an operator from th...
Harry Preuß, Anand Srivastav
RTA
1998
Springer
15 years 9 months ago
Decidable and Undecidable Second-Order Unification Problems
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
Jordi Levy