PCK50

Keyphrases

Publications

2003

Panagiotis Takis Metaxas
Parallel Digital Halftoning by Error-Diffusion. PCK50 (2003)
Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, E. Foustoukos, Irène Guessarian
From CTL to Datalog. PCK50 (2003)
Laurent Michel, Pascal Van Hentenryck
Comet in Context. PCK50 (2003)
Moshe Y. Vardi
A Call to Regularity. PCK50 (2003)
Todd D. Millstein
Static Reasoning about Programs and Queries. PCK50 (2003)
Faron Moller, Scott A. Smolka
On the Computational Complexity of Bisimulation, Redux. PCK50 (2003)
Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman
Distributed Cooperation and Adversity: Complexity Trade-Offs. PCK50 (2003)
Gene Myers
Advances in DNA Sequencing. PCK50 (2003)
Dina Q. Goldin, Ayferi Kutlu, Mingjun Song
Extending The Constraint Database Framework. PCK50 (2003)
PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003 PCK50 (2003)
Christos H. Papadimitriou
The New Problems. PCK50 (2003)
Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi
In Memoriam: Paris C. Kanellakis. PCK50 (2003)
Peter Z. Revesz
A Retrospective on Constraint Databases. PCK50 (2003)
Bernard Chazelle, Carl Kingsford, Mona Singh
The Side-Chain Positioning Problem: A Semidefinite Programming Formulation With New Rounding Schemes. PCK50 (2003)