BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (28)
program (28)
base (23)
system (23)
use (23)

Stem without$ (all stems)

374 papers:

DocEngDocEng-2015-CutterM #documentation #how #mobile #towards
Towards Mobile OCR: How to Take a Good Picture of a Document Without Sight (MPC, RM), pp. 75–84.
PEPMPEPM-2015-BahrA #graph #traversal
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain (PB, EA), pp. 27–38.
PLDIPLDI-2015-MarrSD #metaprogramming #performance #protocol
Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises (SM, CS, SD), pp. 545–554.
CSCWCSCW-2015-JafarinaimiM
Collective Intelligence or Group Think?: Engaging Participation Patterns in World without Oil (NJ, EMM), pp. 1872–1881.
ICMLICML-2015-GouwsBC #distributed #named #performance #word
BilBOWA: Fast Bilingual Distributed Representations without Word Alignments (SG, YB, GC), pp. 748–756.
KDDKDD-2015-ZhangAYJS #email #information management
Annotating Needles in the Haystack without Looking: Product Information Extraction from Emails (WZ, AA, JY, VJ, AJS), pp. 2257–2266.
ECOOPECOOP-2015-Stroustrup #inheritance #object-oriented #programming
Object-Oriented Programming without Inheritance (Invited Talk) (BS), p. 1.
OOPSLAOOPSLA-2015-FelgentreffMBH #constraints #programming language #theorem proving
Checks and balances: constraint solving without surprises in object-constraint programming languages (TF, TDM, AB, RH), pp. 767–782.
SACSAC-2015-Fournier-VigerZ #mining #named #performance
FOSHU: faster on-shelf high utility itemset mining — with or without negative unit profit (PFV, SZ), pp. 857–864.
ICSEICSE-v1-2015-HerzigGCM #quality #testing
The Art of Testing Less without Sacrificing Quality (KH, MG, JC, BM), pp. 483–493.
ICSEICSE-v2-2015-AndersonHVWCBG #student
CS/SE Instructors Can Improve Student Writing without Reducing Class Time Devoted to Technical Content: Experimental Results (PVA, SH, MAV, DW, MC, JEB, GCG), pp. 455–464.
ASPLOSASPLOS-2015-SungA #named #performance
DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations (HS, SVA), pp. 545–559.
PPoPPPPoPP-2015-TangYKTGC #algorithm #parallel #programming #recursion
Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency (YT, RY, HK, JJT, PG, RAC), pp. 205–214.
DACDAC-2014-RenMRZ #fault tolerance #network #using
Fault-tolerant Routing for On-chip Network Without Using Virtual Channels (PR, QM, XR, NZ), p. 6.
SIGMODSIGMOD-2014-DuttH #estimation #query
Plan bouquets: query processing without selectivity estimation (AD, JRH), pp. 1039–1050.
ITiCSEITiCSE-2014-Katai14b #named
ALGO-RYTHMICS: science and art without ethnic borders (ZK), p. 329.
PLDIPLDI-2014-GreenawayLAK #c #verification
Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.
FMFM-2014-MarriottC #named
SCJ: Memory-Safety Checking without Annotations (CM, AC), pp. 465–480.
ICFPICFP-2014-CockxDP #pattern matching
Pattern matching without K (JC, DD, FP), pp. 257–268.
LISPILC-2014-Pfeil #lisp #named
Kilns: A Lisp Without λ (GP), p. 9.
CSCWCSCW-2014-GavilanesMQ #bound #communication #social #twitter
Twitter ain’t without frontiers: economic, social, and cultural boundaries in international communication (ROGG, YM, DQ), pp. 1511–1522.
HCIDUXU-TMT-2014-SilvaMLO #quality #usability #user interface
Evaluating Quality and Usability of the User Interface: A Practical Study on Comparing Methods with and without Users (CMS, VM, RL, MLLRO), pp. 318–328.
HCIHCI-AS-2014-CentieiroRDF #interactive
Bet without Looking: Studying Eyes-Free Interaction during Live Sports (PC, TR, AED, DF), pp. 581–592.
ICMLICML-c1-2014-Sohl-DicksteinMD #monte carlo
Hamiltonian Monte Carlo Without Detailed Balance (JSD, MM, MRD), pp. 719–726.
ICMLICML-c2-2014-AminHK #learning
Learning from Contagion (Without Timestamps) (KA, HH, MK), pp. 1845–1853.
ICMLICML-c2-2014-DworkinKN
Pursuit-Evasion Without Regret, with an Application to Trading (LD, MK, YN), pp. 1521–1529.
ICPRICPR-2014-NhatNKYL #music #recognition
Distorted Music Score Recognition without Staffline Removal (VQN, TN, SHK, HJY, GL), pp. 2956–2960.
KEODKEOD-2014-Aalst #mining #people #process #what
No Knowledge Without Processes — Process Mining as a Tool to Find Out What People and Organizations Really Do (WMPvdA), pp. 1–11.
KRKR-2014-BorgwardtDP #decidability #logic
Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).
MLDMMLDM-2014-Schafer #classification #preprocessor #towards
Towards Time Series Classification without Human Preprocessing (PS), pp. 228–242.
RecSysRecSys-2014-CremonesiQ #question #recommendation
Cross-domain recommendations without overlapping data: myth or reality? (PC, MQ), pp. 297–300.
SEKESEKE-2014-JiangWZD #network #online #social
Forwarding Links without Browsing Links in Online Social Networks (JJ, XW, LZ, YD), pp. 636–641.
SIGIRSIGIR-2014-JayasingheWSC
Extending test collection pools without manual runs (GKJ, WW, MS, JSC), pp. 915–918.
SIGIRSIGIR-2014-LomakinaPS #web
Web search without “stupid” results (AL, NP, PS), pp. 943–946.
OnwardOnward-2014-PhilipsRCM #development #towards #web
Towards Tierless Web Development without Tierless Languages (LP, CDR, TVC, WDM), pp. 69–81.
PPDPPPDP-2014-AotoS #induction #proving #theorem
Decision Procedures for Proving Inductive Theorems without Induction (TA, SS), pp. 237–248.
SACSAC-2014-GeorgiadisP #algorithm #online #problem #scheduling #smarttech
Dealing with storage without forecasts in smart grids: problem transformation and online scheduling algorithm (GG, MP), pp. 518–524.
SLESLE-2014-KursLN #bound #semiparsing
Bounded Seas — Island Parsing Without Shipwrecks (JK, ML, ON), pp. 62–81.
PPoPPPPoPP-2014-LuZBW #multi #performance #thread
Efficient deterministic multithreading without global barriers (KL, XZ, TB, XW), pp. 287–300.
CAVCAV-2014-NarodytskaLBRW #game studies
Solving Games without Controllable Predecessor (NN, AL, FB, LR, AW), pp. 533–540.
ICSTSAT-2014-JordanKLS #named #parallel #towards
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (CJ, LK, FL, MS), pp. 430–437.
CASECASE-2013-GrosbardKTR #composition #network #using
A queuing network model for wafer fabrication using decomposition without aggregation (DG, AK, IT, GR), pp. 717–722.
CASECASE-2013-LiF #approach #integer #linear #multi #problem #programming #scheduling
A mixed integer linear programming approach for multi-degree cyclic multi-hoist scheduling problems without overlapping (XL, RYKF), pp. 274–279.
CASECASE-2013-WuCY #analysis #policy #reachability
A control policy for γ-nets without reachability analysis and siphon enumeration (WW, DYC, FY), pp. 1133–1138.
ICDARICDAR-2013-CutterM #documentation #image #realtime
Real Time Camera Phone Guidance for Compliant Document Image Acquisition without Sight (MPC, RM), pp. 408–412.
ICDARICDAR-2013-PantkeMF #evaluation #on the #word
On Evaluation of Segmentation-Free Word Spotting Approaches without Hard Decisions (WP, VM, TF), pp. 1300–1304.
ITiCSEITiCSE-2013-FarrellFKRH #assessment #online
Capstone project online assessment tool without the paper work (VF, GF, PK, GR, DH), pp. 201–206.
WCREWCRE-2013-SmithsonEAKB #correctness #trade-off
Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness (MS, KE, KA, AK, RB), pp. 52–61.
ICFPICFP-2013-Krishnaswami #functional #higher-order #programming
Higher-order functional reactive programming without spacetime leaks (NRK), pp. 221–232.
CIKMCIKM-2013-Zhang0D #corpus #mining #query
Mining a search engine’s corpus without a query pool (MZ, NZ, GD), pp. 29–38.
ICMLICML-c2-2013-Tran-DinhKC #framework #graph #learning #matrix
A proximal Newton framework for composite minimization: Graph learning without Cholesky decompositions and matrix inversions (QTD, ATK, VC), pp. 271–279.
SEKESEKE-2013-ChaoY #analysis #order #reachability #scalability
A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (S) (DYC, THY), pp. 417–420.
SIGIRSIGIR-2013-Soboroff #evaluation #interactive #student #tutorial
Building test collections: an interactive tutorial for students and others without their own evaluation conference series (IS), p. 1132.
ECOOPECOOP-2013-AliL #named #program analysis
Averroes: Whole-Program Analysis without the Whole Program (KA, OL), pp. 378–400.
RERE-2013-AlspaughS #development #requirements
Ongoing software development without classical requirements (TAA, WS), pp. 165–174.
SACSAC-2013-NunesP #scheduling #throughput #transaction
Improving transaction abort rates without compromising throughput through judicious scheduling (AN, JP), pp. 493–494.
PPoPPPPoPP-2013-YanLZ #algorithm #named #performance
StreamScan: fast scan algorithms for GPUs without global barrier synchronization (SY, GL, YZ), pp. 229–238.
CAVCAV-2013-EssenJ #program repair
Program Repair without Regret (CvE, BJ), pp. 896–911.
VMCAIVMCAI-2013-HeuleLMS
Abstract Read Permissions: Fractional Permissions without the Fractions (SH, KRML, PM, AJS), pp. 315–334.
ASEASE-2012-SteimannP #refactoring
Refactorings without names (FS, JvP), pp. 290–293.
SIGMODSIGMOD-2012-HuXCY #authentication #privacy
Authenticating location-based services without compromising location privacy (HH, JX, QC, ZY), pp. 301–312.
SIGMODSIGMOD-2012-TeubnerWN #automaton #configuration management
Skeleton automata for FPGAs: reconfiguring without reconstructing (JT, LW, CN), pp. 229–240.
STOCSTOC-2012-MosselR #theorem
A quantitative gibbard-satterthwaite theorem without neutrality (EM, MZR), pp. 1041–1060.
FLOPSFLOPS-2012-Uustalu #performance
Explicit Binds: Effortless Efficiency with and without Trees (TU), pp. 317–331.
ICFPICFP-2012-HenryMCM #type system
Typing unmarshalling without marshalling types (GH, MM, EC, PM), pp. 287–298.
CHICHI-2012-MarkVC #email #empirical #quote
“A pace not dictated by electrons”: an empirical study of work without email (GM, SV, AC), pp. 555–564.
CHICHI-2012-MasliT #community #online
Evaluating compliance-without-pressure techniques for increasing participation in online communities (MM, LGT), pp. 2915–2924.
CSCWCSCW-2012-ZhuKK12a #identification #modelling #online #social
Organizing without formal organization: group identification, goal setting and social modeling in directing online production (HZ, RK, AK), pp. 935–944.
ICEISICEIS-J-2012-QuastHFE #information management #social
Social Information Systems: Agility Without Chaos (MQ, MJH, JMF, JE), pp. 55–71.
CIKMCIKM-2012-HagenPBS #query #segmentation #towards
Towards optimum query segmentation: in doubt without (MH, MP, AB, BS), pp. 1015–1024.
CIKMCIKM-2012-LiuQ #generative #mining
Mining high utility itemsets without candidate generation (ML, JFQ), pp. 55–64.
ICMLICML-2012-BachrachGMG #adaptation #crowdsourcing #how #testing #visual notation
How To Grade a Test Without Knowing the Answers — A Bayesian Graphical Model for Adaptive Crowdsourcing and Aptitude Testing (YB, TG, TM, JG), p. 108.
ICPRICPR-2012-LiangM #multi #segmentation
Object segmentation in multiple views without camera calibration (QL, ZM), pp. 890–893.
ICPRICPR-2012-UlmB #clustering #online #robust
Robust online trajectory clustering without computing trajectory distances (MU, NB), pp. 2270–2273.
SIGIRSIGIR-2012-JiangWLAW #alias #approach #detection #learning #similarity #string #towards
Towards alias detection without string similarity: an active learning based approach (LJ, JW, PL, NA, MW), pp. 1155–1156.
SIGIRSIGIR-2012-KoumpouriS #effectiveness #feedback #query #retrieval
Queries without clicks: evaluating retrieval effectiveness based on user feedback (AK, VS), pp. 1133–1134.
OOPSLAOOPSLA-2012-KumarFBGT
Work-stealing without the baggage (VK, DF, SMB, DG, OT), pp. 297–314.
ICSEICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification #testing
Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.
ASPLOSASPLOS-2012-LinWLZ #named #power management #smarttech #using
Reflex: using low-power processors in smartphones without knowing them (FXL, ZW, RL, LZ), pp. 13–24.
ISMMISMM-2012-InoueN #hardware #identification #java #source code
Identifying the sources of cache misses in Java programs without relying on hardware counters (HI, TN), pp. 133–142.
OSDIOSDI-2012-RenzelmannKS #named #testing
SymDrive: Testing Drivers without Devices (MJR, AK, MMS), pp. 279–292.
CAVCAV-2012-SinhaSCS
Alternate and Learn: Finding Witnesses without Looking All over (NS, NS, SC, MS), pp. 599–615.
CASECASE-2011-BroderickAT #detection #formal method #industrial
Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing system (JAB, LVA, DMT), pp. 169–174.
CASECASE-2011-LiuFOCK #visual notation
Weld pool visual sensing without external illumination (JL, ZF, SIO, KHC, JKK), pp. 145–150.
ICDARICDAR-2011-Baird #documentation #modelling #recognition
Document Recognition without Strong Models (HSB), pp. 414–423.
VLDBVLDB-2011-HaasMST #modelling
Data is Dead... Without What-If Models (PJH, PPM, PGS, WCT), pp. 1486–1489.
VLDBVLDB-2011-TzoumasDJ #estimation #independence #lightweight #modelling #visual notation
Lightweight Graphical Models for Selectivity Estimation Without Independence Assumptions (KT, AD, CSJ), pp. 852–863.
ESOPESOP-2011-BrauerK #quantifier #synthesis
Transfer Function Synthesis without Quantifier Elimination (JB, AK), pp. 97–115.
FMFM-2011-Dunne #csp #termination
Termination without √ in CSP (SD), pp. 278–292.
CHICHI-2011-BragdonK #gesture #scalability
Gesture select: : acquiring remote targets on large displays without pointing (AB, HSK), pp. 187–196.
CHICHI-2011-MiyataF #documentation #identification
Document area identification for extending books without markers (AM, KF), pp. 3189–3198.
CIKMCIKM-2011-DongZCZZLWO #database #mining #named #performance
e-NSP: efficient negative sequential pattern mining based on identified positive patterns without database rescanning (XD, ZZ, LC, YZ, CZ, JL, WW, YO), pp. 825–830.
CIKMCIKM-2011-KargarA #network #social
Discovering top-k teams of experts with/without a leader in social networks (MK, AA), pp. 985–994.
ICMLICML-2011-ChakrabortyS #learning
Structure Learning in Ergodic Factored MDPs without Knowledge of the Transition Function’s In-Degree (DC, PS), pp. 737–744.
KDDKDD-2011-WangLZ #analysis #keyword #rating
Latent aspect rating analysis without aspect keyword supervision (HW, YL, CZ), pp. 618–626.
OOPSLAOOPSLA-2011-WuHIN #java #performance #scalability
Reducing trace selection footprint for large-scale Java applications without performance loss (PW, HH, HI, TN), pp. 789–804.
SACSAC-2011-MunizL #encryption #on the #protocol #recognition
On the (im)possibility of perennial message recognition protocols without public-key cryptography (MGM, PL), pp. 1510–1515.
ICSEICSE-2011-KazmanBIM #architecture #evaluation #experience #grid #smarttech
Architecture evaluation without an architecture: experience with the smart grid (RK, LB, JI, GAM), pp. 663–670.
HPDCHPDC-2011-Chen
Algorithm-based recovery for iterative methods without checkpointing (ZC), pp. 73–84.
PPoPPPPoPP-2011-Ding #concurrent #parallel #programming
Two examples of parallel programming without concurrency constructs (PP-CC) (CD), pp. 299–300.
CADECADE-2011-BaaderBBM #concept #logic #unification
Unification in the Description Logic EL without the Top Concept (FB, TBN, SB, BM), pp. 70–84.
ICTSSICTSS-2011-Walkinshaw #black box #specification #test coverage #testing
Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.
LICSLICS-2011-MadelaineM #first-order #logic #similarity
A Tetrachotomy for Positive First-Order Logic without Equality (FRM, BM), pp. 311–320.
VMCAIVMCAI-2011-Bradley #model checking #satisfiability
SAT-Based Model Checking without Unrolling (ARB), pp. 70–87.
VLDBVLDB-2010-DittrichQJKSS
Hadoop++: Making a Yellow Elephant Run Like a Cheetah (Without It Even Noticing) (JD, JAQR, AJ, YK, VS, JS), pp. 518–529.
STOCSTOC-2010-Ajtai
Oblivious RAMs without cryptogrpahic assumptions (MA), pp. 181–190.
STOCSTOC-2010-CardinalFJJM #algorithm #sorting
Sorting under partial information (without the ellipsoid algorithm) (JC, SF, GJ, RMJ, JIM), pp. 359–368.
STOCSTOC-2010-DodisPT
Changing base without losing space (YD, MP, MT), pp. 593–602.
FLOPSFLOPS-2010-AltenkirchDLO #dependent type #named
ΠΣ: Dependent Types without the Sugar (TA, NAD, AL, NO), pp. 40–55.
ICALPICALP-v1-2010-GrandoniR #design #network #problem
Network Design via Core Detouring for Problems without a Core (FG, TR), pp. 490–502.
ICALPICALP-v2-2010-ChalopinD #mobile
Rendezvous of Mobile Agents without Agreement on Local Orientation (JC, SD), pp. 515–526.
ICFPICFP-2010-MorrisJ #programming
Instance chains: type class programming without overlapping instances (JGM, MPJ), pp. 375–386.
CIKMCIKM-2010-MoonDJLZ #behaviour #ranking
User behavior driven ranking without editorial judgments (TM, GD, SJ, CL, ZZ), pp. 1473–1476.
ICMLICML-2010-ZhangS #reduction
Projection Penalties: Dimension Reduction without Loss (YZ, JGS), pp. 1223–1230.
ICPRICPR-2010-GaschlerBH #3d #re-engineering
Epipolar-Based Stereo Tracking Without Explicit 3D Reconstruction (AG, DB, GDH), pp. 1755–1758.
ECOOPECOOP-2010-RenggliGN #tool support
Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.
POPLPOPL-2010-SiekW
Threesomes, with and without blame (JGS, PW), pp. 365–376.
SACSAC-2010-Brunthaler #performance
Efficient inline caching without dynamic translation (SB), pp. 2155–2156.
SACSAC-2010-Pamies-JuarezL #maintenance #reliability
Maintaining data reliability without availability in P2P storage systems (LPJ, PGL), pp. 684–688.
CSLCSL-2010-MartinM #complexity #first-order #logic #similarity
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case (BM, JM), pp. 426–438.
DATEDATE-2009-SauvageGDMN #constraints
Successful attack on an FPGA-based WDDL DES cryptoprocessor without place and route constraints (LS, SG, JLD, YM, MN), pp. 640–645.
ICDARICDAR-2009-EynardE #documentation #recognition #word
Italic or Roman: Word Style Recognition without A Priori Knowledge for Old Printed Documents (LE, HE), pp. 823–827.
VLDBVLDB-2009-MishimaN #database #middleware #named #replication
Pangea: An Eager Database Replication Middleware guaranteeing Snapshot Isolation without Modification of Database Servers (TM, HN), pp. 1066–1077.
VLDBVLDB-2009-MozafariZ #classification #naive bayes #privacy
Publishing Naive Bayesian Classifiers: Privacy without Accuracy Loss (BM, CZ), pp. 1173–1185.
ICALPICALP-v1-2009-ArackaparambilBC #functional #monitoring
Functional Monitoring without Monotonicity (CA, JB, AC), pp. 95–106.
LATALATA-2009-AbdullaDB #comparison #petri net
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (PAA, GD, LVB), pp. 71–82.
FMFM-2009-Tonetta #abstraction #model checking
Abstract Model Checking without Computing the Abstraction (ST), pp. 89–105.
CHICHI-2009-IsbisterH #challenge #design #evaluation #human-computer #on the
On being supple: in search of rigor without rigidity in meeting new design and evaluation challenges for HCI practitioners (KI, KH), pp. 2233–2242.
CHICHI-2009-NewtonKM #comparison #online #word
Autism online: a comparison of word usage in bloggers with and without autism spectrum disorders (ATN, ADIK, DNM), pp. 463–466.
HCIHCD-2009-PohlmeyerBWM #approach #experience #user interface
The Value of Answers without Question[s]: A Qualitative Approach to User Experience and Aging (AEP, LTMB, HW, JM), pp. 894–903.
HCIHCI-AUII-2009-VerhoefLBOZC #word
Bio-sensing for Emotional Characterization without Word Labels (TV, CLL, AB, FRO, TvdZ, FC), pp. 693–702.
EDOCEDOC-2009-Vaucouleur #enterprise
Customizable and Upgradable Enterprise Systems without the Crystal Ball Assumption (SV), pp. 203–212.
CIKMCIKM-2009-Duan #privacy
Privacy without noise (YD), pp. 1517–1520.
ECIRECIR-2009-Efron #aspect-oriented #multi #query #using
Using Multiple Query Aspects to Build Test Collections without Human Relevance Judgments (ME), pp. 276–287.
ICMLICML-2009-HuangS #learning #linear #sequence
Learning linear dynamical systems without sequence information (TKH, JGS), pp. 425–432.
OOPSLAOOPSLA-2009-MalayeriA #inheritance #multi #named
CZ: multiple inheritance without diamonds (DM, JA), pp. 21–40.
ASPLOSASPLOS-2009-MytkowiczDHS #exclamation
Producing wrong data without doing anything obviously wrong! (TM, AD, MH, PFS), pp. 265–276.
CCCC-2009-Padioleau #c #c++ #parsing #preprocessor
Parsing C/C++ Code without Pre-processing (YP), pp. 109–125.
LCTESLCTES-2009-StotzerL #scheduling
Modulo scheduling without overlapped lifetimes (ES, ELL), pp. 1–10.
ICSTICST-2009-LeitnerPMMO #effectiveness #on the
On the Effectiveness of Test Extraction without Overhead (AL, AP, SM, BM, MO), pp. 416–425.
ICSTICST-2009-MurphySK #ml #runtime #testing #using
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.
ISSTAISSTA-2009-MurphySK #automation #source code #testing
Automatic system testing of programs without test oracles (CM, KS, GEK), pp. 189–200.
LICSLICS-2009-MadelaineM #complexity #first-order #logic #similarity
The Complexity of Positive First-order Logic without Equality (FRM, BM), pp. 429–438.
CASECASE-2008-PaekL #clustering #scheduling #strict #tool support
Optimal scheduling of dual-armed cluster tools without swap restriction (JHP, TEL), pp. 103–108.
FLOPSFLOPS-2008-Kobayashi08a #backtracking #continuation
A New Translation for Semi-classical Theories — Backtracking without CPS (SK), pp. 210–223.
ICALPICALP-A-2008-BodlaenderDFH #kernel #on the #polynomial #problem
On Problems without Polynomial Kernels (Extended Abstract) (HLB, RGD, MRF, DH), pp. 563–574.
ICALPICALP-C-2008-CanettiEGL #how
How to Protect Yourself without Perfect Shredding (RC, DE, SG, DYL), pp. 511–523.
CSCWCSCW-2008-IgnatPON #collaboration #multi #privacy
Providing awareness in multi-synchronous collaboration without compromising privacy (CLI, SP, GO, MCN), pp. 659–668.
CIKMCIKM-2008-LinL #clique #mining #performance
Fast spatial co-location mining without cliqueness checking (ZL, SL), pp. 1461–1462.
ICPRICPR-2008-ChenJ #3d #estimation #information retrieval
3D gaze estimation with a single camera without IR illumination (JC, QJ), pp. 1–4.
ICPRICPR-2008-El-ZehiryE #constraints
Agraph cut based active contour without edges with relaxed homogeneity constraint (NYEZ, AE), pp. 1–4.
SIGIRSIGIR-2008-QiD #classification #web
Classifiers without borders: incorporating fielded text from neighboring web pages (XQ, BDD), pp. 643–650.
SIGIRSIGIR-2008-TanWC #detection #sentiment #using
Combining learn-based and lexicon-based techniques for sentiment detection without using labeled examples (ST, YW, XC), pp. 743–744.
ISMMISMM-2008-GormanH #hardware
Supporting superpage allocation without additional hardware support (MG, PH), pp. 41–50.
PPoPPPPoPP-2008-NishtalaAC #communication #layout #performance
Performance without pain = productivity: data layout and collective communication in UPC (RN, GA, CC), pp. 99–110.
ICLPICLP-2008-Niemela #programming #set
Answer Set Programming without Unstratified Negation (IN), pp. 88–92.
DACDAC-2007-Rabaey #design #legacy
Design without Borders — A Tribute to the Legacy of A. Richard Newton (JMR).
DATEDATE-2007-MoonBP #approach #composition #equivalence
A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states (IHM, PB, CP), pp. 1170–1175.
DRRDRR-2007-HarringtonW #documentation
Presentation of structured documents without a style sheet (SJH, EW).
SIGMODSIGMOD-2007-AnciauxBBPS #named #query
GhostDB: querying visible and hidden data without leaks (NA, MB, LB, PP, DS), pp. 677–688.
FoSSaCSFoSSaCS-2007-BreugelSW #approximate #behaviour #probability #pseudo
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems (FvB, BS, JW), pp. 123–137.
TACASTACAS-2007-AbdullaDHR #model checking #performance #transducer #verification
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) (PAA, GD, NBH, AR), pp. 721–736.
ICALPICALP-2007-ChandranGS #random
Ring Signatures of Sub-linear Size Without Random Oracles (NC, JG, AS), pp. 423–434.
ICALPICALP-2007-MillerPS #scalability
Size Competitive Meshing Without Large Angles (GLM, TP, DS), pp. 655–666.
LATALATA-2007-Domosi #automaton #network
Automata Networks without any Letichevsky Criteria (PD), pp. 237–248.
ICFPICFP-2007-Herman #functional #how
Functional pearl: the great escape or, how to jump the border without getting caught (DH), pp. 157–164.
CHICHI-2007-HurstHM #detection
Dynamic detection of novice vs. skilled use without a task model (AH, SEH, JM), pp. 271–280.
CHICHI-2007-KristenssonZ #gesture #using
Command strokes with and without preview: using pen gestures on keyboard for command selection (POK, SZ), pp. 1137–1146.
ICEISICEIS-J-2007-ArjunanWKNY #recognition #using
Recognition of Human Voice Utterances from Facial Surface EMG without Using Audio Signals (SPA, HW, DKK, GRN, WCY), pp. 366–378.
ICMLICML-2007-LiLL #learning #scalability
Large-scale RLSC learning without agony (WL, KHL, KSL), pp. 529–536.
ICMLICML-2007-Yairi #locality #reduction
Map building without localization by dimensionality reduction techniques (TY), pp. 1071–1078.
SACSAC-2007-XianhuaJX #performance #reduction
Efficient code size reduction without performance loss (LX, ZJ, CX), pp. 666–672.
MBTMBT-2007-RaimondiPB #model checking #testing
Testing Planning Domains (without Model Checkers) (FR, CP, GB), pp. 113–125.
CBSECBSE-2006-AttieLPC #behaviour #component #design #explosion #verification
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System (PCA, DHL, AP, HC), pp. 33–49.
VLDBVLDB-2006-MoerkotteN #algorithm #analysis #generative #programming
Analysis of Two Existing and One New Dynamic Programming Algorithm for the Generation of Optimal Bushy Join Trees without Cross Products (GM, TN), pp. 930–941.
VLDBVLDB-2006-MokbelCA #privacy #query
The New Casper: Query Processing for Location Services without Compromising Privacy (MFM, CYC, WGA), pp. 763–774.
PLDIPLDI-2006-LauAHC #online #optimisation #performance #using
Online performance auditing: using hot optimizations without getting burned (JL, MA, MH, BC), pp. 239–251.
CIAACIAA-2006-YangXSP #hybrid #quantum #synthesis
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits (GY, FX, XS, MAP), pp. 279–280.
ICALPICALP-v2-2006-WikstromG #adaptation
An Adaptively Secure Mix-Net Without Erasures (DW, JG), pp. 276–287.
FMFM-2006-Kassios #dependence #strict
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (ITK), pp. 268–283.
CHICHI-2006-NekrasovskiBMGM #bibliography #evaluation #navigation #perspective
An evaluation of pan & zoom and rubber sheet navigation with and without an overview (DN, AB, JM, FG, TM), pp. 11–20.
CIKMCIKM-2006-BartoliniCP #named
SaLSa: computing the skyline without scanning the whole sky (IB, PC, MP), pp. 405–414.
CIKMCIKM-2006-KimC #concept #mining #named #similarity #taxonomy
CP/CV: concept similarity mining without frequency information from domain describing taxonomies (JWK, KSC), pp. 483–492.
ECIRECIR-2006-SanJuanI #clustering #documentation
Phrase Clustering Without Document Context (ES, FIS), pp. 496–500.
ICPRICPR-v1-2006-MoritaniHS #feature model #realtime
Real-Time Object Tracking without Feature Extraction (TM, SH, KS), pp. 747–750.
ICPRICPR-v1-2006-ZuwalaR #information management
Browsing graphics without prior knowledge (DZ, JR), pp. 735–738.
ICPRICPR-v4-2006-AndersenJM #estimation
Estimation of Dynamic Light Changes in Outdoor Scenes Without the use of Calibration Objects (MSA, TJ, CBM), pp. 91–94.
KRKR-2006-DuboisGK #abduction #probability
Probabilistic Abduction without Priors (DD, AG, GKI), pp. 420–430.
SEKESEKE-2006-RatanotayanonKS #agile #documentation
After the Scrum: Twenty Years of Working without Documentation (SR, JK, SES), pp. 194–199.
SIGIRSIGIR-2006-KurlandL #clustering #exclamation #modelling
Respect my authority!: HITS without hyperlinks, utilizing cluster-based language models (OK, LL), pp. 83–90.
ECOOPECOOP-2006-SkotiniotisPL #adaptation #interface #programming
Demeter Interfaces: Adaptive Programming Without Surprises (TS, JP, KJL), pp. 477–500.
CSLCSL-2006-HenzingerP #game studies
Solving Games Without Determinization (TAH, NP), pp. 395–410.
DACDAC-2005-MonyBPK #proving
Exploiting suspected redundancy without proving it (HM, JB, VP, RK), pp. 463–466.
DACDAC-2005-Rossi #design #formal method #question #scalability #verification
Can we really do without the support of formal methods in the verification of large designs? (UR), pp. 672–673.
PLDIPLDI-2005-HertzFB #garbage collection
Garbage collection without paging (MH, YF, EDB), pp. 143–153.
STOCSTOC-2005-DodisS #fault
Correcting errors without leaking partial information (YD, AS), pp. 654–663.
ICALPICALP-2005-GuptaP #probability
Stochastic Steiner Trees Without a Root (AG, MP), pp. 1051–1063.
ICALPICALP-2005-HromkovicS
NFAs With and Without epsilon-Transitions (JH, GS), pp. 385–396.
IFMIFM-2005-BarradasB #fixpoint #semantics
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions (HRB, DB), pp. 327–346.
CHICHI-2005-BaudischCHE #named
Snap-and-go: helping users align objects without the modality of traditional snapping (PB, EC, KH, AE), pp. 301–310.
CIKMCIKM-2005-MasonL #complexity #named #query #relational #sql
INFER: a relational query language without the complexity of SQL (TM, RL), pp. 241–242.
ECIRECIR-2005-SuomelaK #case study #concept #ontology #query
Ontology as a Search-Tool: A Study of Real Users’ Query Formulation With and Without Conceptual Support (SS, JK), pp. 315–329.
ICMLICML-2005-WolfeJS #learning #predict
Learning predictive state representations in dynamical systems without reset (BW, MRJ, SPS), pp. 980–987.
SIGIRSIGIR-2005-KurlandL #modelling #rank #ranking #using
PageRank without hyperlinks: structural re-ranking using links induced by language models (OK, LL), pp. 306–313.
SACSAC-2005-QuagliaR #coordination #persistent #reliability
Reliability in three-tier systems without application server coordination and persistent message queues (FQ, PR), pp. 718–723.
SPLCSPLC-2005-ZhangJ #experience #industrial #mobile #performance #product line #reuse
Reuse without Compromising Performance: Industrial Experience from RPG Software Product Line for Mobile Devices (WZ, SJ), pp. 57–69.
DACDAC-2004-VujkovicWSS #performance
Efficient timing closure without timing driven placement and routing (MV, DW, WS, CS), pp. 268–273.
VLDBVLDB-2004-YangL #information management #xml
Secure XML Publishing without Information Leakage in the Presence of Data Inference (XY, CL), pp. 96–107.
TACASTACAS-2004-SuW #analysis #constraints
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings (ZS, DW), pp. 280–295.
STOCSTOC-2004-FinocchiI #fault #memory management #sorting
Sorting and searching in the presence of memory faults (without redundancy) (IF, GFI), pp. 101–110.
STOCSTOC-2004-PrabhakaranS #security
New notions of security: achieving universal composability without trusted setup (MP, AS), pp. 242–251.
CHICHI-2004-BaudischG #game studies #multi #named
Multiblending: displaying overlapping windows simultaneously without the drawbacks of alpha blending (PB, CG), pp. 367–374.
CHICHI-2004-LecuyerBE #interface #pseudo
Feeling bumps and holes without a haptic interface: the perception of pseudo-haptic textures (AL, JMB, LE), pp. 239–246.
ICPRICPR-v1-2004-CaoF #metric #using
Simple Calibration Without Metric Information Using an Isoceles Trapezoid (XC, HF), pp. 104–107.
ICPRICPR-v1-2004-KusachiSIA #detection #image #recognition #robust
Kanji Recognition in Scene Images without Detection of Text Fields — Robust Against Variation of Viewpoint, Contrast, and Background Texture (YK, AS, NI, KA), pp. 457–460.
ICPRICPR-v2-2004-SarkarB #automation
Decoder Banks: Versatility, Automation, and High Accuracy without Supervised Training (PS, HSB), pp. 646–649.
ICPRICPR-v2-2004-ToyamaSM #image #set
Image Mosaicing from a Set of Images Without Configuration Information (FT, KS, JM), pp. 899–902.
ICPRICPR-v3-2004-BoughorbelKAA #energy
Gaussian Energy Functions for Registration without Correspondences (FB, AK, BRA, MAA), pp. 24–27.
ICPRICPR-v3-2004-VosBASMVV #statistics #using
A Statistical Shape Model without Using Landmarks (FV, PWdB, JGMA, GJS, MM, LJvV, AMV), pp. 714–717.
SIGIRSIGIR-2004-MayfieldM
Triangulation without translation (JM, PM), pp. 490–491.
OOPSLAOOPSLA-2004-BravenboerV #domain-specific language #strict #syntax
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions (MB, EV), pp. 365–383.
SACSAC-2004-SeigneurJ #privacy #trust #ubiquitous
Trust enhanced ubiquitous payment without too much privacy loss (JMS, CDJ), pp. 1593–1599.
SACSAC-2004-ShangSG #generative #mining #sql
SQL based frequent pattern mining without candidate generation (XS, KUS, IG), pp. 618–619.
ISMMISMM-2004-WickF #memory management
Memory accounting without partitions (AW, MF), pp. 120–130.
LCTESLCTES-2004-Wasowski
Flattening statecharts without explosions (AW), pp. 257–266.
ITiCSEITiCSE-2003-Becker03b #student
Assignments that meet the needs of exceptional students without disadvantaging the average (KB), p. 271.
TACASTACAS-2003-McMillanA #abstraction #automation
Automatic Abstraction without Counterexamples (KLM, NA), pp. 2–17.
ICSMEICSM-2003-BarrE
Safe Upgrading without Restarting (MB, SE), pp. 129–137.
SASSAS-2003-Thiemann #continuation #partial evaluation
Continuation-Based Partial Evaluation without Continuations (PT), pp. 366–382.
STOCSTOC-2003-Lindell #bound
Bounded-concurrent secure two-party computation without setup assumptions (YL), pp. 683–692.
OOPSLAOOPSLA-2003-BlackburnM #garbage collection #performance
Ulterior reference counting: fast garbage collection without a long wait (SB, KSM), pp. 344–358.
PPDPPPDP-2003-AntoyBH
Conditional narrowing without conditions (SA, BB, MH), pp. 20–31.
SACSAC-2003-HuangXSP #mining
Mining Confident Colocation Rules without A Support Threshold (YH, HX, SS, JP), pp. 497–501.
SACSAC-2003-WuC #information retrieval #ranking
Methods for Ranking Information Retrieval Systems Without Relevance Judgments (SW, FC), pp. 811–816.
LCTESLCTES-2003-DhurjatiKAL #garbage collection #memory management #runtime #safety
Memory safety without runtime checks or garbage collection (DD, SK, VSA, CL), pp. 69–80.
CADECADE-2003-Nivelle #axiom #first-order #proving
Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms (HdN), pp. 365–379.
CSLCSL-2003-Korovina #aspect-oriented #similarity
Computational Aspects of σ-Definability over the Real Numbers without the Equality Test (MVK), pp. 330–344.
ASEASE-2002-GueheneucDJ #dynamic analysis #java #source code
No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs (YGG, RD, NJ), p. 117–?.
ICGTICGT-2002-FernandezM #call-by #graph grammar
Call-by-Value λ-Graph Rewriting Without Rewriting (MF, IM), pp. 75–89.
CHICHI-2002-ZhengVBOO #process #social #trust
Trust without touch: jumpstarting long-distance trust with initial social activities (JZ, ESV, NB, JSO, GMO), pp. 141–146.
ICPRICPR-v2-2002-BrandtHE #image #on the
On the Alignment of Transmission Electron Microscope Images without Fiducial Markers (SSB, JH, PE), pp. 278–281.
ICPRICPR-v3-2002-KitasakaMHT #3d #automation #image #modelling #using
A Method for Automated Extraction of Aorta and Pulmonary Artery in the Mediastinum Using Medial Line Models from 3D Chest X-ray CT Images without Contrast Materials (TK, KM, JiH, JiT), p. 273–?.
ICPRICPR-v3-2002-LuT #analysis #documentation #image #layout #word
Word Spotting in Chinese Document Images without Layout Analysis (YL, CLT), pp. 57–60.
OOPSLAOOPSLA-2002-KawachiyaKO #java
Lock reservation: Java locks can mostly do without atomic operations (KK, AK, TO), pp. 130–141.
ICSMEICSM-2001-OtaniY #component #network #off the shelf
A Customization Method for Network Management Functions without Modification of Off-the-Shelf Components (TO, YY), pp. 460–469.
PLDIPLDI-2001-BaconALRS #garbage collection #java #multi
Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector (DFB, CRA, HBL, VTR, SES), pp. 92–103.
CIAACIAA-2001-BoigelotL #equation
Counting the Solutions of Presburger Equations without Enumerating Them (BB, LL), pp. 40–51.
ICALPICALP-2001-LiN #generative #performance
Efficient Generation of Plane Triangulations without Repetitions (ZL, SIN), pp. 433–443.
ICFPICFP-2001-DimockWMTW #ml #standard #type safety
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML (AD, IW, RM, FAT, JBW), pp. 14–25.
CIKMCIKM-2001-WangHCC #mining
Mining Confident Rules Without Support Requirement (KW, YH, DWLC, FYLC), pp. 89–96.
SIGIRSIGIR-2001-JinFH #automation #information retrieval #named
Meta-scoring: Automatically Evaluating Term Weighting Schemes in IR without Precision-Recall (RJ, CF, AGH), pp. 83–89.
SIGIRSIGIR-2001-SoboroffNC #ranking #retrieval
Ranking Retrieval Systems without Relevance Judgments (IS, CKN, PC), pp. 66–73.
OOPSLAOOPSLA-2001-CzajkowskiD #evolution #multi #virtual machine
Multitasking without Compromise: A Virtual Machine Evolution (GC, LD), pp. 125–138.
CSLCSL-2001-Schroder
Life without the Terminal Type (LS), pp. 429–442.
LICSLICS-2001-Salibra #semantics #λ-calculus
A Continuum of Theories of λ Calculus without Semantics (AS), pp. 334–343.
SIGMODSIGMOD-2000-HanPY #generative #mining
Mining Frequent Patterns without Candidate Generation (JH, JP, YY), pp. 1–12.
ITiCSEITiCSE-2000-Gerhardt-Powals
Have a great lab without needing roller skates (JGP), p. 182.
WRLAWRLA-2000-NakamuraO #evaluation #normalisation #on-demand
The evaluation strategy for head normal form with and without on-demand flags (MN, KO), pp. 212–228.
ICPRICPR-v1-2000-SappaG #bound #fault #image #modelling #optimisation
Modeling Range Images with Bounded Error Triangular Meshes without Optimization (ADS, MAG), pp. 1392–1395.
ICPRICPR-v1-2000-SugayaO #algorithm #integration
Stereo by Integration of Two Algorithms with/without Occlusion Handling (YS, YO), pp. 1109–1113.
OOPSLAOOPSLA-2000-BaconST #java #named
Guava: a dialect of Java without data races (DFB, RES, AT), pp. 382–400.
OOPSLAOOPSLA-2000-RubyL #subclass
Safely creating correct subclasses without seeing superclass code (CR, GTL), pp. 208–228.
TOOLSTOOLS-ASIA-2000-LiuJC #approach #graph
A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts (GL, WJ, ZC), pp. 291–298.
REICRE-2000-AntonA #certification #requirements #what
What Do You Mean I’ve Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals (AIA, JMA), p. 151.
REICRE-2000-Mead00a #certification #requirements #what
What Do You Mean I’m Practicing without a License? Certification and Licensing of Requirements Engineering Professionals (NRM), p. 152.
DACDAC-1999-ZhaoM #array #estimation #memory management
Exact Memory Size Estimation for Array Computations without Loop Unrolling (YZ, SM), pp. 811–816.
SIGMODSIGMOD-1999-AboulnagaC #self
Self-tuning Histograms: Building Histograms Without Looking at Data (AA, SC), pp. 181–192.
TACASTACAS-1999-BiereCCZ #model checking
Symbolic Model Checking without BDDs (AB, AC, EMC, YZ), pp. 193–207.
STOCSTOC-1999-AwerbuchALR #migration
Minimizing the Flow Time Without Migration (BA, YA, SL, OR), pp. 198–205.
STOCSTOC-1999-SudanTV #generative #pseudo
Pseudorandom Generators Without the XOR Lemma (Extended Abstract) (MS, LT, SPV), pp. 537–546.
FLOPSFLOPS-1999-AntoyT #higher-order
Typed Higher-Order Narrowing without Higher-Order Strategies (SA, APT), pp. 335–353.
FLOPSFLOPS-1999-CamaraoF #strict #type inference
Type Inference for Overloading without Restrictions, Declarations or Annotations (CC, LF), pp. 37–52.
ICFPICFP-1999-BentonK #java
Interlanguage Working Without Tears: Blending SML with Java (NB, AK), pp. 126–137.
IFLIFL-1999-Chitil #deforestation
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining (OC), pp. 19–35.
CAVCAV-1999-BiereCRZ #model checking #safety #using
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs (AB, EMC, RR, YZ), pp. 60–71.
CSLCSL-1999-DiekertG #logic
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces (VD, PG), pp. 188–203.
DATEDATE-1998-Eijk #equivalence #traversal
Sequential Equivalence Checking without State Space Traversal (CAJvE), pp. 618–623.
DATEDATE-1998-Lin #compilation #concurrent #performance #runtime #scheduling #source code
Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling (BL), pp. 211–217.
DATEDATE-1998-Mutz #modelling
Register Transfer Level VHDL Models without Clocks (MM), pp. 153–158.
DATEDATE-1998-SungH #hardware
Optimized Timed Hardware Software Cosimulation without Roll-back (WS, SH), pp. 945–946.
SIGMODSIGMOD-1998-Cohen #database #integration #query #semistructured data #similarity #using
Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity (WWC), pp. 201–212.
ICMLICML-1998-FrankW #generative #optimisation #set
Generating Accurate Rule Sets Without Global Optimization (EF, IHW), pp. 144–151.
TOOLSTOOLS-USA-1998-Campbell #adaptation #component #reuse
Adaptable Components for Reuse without Rework (GHCJ), p. 362.
SACSAC-1998-Li98a #algorithm #distributed #online #random
Deterministic and randomized algorithms for distributed on-line task assignment and load balancing without load status information (KL), pp. 613–622.
ISMMISMM-1998-HuelsbergenW #concurrent #garbage collection
Very Concurrent Mark-&-Sweep Garbage Collection without Fine-Grain Synchronization (LH, PW), pp. 166–175.
ISSTAISSTA-1998-GodefroidHJ #analysis #model checking #monitoring #using
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft (PG, RSH, LJJ), pp. 124–133.
LICSLICS-1998-Bars #higher-order #logic
Fragments of Existential Second-Order Logic without 0-1 Laws (JMLB), pp. 525–536.
LICSLICS-1998-BorealeS #bisimulation #calculus
Bisimulation in Name-Passing Calculi without Matching (MB, DS), pp. 165–175.
ICDARICDAR-1997-NakagawaHYSHA #database #online #sequence
On-line Handwritten Character Pattern Database Sampled in a Sequence of Sentences without any Writing Instructions (MN, TH, YY, SiS, LH, KA), pp. 376–381.
ICDARICDAR-1997-OgierMLL #analysis #image #reliability #semantics
An Image Interpretation Device cannot be Reliable without any Semantic Coherency Analysis of the Interpretated Objects — Application to French Cadastral Maps (JMO, RM, JL, YL), pp. 532–535.
ICDARICDAR-1997-OzdilV #recognition #segmentation
Optical Character Recognition Without Segmentation (MAÖ, FTYV), pp. 483–486.
VLDBVLDB-1997-PoosalaI #estimation #independence
Selectivity Estimation Without the Attribute Value Independence Assumption (VP, YEI), pp. 486–495.
ITiCSEITiCSE-1997-BifflG #education #project management #quality #re-engineering
Teaching software engineering and project management to 300 participants without drain of quality or intensity (SB, TG), pp. 51–53.
ICFPICFP-1997-Lassila #code generation #confluence #context-sensitive grammar #functional #metaprogramming #optimisation
A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence (EL), p. 315.
HCIHCI-CC-1997-Long #human-computer #question
Twenty-Five Years of HCI: Growth Without Progress? (JL), pp. 197–200.
HCIHCI-SEC-1997-UchiyamaYKT #3d #geometry #interactive
Presentation and Interaction of Virtual 3D Objects Without Geometrical Model (SU, HY, AK, HT), pp. 869–872.
SIGIRSIGIR-1997-ChenHXGM #retrieval #taxonomy #using
Chinese Text Retrieval Without Using a Dictionary (AC, JH, LX, FCG, JM), pp. 42–49.
ECOOPECOOP-1997-Mezini #evolution
Dynamic Object Evolution without Name Collisions (MM), pp. 190–219.
OOPSLAOOPSLA-1997-ZendraCC #compilation #performance
Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler (OZ, DC, SC), pp. 125–141.
LOPSTRLOPSTR-1997-BossiC #source code
Programs Without Failures (AB, NC), pp. 28–48.
HPCAHPCA-1997-MarkatosK #kernel #operating system
User-Level DMA without Operating System Kernel Modification (EPM, MK), pp. 322–331.
HPDCHPDC-1997-NetzerX #distributed #game studies #source code
Replaying Distributed Programs without Message Logging (RHBN, YX), pp. 137–147.
DACDAC-1996-IyerLA #identification
Identifying Sequential Redundancies Without Search (MAI, DEL, MA), pp. 457–462.
VLDBVLDB-1996-Ogawa #documentation #effectiveness #performance #ranking #scalability #using
Effective & Efficient Document Ranking without using a Large Lexicon (YO), pp. 192–202.
FMFME-1996-Clement #abstraction
Data Reification without Explicit Abstraction Functions (TC), pp. 195–213.
FMFME-1996-Hoare #how #proving #question #reliability
How Did Software Get So Reliable Without Proof? (CARH), pp. 1–17.
CAiSECAiSE-1996-BellahsenePT #design #information management
Views for Information System Design without Reorganization (ZB, PP, MT), pp. 496–513.
ICPRICPR-1996-HsiehLFK #algorithm #image #performance
A fast algorithm for image registration without predetermining correspondences (JWH, HYML, KCF, MTK), pp. 765–769.
ICPRICPR-1996-RoyC
Motion without structure (SR, IJC), pp. 728–734.
ICSEICSE-1996-Hoare #how #proving #reliability
The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract) (CARH), pp. 233–234.
CCCC-1996-ProebstingW #parsing
One-Pass, Optimal Tree Parsing — With Or Without Trees (TAP, BRW), pp. 294–308.
ICLPJICSLP-1996-Ducassen #prolog
Tracing Prolog without a Tracer (Poster Abstract) (MD, JN), p. 534.
ICDARICDAR-v1-1995-MurshedBS #approach #verification
Off-line signature verification, without a priori knowledge of class /spl omega//sub 2/. A new approach (NAM, FB, RS), pp. 191–196.
DLTDLT-1995-Banik #turing machine
Colonies as Systems of Turing Machines Without States (IB), pp. 189–198.
ECOOPECOOP-1995-SteyaertM #inheritance
A Marriage of Class- and Object-Based inheritance Without Unwanted Children (PS, WDM), pp. 127–144.
LOPSTRLOPSTR-1995-Leuschel #constraints #deduction
Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints (ML), pp. 1–16.
ISMMIWMM-1995-Rojemo #functional #garbage collection #lazy evaluation
Generational Garbage Collection without Temporary Space Leaks for Lazy Functional Languages (NR), pp. 145–162.
ICLPILPS-1995-DimopoulosK #logic programming
Logic Programming without Negation as Failure (YD, ACK), pp. 369–383.
LICSLICS-1995-Lynch
Paramodulation without Duplication (CL), pp. 167–177.
PLDIPLDI-1994-HentenryckR #backtracking
Backtracking without Trailing in CLP(RLin) (PVH, VR), pp. 349–360.
ICMLICML-1994-SinghJJ #learning #markov #process
Learning Without State-Estimation in Partially Observable Markovian Decision Processes (SPS, TSJ, MIJ), pp. 284–292.
POPLPOPL-1994-WeiseCES #dependence #graph #representation
Value Dependence Graphs: Representation without Taxation (DW, RFC, MDE, BS), pp. 297–310.
CADECADE-1994-BaumgartnerF
Model Elimination Without Contrapositives (PB, UF), pp. 87–101.
STOCSTOC-1993-PapadimitriouY #linear #matrix #programming
Linear programming without the matrix (CHP, MY), pp. 121–129.
FPCAFPCA-1993-Sparud #garbage collection
Fixing Some Space Leaks without a Garbage Collector (JS), pp. 117–124.
POPLPOPL-1993-PierceT #object-oriented #programming #recursion
Object-Oriented Programming without Recursive Types (BCP, DNT), pp. 299–312.
ICSEICSE-1993-BhandariR #comparative #evaluation #feedback
Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation (ISB, NR), pp. 89–98.
PPoPPPPoPP-1993-ChapmanMZ #fortran #performance
High Performance Fortran Without Templates: An Alternative Model for Distribution and Alignment (BMC, PM, HPZ), pp. 92–101.
CAVCAV-1993-WolperL #detection #reliability
Reliable Hashing without Collosion Detection (PW, DL), pp. 59–70.
ICLPICLP-1993-Marien
Findall without findall/3 (AM), pp. 408–423.
PODSPODS-1992-TurekSP #algorithm #concurrent #data type
Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking (JT, DS, SP), pp. 212–222.
SIGMODSIGMOD-1992-Bamford #consistency #multi #performance #using
Using Multiversioning to Improve Performance Without Loss of Consistency (RB), p. 164.
SIGMODSIGMOD-1992-MohanN #algorithm #scalability
Algorithms for Creating Indexes for Very Large Tables Without Quiescing Updates (CM, IN), pp. 361–370.
ESOPESOP-1992-Goldberg #garbage collection #incremental
Incremental Garbage Collection Without Tags (BG), pp. 200–218.
LISPLFP-1992-Bondorf
Improving Binding Times Without Explicit CPS-Conversion (AB), pp. 1–10.
LISPLFP-1992-GoldbergG #garbage collection #polymorphism #re-engineering
Polymorphic Type Reconstruction for Garbage Collection Without Tags (BG, MG), pp. 53–65.
OOPSLAOOPSLA-1992-MyersGZ #declarative #object-oriented #programming #prototype
Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods (BAM, DAG, BTVZ), pp. 184–200.
LICSLICS-1992-GonthierAL #linear #logic
Linear Logic Without Boxes (GG, MA, JJL), pp. 223–234.
POPLPOPL-1991-SitaramF #continuation #modelling
Modeling Continuations without Continuations (DS, MF), pp. 185–196.
ASPLOSASPLOS-1991-Mellor-CrummeyS
Synchronization without Contention (JMMC, MLS), pp. 269–278.
VLDBVLDB-1990-NaughtonR #how
How to Forget the Past Without Repeating It (JFN, RR), pp. 278–289.
LISPLFP-1990-TolmachA #debugging #ml #reverse engineering #standard
Debugging Standard ML Without Reverse Engineering (APT, AWA), pp. 1–12.
CADECADE-1990-OzturkH #axiom #similarity
Hyper Resolution and Equality Axioms without Function Substitutions (YO, LJH), pp. 456–469.
CAVCAV-1990-CoudertMB #diagrams #verification
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams (OC, JCM, CB), pp. 23–32.
ICLPCLP-1990-Brogi90
AND-Parallelism without Shared Variables (AB), pp. 306–321.
LICSLICS-1990-Courcelle #graph #higher-order #monad #on the #set
On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract) (BC), pp. 190–196.
ICALPICALP-1989-PapadimitriouY
Shortest Paths Without a Map (CHP, MY), pp. 610–620.
CHICHI-1989-JacksonR #named
Circling: a method of mouse-based selection without button presses (JCJ, RJRH), pp. 161–166.
ISSTATAV-1989-Howden #source code #specification #validation
Validating Programs without Specifications (WEH), pp. 2–9.
PODSPODS-1988-LaninS #concurrent #set
Concurrent Set Manipulation without Locking (VL, DS), pp. 211–220.
SIGMODSIGMOD-1988-KorthS #correctness #formal method
Formal Model of Correctness Without Serializability (HFK, GDS), pp. 379–386.
ICALPICALP-1988-Weijland #logic programming #semantics #source code
Semantics for Logic Programs without Occur Check (WPW), pp. 710–726.
LISPLFP-1988-Bawden #evaluation
Reification without Evaluation (AB), pp. 342–349.
OOPSLAOOPSLA-1988-LaLondeG #backtracking #kernel #smalltalk
Building a Backtracking Facility in Smalltalk Without Kernel Support (WRL, MVG), pp. 105–122.
POPLPOPL-1988-HudakY
A Collecting Interpretation of Expressions (Without Powerdomains) (PH, JY), pp. 107–118.
ICALPICALP-1987-ChytilD
Panic Mode without Panic (MC, JD), pp. 260–268.
HCIHCI-CE-1987-Pavard #constraints #design
Design of a Graphic Dialogue Without Syntactic Constraints (BP), pp. 465–472.
POPLPOPL-1987-Oles #concurrent #semantics
Semantics for Concurrency without Powerdomains (FJO), pp. 211–222.
ICLPSLP-1987-GorlickK87 #prolog #source code
Timing Prolog Programs without Clock (MMG, CK), pp. 426–434.
ICALPICALP-1986-HartmanisH #complexity
Complexity Classes Without Machines: On Complete Languages for UP (JH, LAH), pp. 123–135.
OOPSLAOOPSLA-1986-SamplesUH #named #smalltalk
SOAR: Smalltalk Without Bytecodes (ADS, DU, PNH), pp. 107–118.
CADECADE-1986-Toyama #equivalence #how #induction #term rewriting
How to Prove Equivalence of Term Rewriting Systems without Induction (YT), pp. 118–127.
LICSLICS-1986-JouannaudK #automation #equation #induction #proving
Automatic Proofs by Induction in Equational Theories Without Constructors (JPJ, EK), pp. 358–366.
LISPLFP-1984-FriedmanW #named
Reification: Reflection without Metaphysics (DPF, MW), pp. 348–355.
SIGMODSIGMOD-1982-MaierRSSW #independence #logic #query #relational #towards
Toward Logical Data Independence: A Relational Query Language Without Relations (DM, DR, SCS, JS, DSW), pp. 51–60.
SIGMODSIGMOD-1981-Sagiv #question #using
Can We Use the Universal Instance Assumption Without Using Nulls? (YS), pp. 108–120.
POPLPOPL-1981-Pratt #decidability #logic
Program Logic Without Binding is Decidable (VRP), pp. 159–163.
LISPLISP-1980-CampbellF #lisp
Symbolic Computing with and without Lisp (JC, JPF), pp. 1–5.
CADECADE-1980-Guguen #algebra #how #induction
How to Prove Algebraic Inductive Hypotheses Without Induction (JAG), pp. 356–373.
CADECADE-1980-Noll #how
A Note on Resolution: How to Get Rid of Factoring without Loosing Completeness (HN), pp. 250–263.
POPLPOPL-1976-LaLonde #lr #on the #parsing #reduction
On Directly Constructing LR(k) Parsers Without Chain Reductions (WRL), pp. 127–133.
STOCSTOC-1975-EhrenfeuchtR75a #combinator #interactive #on the
On the (Combinatorial) Structure of L Languages without Interactions (AE, GR), pp. 137–144.
DACDAC-1971-HarrisonO #analysis #logic #simulation
Race analysis of digital systems without logic simulation (RAH, DJO), pp. 82–94.
SOSPSOSP-1971-Easton #process
Process Synchronization without Long-Term Interlock (WBE), pp. 95–100.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.