13383 search results - page 2446 / 2677 » Abstractions from proofs |
113
Voted
ALGORITHMICA
1999
15 years 14 days ago
1999
Abstract. This paper describes the design and implementation of a practical parallel algorithm for Delaunay triangulation that works well on general distributions. Although there h...
127
Voted
INFORMS
1998
15 years 14 days ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
COMPUTER
1999
15 years 14 days ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
89
Voted
CORR
1999
Springer
15 years 13 days ago
1999
Springer
In recent work we have presented a formal framework for linguistic annotation based on labeled acyclic digraphs. These `annotation graphs' oer a simple yet powerful method fo...
133
Voted
DC
1999
15 years 13 days ago
1999
or fault-tolerant asynchronous systems. It abstracts a family of problems known as Agreement (or Coordination) problems. Any solution to consensus can serve as a basic building blo...