Stem like$ (all stems)

254 papers:

CASE-2015-ZhuQZ #clustering #modelling #multi #petri net #scheduling #tool support

Petri net modeling and one-wafer scheduling of single-arm tree-like multi-cluster tools (QZ, YQ, MZ), pp. 292–297.

HT-2015-JangHL #process

No Reciprocity in “Liking” Photos: Analyzing Like Activities in Instagram (JYJ, KH, DL), pp. 273–282.

HT-2015-MagdyDW #quote #twitter

“I like ISIS, but I want to watch Chris Nolan’s new movie”: Exploring ISIS Supporters on Twitter (WM, KD, IW), pp. 321–322.

VLDB-2015-HanD #execution #graph #parallel

Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.

MSR-2015-HellendoornDB #modelling

Will They Like This? Evaluating Code Contributions with Language Models (VH, PTD, AB), pp. 157–167.

SCAM-2015-PanditaJSW #api #mining #using

Discovering likely mappings between APIs using text mining (RP, RPJ, SDS, LAW), pp. 231–240.

LATA-2015-BeyersdorffCS #game studies

A Game Characterisation of Tree-like Q-resolution Size (OB, LC, KS), pp. 486–498.

CHI-2015-AndristMT #motivation

Look Like Me: Matching Robot Personality via Gaze to Increase Motivation (SA, BM, AT), pp. 3603–3612.

CHI-2015-JangHSL #comparative #generative

Generation Like: Comparative Characteristics in Instagram (JYJ, KH, PCS, DL), pp. 4039–4042.

CHI-2015-LucaHZH #authentication #comprehension #exclamation #smarttech #towards

I Feel Like I’m Taking Selfies All Day!: Towards Understanding Biometric Authentication on Smartphones (ADL, AH, EvZ, HH), pp. 1411–1414.

CSCW-2015-LiuIP #comprehension #how #maintenance #quote

“I’m Not Like My Friends”: Understanding How Children with a Chronic Illness Use Technology to Maintain Normalcy (LSL, KMI, WP), pp. 1527–1539.

CSCW-2015-LiZLDG #collaboration #editing #trade-off #wiki

Is It Good to Be Like Wikipedia?: Exploring the Trade-offs of Introducing Collaborative Editing Model to Q&A Sites (GL, HZ, TL, XD, NG), pp. 1080–1091.

CSCW-2015-SleeperACKMS #behaviour #network #social

I Would Like To..., I Shouldn’t..., I Wish I...: Exploring Behavior-Change Goals for Social Networking Sites (MS, AA, LFC, PGK, SAM, NMS), pp. 1058–1069.

DHM-EH-2015-MaruyamaKD #adaptation #scalability #simulation

MoCap-Based Adaptive Human-Like Walking Simulation in Laser-Scanned Large-Scale as-Built Environments (TM, SK, HD), pp. 193–204.

ICML-2015-YangX #algorithm #framework

A Unified Framework for Outlier-Robust PCA-like Algorithms (WY, HX), pp. 484–493.

KDD-2015-WangCMBYR #predict

Dynamic Poisson Autoregression for Influenza-Like-Illness Case Count Prediction (ZW, PC, SRM, JSB, JY, NR), pp. 1285–1294.

RecSys-2015-KapoorKTKS #adaptation #quote

“I like to explore sometimes”: Adapting to Dynamic User Novelty Preferences (KK, VK, LGT, JAK, PRS), pp. 19–26.

SIGIR-2015-BastBH

Relevance Scores for Triples from Type-Like Relations (HB, BB, EH), pp. 243–252.

MoDELS-2015-Easterbrook #modelling

Modelling the climate system: Is model-based science like model-based engineering? (Keynote) (SME), p. 1.

Onward-2015-PolitoDBF #framework

A bootstrapping infrastructure to build and extend Pharo-like languages (GP, SD, NB, LF), pp. 183–196.

ICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread

Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.

LICS-2015-BienvenuKP #complexity #owl #query

Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results (MB, SK, VVP), pp. 317–328.

CASE-2014-EderKKR #architecture

Continuum worm-like robotic mechanism with decentral control architecture (ME, MK, AK, SR), pp. 866–871.

CASE-2014-HabibDBHP #android #learning

Learning human-like facial expressions for Android Phillip K. Dick (AH, SKD, ICB, DH, DOP), pp. 1159–1165.

VLDB-2014-HanDAOWJ #comparison #graph

An Experimental Comparison of Pregel-like Graph Processing Systems (MH, KD, KA, MTÖ, XW, TJ), pp. 1047–1058.

VLDB-2014-SalihogluW #algorithm #graph #optimisation

Optimizing Graph Algorithms on Pregel-like Systems (SS, JW), pp. 577–588.

MSR-2014-TiarksM #development #how #mobile #question #tutorial

How does a typical tutorial for mobile development look like? (RT, WM), pp. 272–281.

CHI-2014-BakhshiSG

Faces engage us: photos with faces attract more likes and comments on Instagram (SB, DAS, EG), pp. 965–974.

CSCW-2014-MarkGKJ #enterprise #social #social media

Most liked, fewest friends: patterns of enterprise social media use (GM, IG, SKD, MJ), pp. 393–404.

DUXU-DP-2014-BuchdidPB #aspect-oriented #persuasion

You Can Interact with Your TV and You May Like It an Investigation on Persuasive Aspects for an iDTV Application (SBB, RP, MCCB), pp. 208–219.

DUXU-DP-2014-RizvanogluOA

The Impact of Human Likeness on the Older Adults’ Perceptions and Preferences of Humanoid Robot Appearance (KR, ÖÖ, ÖA), pp. 164–172.

LCT-TRE-2014-LorenzK #exclamation #online

If I Do Not Like Your Online Profile I Will Not Hire You! (BL, KK), pp. 429–439.

ICEIS-v3-2014-BaldominosCC #approach #information management #interactive

An Approach to Circumstantial Knowledge Management for Human-Like Interaction (AB, FJCG, DC), pp. 71–78.

ICPR-2014-JinIHS #approach #using

A New Approach of Arc Skeletonization for Tree-like Objects Using Minimum Cost Path (DJ, KSI, EAH, PKS), pp. 942–947.

KR-2014-GutierrezHW #concurrent #reasoning

Reasoning about Equilibria in Game-Like Concurrent Systems (JG, PH, MW).

RecSys-2014-KellerR #e-commerce #framework #named #recommendation

Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems (TK, MR), pp. 367–368.

RE-2014-GuzmanM #analysis #fine-grained #how #sentiment

How Do Users Like This Feature? A Fine Grained Sentiment Analysis of App Reviews (EG, WM), pp. 153–162.

SAC-2014-IturriozAD #monitoring

Generalizing the “like” button: empowering websites with monitoring capabilities (JI, IA, OD), pp. 743–750.

SAC-2014-RaadE #integration #ontology

Is ontology alignment like analogy?: knowledge integration with LISA (ER, JE), pp. 294–301.

FSE-2014-Villavicencio #maintenance

Software maintenance like maintenance in other engineering disciplines (GV), pp. 853–856.

LICS-CSL-2014-Chen #first-order #query #set

The tractability frontier of graph-like first-order query sets (HC), p. 9.

VLDB-2014-TianBCTM13 #graph

From “Think Like a Vertex” to “Think Like a Graph” (YT, AB, SAC, ST, JM), pp. 193–204.

CHI-2013-JacobsBSGPG #what

A conversation between trees: what data feels like in the forest (RJ, SB, MS, MG, DP, GG), pp. 129–138.

DUXU-WM-2013-Hsu #design

A Service Design on Driving Like Living (HPH), pp. 666–672.

ICEIS-v3-2013-BorgesRMS #facebook #privacy

Who Is This Guy Who Liked My Picture? — Privacy Control Mechanisms on Facebook for Generations X and Y (GB, TR, CM, PCdS), pp. 179–186.

ICML-c3-2013-YangX #algorithm #robust

A Unified Robust Regression Model for Lasso-like Algorithms (WY, HX), pp. 585–593.

SAC-OOPS-J-2009-BettiniCD13 #flexibility #java #on the

On flexible dynamic trait replacement for Java-like languages (LB, SC, FD), pp. 907–932.

SAC-2013-Bettini #implementation #java #semantics #xtext

Implementing Java-like languages in Xtext with Xsemantics (LB), pp. 1559–1564.

SAC-2013-SilvaC #exception #interface #java

New exception interfaces for Java-like languages (TBLS, FC), pp. 1661–1666.

ICSE-2013-GokhaleGP #api

Inferring likely mappings between APIs (AG, VG, YP), pp. 82–91.

ASPLOS-2013-SahooCGA #automation #fault #invariant #locality #using

Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.

CGO-2013-ArthurMRAB #debugging #named #profiling #scalability #security

Schnauzer: scalable profiling for likely security bug sites (WA, BM, RR, TMA, VB), p. 11.

SCAM-2012-VinjuG #complexity #control flow #metric #what

What Does Control Flow Really Look Like? Eyeballing the Cyclomatic Complexity Metric (JJV, MWG), pp. 154–163.

SCAM-2012-Zambon #bytecode #java #obfuscation

Aucsmith-Like Obfuscation of Java Bytecode (AZ), pp. 114–119.

PLDI-2012-OhHLLY #analysis #design #implementation

Design and implementation of sparse global analyses for C-like languages (HO, KH, WL, WL, KY), pp. 229–238.

CHI-2012-MerrittM

Protecting artificial team-mates: more seems like less (TRM, KM), pp. 2793–2802.

HILT-2012-Leino12a #proving #using #verification #why

Program proving using intermediate verification languages (IVLs) like boogie and why3 (KRML), pp. 25–26.

ICPR-2012-IkemuraF #detection #using

Human detection by Haar-like filtering using depth information (SI, HF), pp. 813–816.

ICPR-2012-KawabataK #approach #multi #using

Plane based multi camera calibration under unknown correspondence using ICP-like approach (SK, YK), pp. 3700–3703.

KDD-2012-Li #problem

Nine real hard problems we’d like you to solve (RL), p. 1.

PPoPP-2012-LeissaHW #programming

Extending a C-like language for portable SIMD programming (RL, SH, IW), pp. 65–74.

SAT-2012-BurgKK #clustering #re-engineering #satisfiability

Creating Industrial-Like SAT Instances by Clustering and Reconstruction — (Poster Presentation) (SB, SK, MK), pp. 471–472.

DATE-2011-WuWWZLXY #architecture #parallel #programming

Gemma in April: A matrix-like parallel programming architecture on OpenCL (TW, DW, YW, XZ, HL, NX, HY), pp. 703–708.

ICDAR-2011-AgrawalD #documentation #image

Stroke-Like Pattern Noise Removal in Binary Document Images (MA, DSD), pp. 17–21.

VLDB-2011-ChenVWOO #framework #in the cloud

A Framework for Supporting DBMS-like Indexes in the Cloud (GC, HTV, SW, BCO, MTÖ), pp. 702–713.

DLT-J-2010-HolzerK11 #complexity

The Complexity of Regular(-like) Expressions (MH, MK), pp. 1533–1548.

CHI-2011-ChoiHLLL #interactive #named

RemoteTouch: touch-screen-like interaction in the tv viewing environment (SC, JH, GL, NL, WL), pp. 393–402.

CHI-2011-SchwindBH #recommendation

I will do it, but i don’t like it: user reactions to preference-inconsistent recommendations (CS, JB, FWH), pp. 349–352.

CHI-2011-WilsonHBH #feedback #mobile

Some like it hot: thermal feedback for mobile devices (GW, MH, SAB, SAH), pp. 2555–2564.

HCI-MIIE-2011-AhmadTSSK #framework #interactive

Guess Who? An Interactive and Entertaining Game-Like Platform for Investigating Human Emotions (MIA, HT, MS, SS, EK), pp. 543–551.

ECIR-2011-BuccioMS #framework #predict #towards #using

Towards Predicting Relevance Using a Quantum-Like Framework (EDB, MM, DS), pp. 755–758.

KDD-2011-JinWLYH #mining #named #network #power of #social #social media

LikeMiner: a system for mining the power of “like” in social media networks (XJ, CW, JL, XY, JH), pp. 753–756.

SEKE-2011-BudiLLJW #architecture #automation #design #detection

Automated Detection of Likely Design Flaws in N-Tier Architectures (AB, L, DL, LJ, SW), pp. 613–618.

ICSE-2011-StoleeE #refactoring

Refactoring pipe-like mashups for end-user programmers (KTS, SGE), pp. 81–90.

PPoPP-2011-JeonGLVT #named #parallel

Kremlin: like gprof, but for parallelization (DJ, SG, CML, SKV, MBT), pp. 293–294.

CAV-2011-MullerP #hardware #interface #verification

Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus (CAM, WJP), pp. 633–648.

SAT-2011-AbioDNS

Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (IA, MD, RN, PJS), pp. 273–286.

DATE-2010-ChenLTL #design #power management #standard

Power gating design for standard-cell-like structured ASICs (SYC, RBL, HHT, KWL), pp. 514–519.

VLDB-2010-DittrichQJKSS

Hadoop++: Making a Yellow Elephant Run Like a Cheetah (Without It Even Noticing) (JD, JAQR, AJ, YK, VS, JS), pp. 518–529.

ICPC-2010-FalleriHLNPD #automation #identifier #network

Automatic Extraction of a WordNet-Like Identifier Network from Software (JRF, MH, ML, CN, VP, MD), pp. 4–13.

WCRE-2010-AthanasopoulosK #identification #legacy

Identification of REST-like Resources from Legacy Service Descriptions (MA, KK), pp. 215–219.

DLT-2010-HolzerK #complexity

The Complexity of Regular(-Like) Expressions (MH, MK), pp. 16–30.

ICGT-2010-Modica #analysis #communication #formal method #modelling #petri net

Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.

CHI-2010-BaumerST

America is like Metamucil: fostering critical and creative thinking about metaphor in political blogs (EPSB, JS, BT), pp. 1437–1446.

ICPR-2010-Landesa-VazquezA #detection

The Role of Polarity in Haar-like Features for Face Detection (ILV, JLAC), pp. 412–415.

OOPSLA-2010-ServettoZ #composition #java #named

MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.

SAC-2010-FlouriMJ #automaton #multi

Aho-Corasick like multiple subtree matching by pushdown automata (TF, BM, JJ), pp. 2157–2158.

ICSE-2010-BurnimS #named #parallel #source code #specification #thread

DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.

DAC-2009-George #how

How to make computers that work like the brain (DG), pp. 420–423.

DATE-2009-BhagawatDC #architecture #detection

Systolic like soft-detection architecture for 4×4 64-QAM MIMO system (PB, RD, GC), pp. 870–873.

ICPC-2009-BaysalGC #automation #debugging #framework

A bug you like: A framework for automated assignment of bugs (OB, MWG, RC), pp. 297–298.

DLT-2009-BucciLL #word

Rich and Periodic-Like Words (MB, AdL, ADL), pp. 145–155.

DLT-2009-ManeaMS

Some Remarks on Superposition Based on Watson-Crick-Like Complementarity (FM, VM, JMS), pp. 372–383.

CHI-2009-Ljungblad #what

Passive photography from a creative perspective: “If I would just shoot the same thing for seven days, it’s like... What’s the point?” (SL), pp. 829–838.

CHI-2009-MorrisonOPLJRNJ #artificial reality #case study #comparative #mobile

Like bees around the hive: a comparative study of a mobile augmented reality map (AM, AO, PP, SL, GJ, GR, JN, AJ), pp. 1889–1898.

OCSC-2009-DohiI #interface

A Life-Like Agent Interface System with Second Life Avatars on the OpenSimulator Server (HD, MI), pp. 182–190.

SIGIR-2009-ZhangL #query #question #web #what

What queries are likely to recur in web search? (DZ, JL), pp. 827–828.

PPDP-2009-KaiserL #higher-order #traversal

An Isabelle/HOL-based model of stratego-like traversal strategies (MK, RL), pp. 93–104.

RTA-2009-Ketema

Comparing Böhm-Like Trees (JK), pp. 239–254.

FASE-2008-SmansJPS #automation #java #source code #verification

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames (JS, BJ, FP, WS), pp. 261–275.

DLT-J-2007-Csuhaj-VarjuPV08

Tissue-Like P Systems with Dynamically Emerging Requests (ECV, GP, GV), pp. 729–745.

ICGT-2008-Pennemann #proving #theorem proving

Resolution-Like Theorem Proving for High-Level Conditions (KHP), pp. 289–304.

SIGAda-2008-GiccaB #question

GNAT BoF: where would you like to see GNAT go? (GG, BMB), pp. 139–140.

ICPR-2008-ChenA #recognition

Recognition of box-like objects by fusing cues of shape and edges (CCC, JKA), pp. 1–5.

ICPR-2008-RabinDG

A contrario matching of SIFT-like descriptors (JR, JD, YG), pp. 1–4.

OOPSLA-2008-NaeemL #analysis #multi

Typestate-like analysis of multiple interacting objects (NAN, OL), pp. 347–366.

TOOLS-EUROPE-2008-BettiniBV #composition #java

Object Incompleteness and Dynamic Composition in Java-Like Languages (LB, VB, BV), pp. 198–217.

ISSTA-2008-KannanS #data type #execution #generative #invariant #symbolic computation

Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.

ISSTA-2008-SankaranarayananCIG #learning

Dynamic inference of likely data preconditions over predicates by tree learning (SS, SC, FI, AG), pp. 295–306.

CASE-2007-AramakiNKHT #interface #knowledge base #using

Human-Robot Interface by using frame like knowledge base (SA, TN, MK, YH, TT), pp. 729–734.

DAC-2007-BogdanM #behaviour

Quantum-Like Effects in Network-on-Chip Buffers Behavior (PB, RM), pp. 266–267.

ESOP-2007-HaackPSS #java

Immutable Objects for a Java-Like Language (CH, EP, JS, AS), pp. 347–362.

ICPC-2007-Kiczales #aspect-oriented #design

Making the Code Look Like the Design — Aspects and Other Recent Work (GK), p. 14.

ICFP-2007-Park #higher-order #type safety

Type-safe higher-order channels in ML-like languages (SP), pp. 191–202.

CHI-2007-WoodruffAF #automation

Sabbath day home automation: “it’s like mixing technology and religion” (AW, SA, BEF), pp. 527–536.

CHI-2007-YeeBR #case study #experience #user interface

A meta-analysis of the impact of the inclusion and realism of human-like faces on user experiences in interfaces (NY, JNB, KR), pp. 1–10.

SIGAda-2007-Dewar07a #named #question

Birds-of-a-feather: where would you like to see GNAT go? (RD), pp. 97–98.

CIKM-2007-SarmentoJRO #quote

“More like these”: growing entity classes from seeds (LS, VJ, MdR, EO), pp. 959–962.

ICML-2007-KerstingPPB #process

Most likely heteroscedastic Gaussian process regression (KK, CP, PP, WB), pp. 393–400.

POPL-2007-Lammel #combinator #scrap your boilerplate

Scrap your boilerplate with XPath-like combinators (RL), pp. 137–142.

SAC-OOPS-J-2006-LagorioZ07 #java #named

Just: Safe Unknown Types in Java-like Languages (GL, EZ), pp. 69–98.

SAC-2007-HincheyDRTM #self

Bionic autonomic nervous system and self-healing for NASA ANTS-like missions (MGH, YSD, JLR, WT, MM), pp. 90–96.

ESEC-FSE-2007-SherriffHLW #identification #static analysis #using

Using groupings of static analysis alerts to identify files likely to contain field failures (MS, SSH, JML, LAW), pp. 565–568.

LICS-2007-Nguyen #proving

Separating DAG-Like and Tree-Like Proof Systems (PN), pp. 235–244.

SAT-2007-Kojevnikov #bound #linear

Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities (AK), pp. 70–79.

CASE-2006-YoungSB #implementation #interactive

Implementing Bubblegrams: The Use of Haar-Like Features for Human-Robot Interaction (JEY, ES, JEB), pp. 298–303.

WCRE-2006-LaitkorpiKS #approach #interface #uml

A UML-based Approach for Abstracting Application Interfaces to REST-like Services (ML, JK, TS), pp. 134–146.

STOC-2006-Gurvits #algorithm #approach #bound #proving

Hyperbolic polynomials approach to Van der Waerden/Schrijver-Valiant like conjectures: sharper bounds, simpler proofs and algorithmic applications (LG), pp. 417–426.

ICPR-v1-2006-KatsoulasK #bound #image

Box-like Superquadric Recovery in Range Images by Fusing Region and Boundary Information (DK, DIK), pp. 719–722.

ICPR-v3-2006-TamakiSY #string

String-Like Occluding Region Extraction for Background Restoration (TT, HS, MY), pp. 615–618.

POPL-2006-KimYC #multi #polymorphism #type system

A polymorphic modal type system for lisp-like multi-staged languages (ISK, KY, CC), pp. 257–268.

SAC-2006-LagorioZ #java

Introducing safe unknown types in Java-like languages (GL, EZ), pp. 1429–1434.

SAC-2006-OsorioK #analysis #behaviour

An initial analysis and presentation of malware exhibiting swarm-like behavior (FCCO, ZK), pp. 323–329.

ICSE-2006-CsallnerS #interface #invariant

Dynamically discovering likely interface invariants (CC, YS), pp. 861–864.

ISMM-2006-Corry #java #stack

Optimistic stack allocation for java-like languages (EC), pp. 162–173.

DATE-2005-Edwards #challenge #hardware #synthesis

The Challenges of Hardware Synthesis from C-Like Languages (SAE), pp. 66–67.

DATE-2005-MellorWM #uml #why

Why Systems-on-Chip Needs More UML like a Hole in the Head (SJM, JRW, CM), pp. 834–835.

FM-2005-QiuWPZ #fault #semantics

Semantics of BPEL4WS-Like Fault and Compensation Handling (ZQ, SW, GP, XZ), pp. 350–365.

SIGIR-2005-BodoffL #algorithm #student #testing

Testing algorithms is like testing students (DB, PL), pp. 589–590.

ECOOP-2005-SmithD #java #named

Chai: Traits for Java-Like Languages (CS, SD), pp. 453–478.

POPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism

Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.

SAC-2005-BoninoCP #automation #concept #learning #network

Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks (DB, FC, FP), pp. 1639–1644.

CGO-2005-Hind #architecture #machine learning #virtual machine

Virtual Machine Learning: Thinking like a Computer Architect (MH), p. 11.

CSL-2005-SeveriV #modelling #order

Order Structures on Böhm-Like Models (PS, FJdV), pp. 103–118.

RTA-2005-LafourcadeLT #deduction #equation #morphism

Intruder Deduction for AC-Like Equational Theories with Homomorphisms (PL, DL, RT), pp. 308–322.

TestCom-2005-LiL #anti #diagrams #thread #uml #using

Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams (HL, CPL), pp. 69–80.

DATE-v1-2004-ManoliosS #automation #liveness #modelling #safety #using #verification #web

Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements (PM, SKS), pp. 168–175.

ESOP-2004-CalcagnoMT #classification

ML-Like Inference for Classifiers (CC, EM, WT), pp. 79–93.

CSMR-2004-Latendresse #evaluation #preprocessor #symbolic computation #term rewriting

Rewrite Systems for Symbolic Evaluation of C-like Preprocessing (ML), pp. 165–173.

CIAA-2004-Couvreur #automaton #implementation

A BDD-Like Implementation of an Automata Package (JMC), pp. 310–311.

ICPR-v1-2004-LangeG #2d #data type #effectiveness #recognition

Tree-Like Data Structures for Effective Recognition of 2-D Solids (ML, SG), pp. 592–595.

ICPR-v2-2004-FeiginS #adaptation #functional #segmentation

Segmentation and Denoising via an Adaptive Threshold Mumford-Shah-like Functional (MF, NAS), pp. 98–101.

ICPR-v2-2004-KatsoulasW #detection #image

Edge Detection in Range Images of Piled Box-like Objects (DK, AW), pp. 80–84.

ICPR-v2-2004-SoiferKK #analysis #fuzzy

Fuzzy Direction Field Method for Fringe and Tree-like Patterns Analysis (VAS, AGK, AOK), pp. 779–782.

ICPR-v3-2004-GrossK #mobile #probability #robust #scalability #self

Robust Omniview-based Probabilistic Self-Localization for Mobile Robots in Large Maze-like Environments (HMG, AK), pp. 266–269.

ICPR-v4-2004-YuWT #estimation #on the

On Estimation of Secret Message Length in JSteg-like Steganography (XY, YW, TT), pp. 673–676.

POPL-2004-AnconaZ #java

Principal typings for Java-like languages (DA, EZ), pp. 306–317.

SAC-2004-ZumpanoGTV #on the #optimisation #power of #problem #semantics

On the semantics and expressive power of Datalog-like languages for NP search and optimization problems (EZ, SG, IT, PV), pp. 692–697.

FSE-2004-PerkinsE #algorithm #detection #incremental #invariant #performance

Efficient incremental algorithms for dynamic detection of likely invariants (JHP, MDE), pp. 23–32.

ISMM-2004-LeeY #automation #effectiveness #memory management #source code

Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs (OL, KY), pp. 97–107.

CAV-2004-Wang #analysis #hybrid #linear #parametricity #safety

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.

RTA-2004-Ketema #term rewriting

Böhm-Like Trees for Term Rewriting Systems (JK), pp. 233–248.

TACAS-2003-GurfinkelC #proving

Proof-Like Counter-Examples (AG, MC), pp. 160–175.

SAS-2003-LeeYY #memory management #reuse #source code

Inserting Safe Memory Reuse Commands into ML-Like Programs (OL, HY, KY), pp. 171–188.

DLT-2003-FreundMOP #on the

On Three Classes of Automata-Like P Systems (RF, CMV, AO, GP), pp. 292–303.

VISSOFT-2003-WheeldonCK #comprehension #named #using

AutoCode: Using Memex-like Trails to Improve Program Comprehension (RW, SC, KK), pp. 48–52.

VISSOFT-2003-WheeldonCK1 #comprehension #named #using

AutoCode: Using Memex-like Trails to Improve Program Comprehension (RW, SC, KK), pp. 56–57.

SEKE-2003-MicucciT #behaviour #component #framework

A Pattern-like Framework to Dynamically Change Components Behaviour (DM, AT), pp. 422–426.

SIGIR-2003-Downie #evaluation #information retrieval #music

The TREC-like evaluation of music IR systems (JSD), pp. 453–454.

GPCE-2003-SaraivaS #attribute grammar #generative #tool support

Generating Spreadsheet-Like Tools from Strong Attribute Grammars (JS, SDS), pp. 307–323.

SAC-2003-ZhangP #algorithm #effectiveness #performance

A Fast and Effective Steganalytic Technique Against JSteg-like Algorithms (TZ, XP), pp. 307–311.

ICSE-2003-Fairbanks #architecture #case study #developer #experience #modelling #why

Why Can’t They Create Architecture Models Like “Developer X”? An Experience Report (GF), pp. 548–552.

RTA-2003-Verma #automaton #decidability #equation

Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties (KNV), pp. 180–196.

VMCAI-2003-Wang #automaton #performance #verification

Efficient Verification of Timed Automata with BDD-Like Data-Structures (FW), pp. 189–205.

DATE-2002-LewisBLWGT #configuration management #question #what

Reconfigurable SoC — What Will it Look Like? (JBL, IB, RL, CW, BG, YT), pp. 660–662.

HT-2002-LukkaF #hypermedia #implementation

Freenet-like GUIDs for implementing xanalogical hypertext (TJL, BF), pp. 194–195.

ICFP-2002-Svenningsson #parametricity

Shortcut fusion for accumulating parameters & zip-like functions (JS), pp. 124–132.

ICPR-v1-2002-FlorianiMD #composition

A Smale-Like Decomposition for Discrete Scalar Fields (LDF, MMM, ED), pp. 184–187.

SIGIR-2002-Soboroff #question #web

Does WT10g look like the web? (IS), pp. 423–424.

LOPSTR-2002-GrecoGTZ #optimisation #query #source code

Translating Datalog-Like Optimization Queries into ILOG Programs (GG, SG, IT, EZ), pp. 48–49.

SAC-2002-LiL #problem

Local search with annealing-like restarts to solve the vehicle routing problem with time windows (HL, AL), pp. 560–565.

LICS-2002-ClarkeJLV #model checking

Tree-Like Counterexamples in Model Checking (EMC, SJ, YL, HV), pp. 19–29.

ICDAR-2001-WangK #image #verification

Character-Like Region Verification for Extracting Text in Scene Images (HW, JK), pp. 957–963.

ICSM-2001-Ernst #invariant #summary

Summary of Dynamically Discovering Likely Program Invariants (MDE), pp. 540–544.

FLOPS-2001-DanvyR #haskell #syntax

A Simple Take on Typed Abstract Syntax in Haskell-like Languages (OD, MR), pp. 343–358.

ECOOP-2001-AnconaZ #java

True Modules for Java-like Languages (DA, EZ), pp. 354–380.

SAC-2001-Heimbigner #adaptation #middleware

Adapting publish/subscribe middleware to achieve Gnutella-like functionality (DH), pp. 176–181.

TLCA-2001-Urban #normalisation

Strong Normalisation for a Gentzen-like Cut-Elimination Procedure (CU), pp. 415–430.

STOC-2000-OlshevskyS #confluence #matrix

Matrix-vector product for confluent Cauchy-like matrices with application to confluent rational interpolation (VO, MAS), pp. 573–581.

ICEIS-2000-OommenR #comparison #empirical #optimisation #query

An Empirical Comparison of Histogram-Like Techniques for Query Optimization (BJO, LR), pp. 71–78.

ICML-2000-Li #learning #online

Selective Voting for Perception-like Online Learning (YL), pp. 559–566.

ICML-2000-MuggletonBS #biology #learning #product line #sequence

Learning Chomsky-like Grammars for Biological Sequence Families (SM, CHB, AS), pp. 631–638.

ICPR-v4-2000-HatteryCLG #embedded #migration

Optical Signatures of Small, Deeply Embedded, Tumor-Like Inclusions in Tissue-Like Turbid Media Based on a Random-Walk Theory of Photon Migration (DH, VC, MHL, AG), pp. 4348–4351.

SIGIR-2000-Aizawa

The feature quantity: an information theoretic perspective of Tfidf-like measure (ANA), pp. 104–111.

HT-1999-RizzoAF #network

Hypertext-Like Structures Through a SOM Network (RR, MA, GF), pp. 71–72.

HCI-CCAD-1999-MulkenAM #empirical #interface

An empirical study on the trustworthiness of life-like interface agents (SvM, EA, JM), pp. 152–156.

HCI-CCAD-1999-RauS #bibliography #email

Likes and dislikes of electronic mail addresses: a users’ survey (PLPR, GS), pp. 58–61.

ICEIS-1999-MarcosBGTF

Realization of Exposition-Like Events in Cyber-Space (AM, JB, LG, ET, RF), pp. 682–689.

TOOLS-ASIA-1999-LinLZZ #web

Efficiently Computing Frequent Tree-Like Topology Patterns in a Web Environment (XL, CL, YZ, XZ), pp. 440–447.

ICSE-1999-ErnstCGN #evolution #invariant

Dynamically Discovering Likely Program Invariants to Support Program Evolution (MDE, JC, WGG, DN), pp. 213–224.

HT-1998-PriceGS #hypermedia

Linking by Inking: Trailblazing in a Paper-Like Hypertext (MNP, GG, BNS), pp. 30–39.

SIGMOD-1998-Cohen98a #query #similarity #using #web

Providing Database-like Access to the Web Using Queries Based on Textual Similarity (WWC), pp. 558–560.

ICALP-1998-JancarKM #bisimulation #finite #process

Deciding Bisimulation-Like Equivalences with Finite-State Processes (PJ, AK, RM), pp. 200–211.

ICFP-1998-Yang #encoding

Encoding Types in ML-Like Languages (ZY), pp. 289–300.

HCI-SEC-1997-AndreMR #interface

Computer-Generated Presentation Scripts for Life-Like Interface Agents (EA, JM, TR), pp. 643–646.

HCI-SEC-1997-BlachSR #case study #experience #interactive

Experiences with User Interactions in a CAVETM-Like Projection Environment (RB, AS, OR), pp. 977–980.

VLDB-1996-MeoPC #mining

A New SQL-like Operator for Mining Association Rules (RM, GP, SC), pp. 122–133.

ITiCSE-1996-Velazquez-Iturbide #functional #named #programming

HIPE: a Turbo-like environment for functional programming (JÁVI), p. 234.

ICALP-1996-ChenN #algebra

Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures (XJC, RDN), pp. 63–74.

ICPR-1996-MottlMBK #image #problem

Hidden tree-like quasi-Markov model and generalized technique for a class of image processing problems (VM, IBM, AB, AK), pp. 715–719.

ICPR-1996-MukherjeePCCK #algorithm #detection #image #performance

An efficient algorithm for detection of road-like structures in satellite images (AM, SKP, DC, BBC, RK), pp. 875–879.

ICPR-1996-TurnerH

An EM-like relaxation operator (MT, ERH), pp. 166–170.

OOPSLA-1996-GilL #abstraction

Environmental Acquisition — A New Inheritance-Like Abstraction Mechanism (JYG, DHL), pp. 214–231.

FPCA-1995-GunterRR #exception

A Generalization of Exceptions and Control in ML-like Languages (CAG, DR, JGR), pp. 12–23.

CHI-1995-WagnerCO

Drag Me, Drop Me, Treat Me Like an Object (AW, PC, RO), pp. 525–530.

SAC-1995-TarngYR #source code

A digital conference like software tool for PDP programs (JJT, QY, KDR), pp. 406–410.

ICSM-1994-TanD #information management

Abstracting Plan-like Program Information: A Demonstration (EST, HGD), pp. 262–271.

CHI-1994-RiemanLYP94a #architecture #consistency #interface #reasoning #why

Why is a raven like a writing desk?: lessons in interface consistency and analogical reasoning from two cognitive architectures (JR, CHL, RMY, PGP), pp. 438–444.

CHI-1994-WhittakerFD94a #communication #how #question #what

Informal workplace communication: what is it like and how might we support it? (SW, DF, ODJ), pp. 131–137.

TRI-Ada-1994-Frankel

Model Like an Egyptian (MIF), pp. 352–360.

KDD-1994-TroxelSZZ #concept

From Law-Like Knowledge to Concept Hierarchies in Data (MT, KS, RZ, JMZ), pp. 193–204.

SEKE-1994-Pliuskeviciene #hoare #logic #recursion

Specialization of derivations in Hoare-like logic with recursive procedures (AP), pp. 124–130.

TOOLS-EUROPE-1994-Carrillo-CastellonMP #smalltalk

Eiffel-like Assertions and Private Methods in Smalltalk (MCC, JGM, EP), pp. 479–488.

LICS-1994-ImpagliazzoPU #bound #proving

Upper and Lower Bounds for Tree-Like Cutting Planes Proofs (RI, TP, AU), pp. 220–228.

SAC-1993-ZhengLP #network

Sparse Hypercube-Like Interconnection Networks (SQZ, SL, EKP), pp. 694–700.

TLCA-1993-BarbaneraB #logic #reduction

Extracting Constructive Content from Classical Logic via Control-like Reductions (FB, SB), pp. 45–59.

LFP-1992-WangH #analysis #recursion

Analysis of Recursive Types in Lisp-Like Languages (EW, PNH), pp. 216–225.

VDME-1991-1-KinnaesV #debugging #metalanguage

A Debugger for a Meta-IV-like Meta-Language (DK, KDV), pp. 597–603.

ML-1991-YangRB #case study #comparative

Fringe-Like Feature Construction: A Comparative Study and a Unifying Scheme (DSY, LAR, GB), pp. 223–227.

VLDB-1990-SudkampL #database

Elimination of View and Redundant Variables in a SQL-like Database Language for Extended NF2 Structures (NS, VL), pp. 302–313.

DAC-1989-LueM

Extracting Schematic-like Information from CMOS Circuit Net-lists (WJL, LPM), pp. 690–693.

LICS-1989-AbiteboulV #first-order #fixpoint #logic

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages (SA, VV), pp. 71–79.

NACLP-1989-Harland

A Kripke-like Model for Negation as Failure (JH), pp. 626–642.

SIGMOD-1988-Lohman #functional #optimisation #query #representation

Grammar-like Functional Rules for Representing Query Optimization Alternatives (GML), pp. 18–27.

ECOOP-1988-WegnerZ #incremental #inheritance #what

Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t Like (PW, SBZ), pp. 55–77.

POPL-1987-HuizingGR #abstraction #realtime #semantics

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language (CH, RG, WPdR), pp. 223–237.

LICS-1987-Reynolds #algol

Conjunctive Types and Algol-like Languages (JCR), p. 119.

ESOP-1986-DahlhausM #programming language

The Choice of Programming Primitives for SETL-Like Programming Languages (ED, JAM), pp. 160–172.

ICALP-1984-Reisig #partial order #semantics

Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness (WR), pp. 403–413.

POPL-1984-Halpern #algol #axiom #hoare

A Good Hoare Axiom System for an Algol-like Language (JYH), pp. 262–271.

POPL-1984-Murtagh #algol #memory management

A Less Dynamic Memory Allocation Scheme for Algol-like Languages (TPM), pp. 283–289.

STOC-1983-Olderog #hoare #logic #source code

A Characterization of Hoare’s Logic for Programs with Pascal-like Procedures (ERO), pp. 320–329.

ILPC-1982-Monteiro82 #concurrent #horn clause #logic #specification

A Horn Clause-like Logic for Specifying Concurrency (LM), pp. 1–8.

ICALP-1980-LangmaackO #hoare #programming language

Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions (HL, ERO), pp. 363–373.

LISP-1980-Print #parallel

Explicit Parallelism in LISP-like Languages (GP), pp. 13–18.

VLDB-1979-Melo #constraints #monitoring

Monitoring Integrity Constraints in a CODASYL-Like DBMS (RNM), pp. 209–218.

STOC-1979-RosenbergWG #data type

Storage Representations for Tree-Like Data Structures (ALR, DW, ZG), pp. 99–107.

POPL-1979-JonesM #analysis #optimisation

Flow Analysis and Optimization of Lisp-Like Structures (NDJ, SSM), pp. 244–256.

SOSP-1979-AimesL #behaviour #communication #network

The Behavior of Ethernet-Like Computer Communication Networks (GTA, EDL), pp. 66–81.

VDM-1978-Bjorner78a #abstraction #operating system #pl-i #specification #tutorial

Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.

GG-1978-Staples #reduction #λ-calculus

A Graph-Like λ Calculus for Which Leftmost-Overmost Reduction is Optimal (JS), pp. 440–455.

POPL-1977-Clarke #axiom #hoare #programming language

Programming Language Constructs for Which it is Impossible to Obtain “Good” Hoare-Like Axiom Systems (EMC), pp. 10–20.

DIPL-1976-FischerL #data access #runtime

Run-time checking of data access in Pascal-like languages (CNF, RJL), pp. 215–230.

ICALP-1974-Kandzia #algol #on the #source code

On the Most Recent Property of Algol-Like Programs (PK), pp. 97–111.