Finding Your Cronies:  Static Analysis for Dynamic Object Colocation Samuel Z. Guyer Kathryn S. McKinley

Source URL: www.cs.utexas.edu

• Computing
• Software engineering
• Data types
• Memory management
• Static program analysis
• Primitive types
• Object-oriented programming languages
• Colocation centre
• Escape analysis
• Garbage collection
• Garbage
• Reference

Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland

Source URL: se.inf.ethz.ch

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Logic in computer science
• Object-oriented programming
• Postcondition
• Random testing
• Eiffel
• General-purpose computing on graphics processing units
• Test data generation

UseLab Sp. z o. o. respect a privacy of www.uselab.pl Users. The implementation of this policy aims to inform Users how they can protect their privacy during using the Service. Therefore, we encourage you to familiarize

Source URL: www.uselab.pl

• Internet privacy
• Hypertext Transfer Protocol
• Computing
• Computer access control
• HTTP cookie
• Computer security
• Cyberspace
• Local shared object
• Session
• Evercookie
• Secure cookies

3d object size: x: 2 ft 1.34 in y: 2 ft 1.35 in z: 1 ft 1.36 in Nparts: 18 2d cut path size: x: 4 ft 0.43 in y: 5 ft 2.01 in Nparts: 18

Source URL: laminadesign.com

BRISK: Binary Robust Invariant Scalable Keypoints Stefan Leutenegger, Margarita Chli and Roland Y. Siegwart Autonomous Systems Lab, ETH Z¨urich {stefan.leutenegger, margarita.chli, and roland.siegwart}@mavt.ethz.ch Abs

Source URL: www.margaritachli.com

• Feature detection
• Scale-invariant feature transform
• GLOH
• Speeded up robust features
• Corner detection
• Outline of object recognition
• Interest point detection
• Feature
• X-ray photoelectron spectroscopy
• Visual descriptor
• RANSAC
• JPEG

Galaxy Evolution Spectroscopic Surveyor (GESS) S. Heap, GSFC GESS will survey the galaxies at redshifts, z~1-2 in the near-ultraviolet (restframe far- ultraviolet). GESS is a UV multi-object spectrograph (MOS) with insta

Source URL: cor.gsfc.nasa.gov

Let the deformation of the object in intrest, U = (ux(x,y,z), uy(x,y,z), uz(x,y,z))

Source URL: www.nervenet.org

• Mathematical analysis
• Mathematics
• Discrete wavelet transform
• Wavelets
• Orthogonal wavelet
• Biorthogonal wavelet

Linear Time Nonparametric Classification and Feature Selection with Polynomial MPMC Cascades for large datasets Markus Breitenbach1 , Sander M. Bohte1,2 , and Gregory Z. Grudic1 1

Source URL: markus-breitenbach.com

• Applied mathematics
• Linear classifier
• Ensemble learning
• Time complexity
• Support vector machine
• Algorithm
• Computational complexity theory
• Stability
• Boosting methods for object categorization
• Machine learning
• Statistics
• Statistical classification

Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of

Source URL: homes.cs.washington.edu

• Programming language theory
• Data types
• Object-oriented programming
• Polymorphism
• Alloy
• Z notation
• Type system
• Subtype polymorphism
• Daniel Jackson
• Software engineering
• Type theory
• Computing

Applying Probabilistic Thematic Clustering for Classification in the TREC 2005 Genomics Track Z. H. Zheng, S. Brady, A. Garg, H. Shatkay School of Computing, Queen’s University Kingston, Ontario, Canada {zhi, 1sb1, 2ag

Source URL: trec.nist.gov

• Binary classification
• Naive Bayes classifier
• Support vector machine
• Classifier
• Boosting methods for object categorization
• Bag of words model in computer vision
• Statistics
• Statistical classification
• Machine learning