Reachability - PDFSEARCH.IO - Document Search Engine

Reachability
Results: 243

#	Item
161	Comments on “Stack-based Algorithms for Pattern Matching on DAGs” Qiang Zeng1 Hai Zhuge2 Add to Reading List Source URL: vldb.org Language: English - Date: 2012-03-24 02:44:32 Game artificial intelligence Mathematics Artificial intelligence A* search algorithm Reachability Applied mathematics Search algorithms Combinatorial optimization Routing algorithms
162	Incremental and Accuracy-Aware Personalized PageRank ∗ through Scheduled Approximation Fanwei Zhu † , Yuan Fang #? , Kevin Chen-Chuan Chang #? , Jing Ying † † Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-06-29 06:27:51 Link analysis Markov models Crowdsourcing PageRank Search engine optimization Reachability Decomposition method FO Graph coloring Theoretical computer science Graph theory Mathematics
163	On Bounded Reachability of Programs with Set Comprehensions Margus Veanes1 and Ando Saabas2? 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2009-01-06 12:05:39 Formal methods Complexity classes Computability theory Metalogic NP-complete problems FO Model theory First-order logic P Theoretical computer science Computational complexity theory Applied mathematics
164	REACHABILITY IN VECTOR ADDITION SYSTEMS DEMYSTIFIED arXiv:1503.00745v1 [cs.LO] 2 Mar 2015 ´ OME Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-04 03:33:45 Order theory General topology Scheme theory Algebraic structures Ideals Proj construction Model theory Sheaf Net Mathematics Abstract algebra Topology
165	6.241J Course Notes, Chapter 22: Reachability of DT LTI systems Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2015-03-15 16:14:41 Control theory Matrix theory Singular value decomposition Eigenvalues and eigenvectors Rank Diagonalizable matrix Controllability Algebra Mathematics Linear algebra
166	IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE arXiv:1402.0705v2 [cs.LO] 25 Sep[removed]SYLVAIN SCHMITZ Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-04 05:44:40 Deduction Rules of inference Converse Traditional logic Entailment Reachability Sequent calculus Implicational propositional calculus Logic Propositional calculus Proof theory
167	Illustrating Stepwise Refinement Shortest Path ASMs Egon Börger Dipartimento di Informatica, Universita di Pisa Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-11-02 07:23:18 Search algorithms Graph connectivity Abstract state machines Egon Börger Breadth-first search Graph Shortest path problem Reachability Graph theory Theoretical computer science Mathematics
168	Network Monitoring and Management SNMPc Enterprise “SNMPc Enterprise Edition’s polling feature allows us to verify the availability and reachability of critical network components resulting in increased uptime/netwo Add to Reading List Source URL: www.castlerock.com Language: English - Date: 2014-02-06 16:47:01 System software System administration Multi-agent systems Internet protocols Internet standards Simple Network Management Protocol Netflow IPv6 Network switch Network management Computing Information technology management
169	2011 .se Health Status Internet Reachability Internet reachability 2011.se Health Status Add to Reading List Source URL: www.iis.se Language: English - Date: 2013-09-02 04:01:56 Computing Domain Name System Security Extensions Domain name Name server Top-level domain Whois DNS zone Root name server Domain name system Internet Network architecture
170	The Set Constraint/CFL Reachability Connection in Practice John Kodumal Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-04-22 02:37:00 Network flow Graph connectivity Reachability Flow network Transitive closure SL Constraint graph Graph Directed acyclic graph Graph theory Theoretical computer science Mathematics

UPDATE