1140 search results - page 14 / 228 » Progress on Certifying Algorithms |
113
click to vote
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract This paper presents a new evolutionary method, namely, a Two Phase evolutionary algorithm for multiple sequence alignments. This method is composed of different types of e...
110
click to vote
AAAI
1996
15 years 1 months ago
1996
Anytime algorithms offer a tradeoff between solution quality and computation time that has proved useful in applying artificial intelligence techniques to time-critical problems. ...
CG
2002
Springer
15 years 7 days ago
2002
Springer
Recently, we proposed a new isosurface extraction algorithm that extracts portions of the isosurface in a viewdependent manner by ray casting and propagation. The algorithm casts ...
92
Voted
TLDI
2003
ACM
15 years 5 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
106
Voted
CCCG
2008
15 years 1 months ago
2008
We prove a tight asymptotic bound of ( log(n/)) on the worst case computational complexity of the convex hull of the union of two convex objects of sizes summing to n requiring o...