Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
181	RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Software Computing Application software Functional languages Cat Symbolic execution ARG2 ARG1 R
182	Teacher Notes for Integrals Compatibility: TI-83+/83+SE/84+/84+SE Run The Program Called: INTEGRAL X Summary This program provides a graphical display and numerical answers for areas under and between functions. It prove Add to Reading List Source URL: www.calculatorsoftware.co.uk Language: English - Date: 2013-01-27 17:16:14 Mathematical analysis Numerical integration Integral Integral calculus Trapezoidal rule Numerical analysis Pi Lebesgue integration Improper integral Symbolic integration
183	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:31:56 Graph theory Mathematics Model checking Theoretical computer science Graph Binary decision diagram Tree Circuit Symbolic trajectory evaluation Signal-flow graph Topology
184	Scalable Continuous Range Monitoring of Moving Objects in Symbolic Indoor Space Bin Yang1,2 Hua Lu1 Christian S. Jensen1 1 Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2009-08-03 07:39:51 Computer science Mathematics Computing Data mining Discrete geometry Nearest neighbor search Numerical analysis Range query Bin
185	Formalizing Symbolic Decision Procedures \| {z in Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-11-16 04:08:00 Formal languages Regular language Regular expression Brzozowski derivative Symbol Theoretical computer science Grammar Metalogic
186	Symbolic and Direct Sequential Modeling of Prosody for Classification of Speaking-Style and Nativeness Andrew Rosenberg Department of Computer Science, Queens College (CUNY), USA Add to Reading List Source URL: speech.cs.qc.cuny.edu Language: English - Date: 2012-10-05 14:14:23 Prosody Linguistics Tone Phonology Phonetics Systemic functional linguistics ToBI Intonation Julia Hirschberg Prosodic unit Pitch accent Boundary tone
187	All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution Add to Reading List Source URL: oakland31.cs.virginia.edu Language: English - Date: 2010-05-19 11:16:51 Carnegie Mellon University Concolic testing Taint checking Mellon Symbolic execution Software engineering
188	133 Documenta Math. Ergodic Properties and KMS Conditions on C ∗ -Symbolic Dynamical Systems Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2011-04-22 12:51:17 Mathematical analysis Mathematics Algebra Ergodic theory Stochastic processes Probability theory Symbol Ergodicity PerronFrobenius theorem Invariant measure Approximately finite-dimensional C*-algebra Dynamical system
189	Dimensionality Reduction using Symbolic Regression Extended Abstract 1 Ilknur Icke1 Add to Reading List Source URL: eniac.cs.qc.cuny.edu Language: English - Date: 2011-03-10 09:53:03 Statistics Multivariate statistics Machine learning Data analysis Statistical classification Learning Dimension reduction Business intelligence Dimensionality reduction Principal component analysis Multidimensional scaling Data classification
190	Nullspace computation over rational function fields for symbolic summation Bur¸cin Er¨ocal RISC Johannes Kepler University Linz, Austria, A-4040 Add to Reading List Source URL: erocal.org Language: English - Date: 2013-03-16 14:14:30 Algebra Mathematics Linear algebra Computer algebra Matrices Matrix theory Polynomial Matrix Finite field Invertible matrix Symbolic computation Kernel