Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Source URL: users.ece.cmu.edu

• Software
• Software testing
• Automated theorem proving
• Concolic testing
• Symbolic execution
• Software metrics
• Control flow graph
• KeY
• Code coverage
• Algorithm
• Data-flow analysis
• GNU Core Utilities

Measuring the Street: New Metrics for 21st Century Streets 1 Measuring the Street:

Source URL: objects.dreamhost.com

• Transport
• Land transport
• Transportation planning
• Sustainable transport
• Street furniture
• Road safety
• Walking
• Street
• Traffic calming
• Pedestrian crossing
• Bus lane
• Sidewalk

New examples of Lorentzian metrics admitting timelike closed curves Mike Scherfner Institute of Mathematics, TU Berlin, Germany

Source URL: xtsunxet.usc.es

Latest Assessment of Seismic Station Observations (LASSO) User Guide and Tutorials I. Introduction LASSO (http://lasso.iris.edu) is a software tool, developed by Instrumental Software Technologies Inc. (http://www.isti.c

Source URL: lasso.iris.edu

• Software engineering
• Computing
• Software
• Point and click
• Lasso
• Metrics

Absolute Camera Pose Estimation Scoring Evaluation Goal: Evaluation of several scoring metrics for robust absolute camera pose estimation using RANSAC-based methods Description:

Source URL: www.cvg.ethz.ch

• Random sample consensus
• SRI International
• Computer vision
• Robot control
• Pose
• Information
• Data
• Applied mathematics
• Perspective-n-Point

Measuring progress towards the achievement of Wales’s well-being goals: A discussion paper Introduction The Public Policy Institute for Wales (PPIW) has been asked by the Minister for Natural Resources

Source URL: ppiw.org.uk

• Management
• Measurement
• Economy
• Business intelligence
• Metrics
• Performance indicator
• Indicator
• Quality of life
• Performance measurement
• Science
• Environmental indicator
• Community indicators

Spring_2015 College Target Calculationxlsx

Source URL: daf.csulb.edu

• Full-time equivalent
• Metrics
• Workplace

Tree Search Guoliang Li Motivation Problem Applications Metrics

Source URL: i.cs.hku.hk

• Computer programming
• Graph theory
• Software engineering
• Data types
• Recursion
• Tree traversal
• R-tree
• B-tree
• Tree
• Graph edit distance

2014 IEEE International Conference on Pattern Recognition (To Appear) On Performance Evaluation Metrics for Lane Estimation Ravi Kumar Satzoda and Mohan M. Trivedi Laboratory for Intelligent and Safe Automobiles, Univer

Source URL: cvrr.ucsd.edu

• Statistics
• Intelligent transportation system
• Transportation engineering
• Lane departure warning system
• Lane
• Random sample consensus
• Hough transform