Vivek - PDFSEARCH.IO - Document Search Engine

Vivek
Results: 447

#	Item
51	Predicting Structures in NLP Constrained Conditional Models and Integer Linear Programming Dan Goldwasser, Vivek Srikumar, Dan Roth Add to Reading List Source URL: l2r.cs.illinois.edu Language: English - Date: 2012-06-03 01:08:18
52	Vivek_Medical Backgrounds_28_July_4 Add to Reading List Source URL: www.shpe.org - Date: 2015-12-25 03:09:00
53	Soft Constraints in Integer Linear Programs Vivek Srikumar February 5, 2013 1 Add to Reading List Source URL: l2r.cs.illinois.edu Language: English - Date: 2013-02-14 14:10:12
54	Predicting Structures in NLP Constrained Conditional Models and Integer Linear Programming Dan Goldwasser, Vivek Srikumar, Dan Roth Add to Reading List Source URL: l2r.cs.illinois.edu Language: English - Date: 2012-06-03 01:08:18
55	Race Detection in Two Dimensions Dimitar Dimitrov Martin Vechev Vivek Sarkar Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-03 19:24:30 Graph theory Planar graphs Graph connectivity Series-parallel graph Graph Reachability Lattice graph Topological sorting Trapezoid graph
56	Towards Timed Models for Cyber-Physical Security Protocols Max Kanovich∗ , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§ and Carolyn Talcott¶ ∗ ∗ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:54 Multiplexing Concurrency Diagrams Petri net T-carrier Finite topological space Relaxation Futures and promises Mathematics Abstraction Software engineering
57	Abstract Effects and Proof-Relevant Logical Relations Nick Benton Martin Hofmann Vivek Nigam Add to Reading List Source URL: www.tcs.ifi.lmu.de Language: English - Date: 2015-05-05 05:20:28
58	Task Coarsening Through Polyhedral Compilation for a Macro-Dataflow Programming Model Alina Sbirlea, Louis-Noël Pouchet, Vivek Sarkar Rice University Ohio State University Add to Reading List Source URL: impact.gforge.inria.fr Language: English - Date: 2015-06-05 05:18:51
59	E XPLOITING F ILE S YSTEM AWARENESS FOR I MPROVEMENTS TO S TORAGE V IRTUALIZATION by Vivek Lakshmanan Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2014-04-23 13:14:41
60	PDF Document Add to Reading List Source URL: www.whitehouse.gov Language: English - Date: 2015-02-02 11:36:30 United States Office of Management and Budget United States administrative law Computer security Federal Information Security Management Act Government procurement in the United States USA.gov Vivek Kundra FedRAMP

UPDATE