Ravenswood Park - PDFSEARCH.IO - Document Search Engine

Ravenswood Park
Results: 29

#	Item
1	Symbolic Systems Biology and Pathway Logic Patrick Lincoln and Carolyn Talcott SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [lincoln,clt]@csl.sri.com Add to Reading List Source URL: pl.csl.sri.com Language: English - Date: 2018-08-10 18:50:28
2	Pathway Logic Carolyn Talcott? SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025, USA Add to Reading List Source URL: pl.csl.sri.com Language: English - Date: 2018-08-10 18:50:28
3	Notes for the panel “Privacy Issues in WWW and Data Mining”∗ Pierangela Samarati† Computer Science Laboratory SRI International 333 Ravenswood Avenue Menlo Park, CA 94025, USA Add to Reading List Source URL: spdp.di.unimi.it Language: English - Date: 2012-12-10 09:50:05
4	Securing the Software-Defined Network Control Layer Phillip Porras, Steven Cheung, Martin Fong, Keith Skinner, and Vinod Yegneswaran Computer Science Laboratory, SRI International 333 Ravenswood Avenue, Menlo Park, CA 94 Add to Reading List Source URL: www.csl.sri.com - Date: 2014-12-07 16:47:18
5	As printed in IEEE Technology and Society Winter, Cornerstones for an On-line Community of Education Professionals Mark Schlager Judith Fusco Patricia Schank SRI International 333 Ravenswood Avenue, Menlo Park, Add to Reading List Source URL: www.tappedin.org - Date: 2014-09-04 15:31:33
6	A Collaborative Environment for Authoring Large Knowledge Bases Peter D. Karp, Vinay K. Chaudhri, Suzanne M. Paley Articial Intelligence Center SRI International 333 Ravenswood Avenue, Menlo Park, CA, 94025, USA Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2006-07-25 21:59:05
7	Coordinate Systems and Terrain Reusability Susanne Z. Riehemann SRI International 333 Ravenswood Ave Menlo Park, CA 94025 Add to Reading List Source URL: doors.stanford.edu Language: English - Date: 2009-10-14 02:05:28
8	A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Logic Mathematics Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Simplex algorithm Satisfiability
9	Assembling a parallel corpus from RSS news feeds John Fry Artificial Intelligence Center SRI International 333 Ravenswood Avenue Menlo Park, CAUSA Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2005-09-07 20:38:34