First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2012-12-28 00:19:24Open Document File Size: 82,21 KBShare Result on FacebookCitySantos / New York / /CompanyAvaya Laboratories / JAI Press / SIAM Journal / Minimizing Real-Time Transition Systems / Bell Laboratories / ACM-SIGMOD Intl / Computing Succinct Trade / 7th Annual Intl / Bell Labs / Database Systems / Recursive Probabilistic Systems / Rutgers-Princeton-Bell Labs / Real Time Systems / Pushdown Systems / Bell Labs-AT&T Labs / / /EntertainmentAwardEventAlgorithmic Game Theory Databases Testing and Verification Awards / /FacilityElectrical Engineering National Technical University of Athens / Computer Science Columbia University / University Percy K. / Computer Science Princeton University / /NaturalFeatureOpposing Forests / /OrganizationRutgers / Columbia University / National Academy of Engineering / Stanford University / Board of Governors / Oxford Univ. / Mathematics and Artificial Intelligence / Princeton University / Institute for Mathematics / NSF STC Center for Discrete Mathematics / Advisory Board / National Technical University of Athens / Association for Computing Machinery / /PersonReview / Batch Sizing / A. V. Aho / N. Garg / V / Murray Hill / Nat / Nash Equilibria / Y. Sagiv / John Wiley / Algorithmica / Job Sequencing / D. Maier / / /PositionNJ Director / Model Checking / President / Program Chair / Traveling Salesman / Co-chair / Conference Chair / Member of Technical Staff / Professor of Computer Science August / Professor of Computer Science October / /ProgrammingLanguageDatalog / K / /ProvinceOrStateNew York / /PublishedMediumSIAM Journal on Computing / Annals of Mathematics / Logical Methods in Computer Science / Theoretical Computer Science / Theory of Computing / /TechnologyApproximation Algorithms / Network Protocols / /SocialTag |