Titlebook: LATIN 2006: Theoretical Informatics; 7th Latin American S José R. Correa,Alejandro Hevia,Marcos Kiwi Conference proceedings 2006 Springer-V

称赞

blithe

On Clusters in Markov Chains chains, and explore the possibility of analyzing a cluster “in vitro,” without regard to the remainder of the chain. We estimate the stationary probabilities of the states in the cluster using only transition information for these states, and bound the error of the estimate in terms of parameters m

ascetic

An Architecture for Provably Secure Computationrating system and other users, in the sense that: .To our knowledge, ours is the first attempt to provide provable guarantees along these lines, and the first treatment of any kind, provable or otherwise, for the third property.

臭了生气

Scoring Matrices That Induce Metrics on Sequences. measures the cost of the .. of replacing symbol . by symbol ...For a given scoring matrix and sequences . and ., we consider two kinds of induced scoring functions. The first function, known as ., is defined as the sum of costs of the edit operations required to transform . into .. The second, kno

entice

Data Structures for Halfplane Proximity Queries and Incremental Voronoi Diagrams given a point . and a directed line ℓ in the plane, report the point of . that is farthest from (or, alternatively, nearest to) the point . subject to being to the left of line ℓ. We present two data structures for this problem. The first data structure uses .(..) space and preprocessing time, and

Outspoken

Counting Proportions of Sets: Expressive Power with Almost Ordercond order variables of a given arity ., and count the fraction of elements in a subset of .–tuples of a model that satisfy a formula. Our logic is capable of expressing proportional versions of different problems of complexity up to .-hard, and fragments within our logic capture complexity classes

output

Efficient Approximate Dictionary Look-Up for Long Words over Small Alphabetsn binary query string .. The problem was posed by Minsky and Papert in 1969 as a challenge to data structure design. There is a tradeoff between time and space in solving the problem of answering a .-query. Recently developed time-efficient methods for text indexing with errors can be used to answer

alcoholism

chronicle

掺假