All
txt (20k+)
ccepted papers for FOCS 2004 sorted in submission order Lattice problems in NP intersect coNP Dorit Aharonov and Oded Regev An Optimal Randomised Cell Probe Lower Bound for Approximate Nearest Neighbour Searching Amit Chakrabarti and Oded Regev On the Power of Discrete and of Lexicographic Helly Type Theorems Nir Halman Strong Spatial Mixing for La...
.txthttp://www.cs.brown.edu/people/aris/focs04/accepted.txt
ub Constant Error Low Degree Test of Almost Linear Size Dana Moshkovitz and Ran Raz Extractors for a Constant Number of Polynomial Min Entropy Independent Sources Anup Rao Zero knowledge against quantum attacks John Watrous Hyperbolic Polynomials Approach to Van der Waerden Schrijver Valiant like Conjectures Leonid Gurvits Narrow Proofs May Be Spac...
.txthttp://www.cs.cornell.edu/Research/stoc06/accepted.txt
MODEL BASED APPROACH FOR DEBUGGING EMBEDDED SYSTEMS IN REAL TIME Padma Iyenghar Clemens Westerkamp Juergen Wuebbelmann and Elke Pulvermueller A RELIABLE MTD DESIGN FOR MLC FLASH MEMORY STORAGE SYSTEMS Yuan Hao Chang and Tei Wei Kuo A UNIFYING VIEW OF LOOSELY TIME TRIGGERED ARCHITECTURES Albert Benveniste Anne Bouillard and Paul Caspi AUTOMATIC VERI...
.txthttp://ptolemy.berkeley.edu/conferences/10/emsoft10/accepted.txt
...LIST OF PAPERS ACCEPTED FOR WSCA 2007 3 Arthur Hibner and K Zielinski Semantic based Dynamic Service Composition and Adaptation 5 Daniela Claro Patrick Albers and Jin Kao Hao A Framework for Automatic Composition of RFQ Web Services 6 Joerg Hoffmann Tomasz Kaczmarek James Scicluna and Ingo Weber...
.txthttp://www.cild.iastate.edu/wsca/accepted.txt
MODEL BASED APPROACH FOR DEBUGGING EMBEDDED SYSTEMS IN REAL TIME Padma Iyenghar Clemens Westerkamp Juergen Wuebbelmann and Elke Pulvermueller A RELIABLE MTD DESIGN FOR MLC FLASH MEMORY STORAGE SYSTEMS Yuan Hao Chang and Tei Wei Kuo A UNIFYING VIEW OF LOOSELY TIME TRIGGERED ARCHITECTURES Albert Benveniste Anne Bouillard and Paul Caspi AUTOMATIC VERI...
.txthttp://ptolemy.eecs.berkeley.edu/conferences/10/emsoft10/accepted.txt
...Accepted Papers Using Transaction Isolation Levels for Ensuring Replicated Database Consistency in Mobile Computing Environments Jose Monteiro PUC Rio Brazil Angelo Brayner Univ of Fortaleza Brazil and Sergio Lifschitz PUC Rio Brazil Bandwidth constrained Distributed Skyline Computation Vlachou...
.txthttp://www.cs.fsu.edu/mobide09/accepted.txt
...WDB LIST OF ACCEPTED PAPERS out of 70 submissions 1 The Visual Semantic Web Unifying Human and Machine Semantic Web Representations with Object Process Methodology Dov Dori Technion Israel and MIT USA 10 Applications of PSL to Semantic Web Services Michael Gruninger University of Maryland College...
.txthttp://www.cs.uic.edu/~ifc/SWDB/accepted.txt
[ A list of the provisionally accepted papers ] he Public Option A non regulatory alternative to Network Neutrality Richard T B Ma National University of Singapore Vishal Misra Columbia University Reclaiming the White Spaces Spectrum Efficient Coexistence with Primary Users George P Nychis Carnegie Mellon University Ranveer Chsandra Microsoft Research Thomas Moscibroda Microsoft Research Ivan Ta...
.txthttp://conferences.sigcomm.org/co-next/2011/accepted-papers.txt
he paper title and or authors listed here appear as originally received All paper titles and authors will be listed correctly in the final printed program distributed on site FPTAS for Mixed integer Polynomial Optimization with a Fixed Number of Variables J A De Loera R Hemmecke M Koeppe and R Weismantel Critical Chromatic Number and the Complexity...
.txthttp://www.siam.org/meetings/da06/accepted_papers.txt
Observations on the Assured Evolution of Concurrent Java Programs Aaron Greenhouse William L Scherlis Timothy J Halloran Carnegie Mellon University Snapshots and Software Transactional Memory Christopher Cole Northrop Grumman Corporation and Brown University Maurice Herlihy Brown University Exclusion Control for Java and C Experimenting with Granul...
.txthttp://www.podc.org/podc2004/csjp-accepted.txt