3228 search results - page 257 / 646 » Computationally Sound Proofs |
124
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
An algorithm M is described that solves any well-defined problem p as quickly as the fastest algorithm computing a solution to p, save for a factor of 5 and loworder additive term...
129
click to vote
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
The study of genome rearrangements is an important tool in comparative genomics. This paper revisits the problem of sorting a multichromosomal genome by translocations, i.e. exchan...
202
click to vote
PODC
2012
ACM
13 years 7 months ago
2012
ACM
The BGP (Border Gateway Protocol) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by ...
168
click to vote
SIGGRAPH
1999
ACM
15 years 9 months ago
1999
ACM
Realistic acoustic modeling is essential for spatializing sound in distributed virtual environments where multiple networked users move around and interact visually and aurally in...
133
click to vote
FOCS
1998
IEEE
15 years 9 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...