BibSLEIGH — non stem

Used together with:

function (151)
model (138)
use (136)
linear (121)
system (100)

Stem non$ (all stems)

1437 papers:

CASE-2015-Michalek #bound #standard: Motion control with minimization of a boundary off-track for non-Standard N-trailers along forward-followed paths (MMM), pp. 1564–1569.
DAC-2015-LiZHLHX #automation #compilation #performance #stack: Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DAC-2015-TsaiYPLTCC #design #energy #in memory #memory management #using: Energy-efficient non-volatile TCAM search engine design using priority-decision in memory technology for DPI (HJT, KHY, YCP, CCL, YHT, MFC, TFC), p. 6.
DAC-2015-WangH0LL #logic #memory management #named: ProPRAM: exploiting the transparent logic resources in non-volatile memory for near data computing (YW, YH, LZ, HL, XL), p. 6.
DAC-2015-XieZPHLX #energy: Fixing the broken time machine: consistency-aware checkpointing for energy harvesting powered non-volatile processor (MX, MZ, CP, JH, YL, CJX), p. 6.
DATE-2015-MunchPHH #embedded #manycore #named #realtime #scalability #using: MPIOV: scaling hardware-based I/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges to (multi-core) multi-processor systems (DM, MP, OH, AH), pp. 579–584.
DATE-2015-SonLKYL #smarttech: A small non-volatile write buffer to reduce storage writes in smartphones (MS, SL, KK, SY, SL), pp. 713–718.
DATE-2015-VijayakumarK #design #modelling #novel: A novel modeling attack resistant PUF design based on non-linear voltage transfer characteristics (AV, SK), pp. 653–658.
DATE-2015-WangHNYYWYZ #energy #in memory #recognition: An energy-efficient non-volatile in-memory accelerator for sparse-representation based face recognition (YW, HH, LN, HY, MY, CW, WY, JZ), pp. 932–935.
DATE-2015-ZhaoLXLHX #cyber-physical #energy #reduction: Software assisted non-volatile register reduction for energy harvesting based cyber-physical system (MZ, QL, MX, YL, JH, CJX), pp. 567–572.
PODS-2015-AlvianoP: Default Negation for Non-Guarded Existential Rules (MA, AP), pp. 79–90.
SIGMOD-2015-ArulrajPD #database #memory management: Let’s Talk About Storage & Recovery Methods for Non-Volatile Memory Database Systems (JA, AP, SD), pp. 707–722.
SIGMOD-2015-Viglas #data transformation #memory management: Data Management in Non-Volatile Memory (SDV), pp. 1707–1711.
VLDB-2015-ChatzistergiouCV #in memory #named: REWIND: Recovery Write-Ahead System for In-Memory Non-Volatile Data-Structures (AC, MC, SDV), pp. 497–508.
VLDB-2015-ChenJ #in memory #memory management #persistent: Persistent B+-Trees in Non-Volatile Main Memory (SC, QJ), pp. 786–797.
ESOP-2015-DavidKL #source code #strict #termination: Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs (CD, DK, ML), pp. 183–204.
TACAS-2015-AlbertFR #analysis #cumulative: Non-cumulative Resource Analysis (EA, JCF, GRD), pp. 85–100.
MSR-2015-ZouXGYYZ #analysis #developer #empirical #non-functional #requirements #stack overflow #topic #using: Which Non-functional Requirements Do Developers Focus On? An Empirical Study on Stack Overflow Using Topic Analysis (JZ, LX, WG, MY, DY, XZ), pp. 446–449.
SANER-2015-LianZ #feature model #non-functional #product line #requirements #towards: Optimized feature selection towards functional and non-functional requirements in Software Product Lines (XL, LZ), pp. 191–200.
SANER-2015-MattsenWS #abstract domain #analysis: A non-convex abstract domain for the value analysis of binaries (SM, AW, SS), pp. 271–280.
PEPM-2015-KootH #analysis #exception #functional #higher-order #semantics #strict #type system: Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.
PEPM-2015-VerstoepH #analysis #functional #higher-order #strict: Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.
PLDI-2015-LeQC #specification #termination: Termination and non-termination specification inference (TCL, SQ, WNC), pp. 489–498.
SAS-2015-AldousM #low level #static analysis: Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.
STOC-2015-AggarwalDKO #reduction: Non-malleable Reductions and Applications (DA, YD, TK, MO), pp. 459–468.
STOC-2015-ChenDST #adaptation #query #testing: Boolean Function Monotonicity Testing Requires (Almost) n 1/2 Non-adaptive Queries (XC, AD, RAS, LYT), pp. 519–528.
STOC-2015-KesselheimKN #order #problem: Secretary Problems with Non-Uniform Arrival Order (TK, RDK, RN), pp. 879–888.
CIAA-2015-HeamJ #automaton #generative #morphism #on the #random: On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism (PCH, JLJ), pp. 140–152.
ICALP-v1-2015-Avigdor-Elgrabli #on the #order #random: On the Randomized Competitive Ratio of Reordering Buffer Management with Non-Uniform Costs (NAE, SI, BM, YR), pp. 78–90.
ICALP-v1-2015-AzarC: Serving in the Dark should be done Non-Uniformly (YA, IRC), pp. 91–102.
ICALP-v2-2015-MazzaT: Parsimonious Types and Non-uniform Computation (DM, KT), pp. 350–361.
ICALP-v2-2015-StatonU #algebra: Effect Algebras, Presheaves, Non-locality and Contextuality (SS, SU), pp. 401–413.
LATA-2015-ChoHK #mining: Frequent Pattern Mining with Non-overlapping Inversions (DJC, YSH, HK), pp. 121–132.
LATA-2015-LopezN: Coding Non-orientable Laminations (LML, PN), pp. 340–352.
CHI-2015-GaoYHF #automation #collaboration #game studies #how #multi: Improving Multilingual Collaboration by Displaying How Non-native Speakers Use Automated Transcripts and Bilingual Dictionaries (GG, NY, AMJH, SRF), pp. 3463–3472.
CHI-2015-GoelZVP #detection #flexibility #gesture #named #using: Tongue-in-Cheek: Using Wireless Signals to Enable Non-Intrusive and Flexible Facial Gestures Detection (MG, CZ, RV, SNP), pp. 255–258.
CHI-2015-GuerreiroRMGN0 #physics #tablet: TabLETS Get Physical: Non-Visual Text Entry on Tablet Devices (JG, AR, KM, TJVG, HN, DG), pp. 39–42.
CHI-2015-PatelO: Contextual Influences on the Use and Non-Use of Digital Technology While Exercising at the Gym (MP, AAO), pp. 2923–2932.
CHI-2015-SahooPS: Control of Non-Solid Diffusers by Electrostatic Charging (DRS, DMP, SS), pp. 11–14.
DHM-EH-2015-LiaoYGMOH #comparison: Study of Caregiver’s Waist Movement Comparison Between Expert and Non-expert During Transfer Care (ML, TY, AG, YM, TO, HH), pp. 164–173.
DHM-EH-2015-SirisuwanYYH #process: EMG Activity of Arms Muscles and Body Movement During Chucking in Lathebetween Expert and Non-expert (PS, HY, TY, HH), pp. 216–226.
DHM-HM-2015-ChottikamponMMS #comparison #metric: Comparison of Braiding Skills Between Expert and Non-experts by Eye’s Movement Measurement (KC, SM, HM, PS, AG, TU, MI, MT, HN, HH), pp. 14–23.
DHM-HM-2015-ChottikamponTMS #comparison #metric: Comparison Knitting Skills Between Experts and Non-experts by Measurement of the Arm Movement (KC, ST, SM, PS, MI, HN, HH), pp. 3–13.
DHM-HM-2015-EndoSSNKH #comparison: Comparison of Description Skill on Characteristics of the Urushi Crafts Work Between Expert Craftspeople and Non-expert Craftspeople (AE, MS, YS, SN, NK, HH), pp. 46–57.
DHM-HM-2015-SudaTHYGH #analysis #process: Process Analysis of Expert and Non-expert Engineers in Quartz Glass Joint Process (MS, TT, AH, YY, AG, HH), pp. 389–398.
DHM-HM-2015-SugimotoINYG #difference #process: Difference in Polishing Process of FRP Between Expert and Non-expert (TS, DI, HN, YY, AG), pp. 174–181.
DHM-HM-2015-WangTTITGH #analysis: Numerical Analysis on “Kana-Ami” Structure Between Expert and Non-expert (ZW, KiT, TT, KI, YT, AG, HH), pp. 192–200.
DUXU-DD-2015-HeidtKPR #community #human-computer: HCI and the Community of Non-users (MH, KK, LP, PR), pp. 44–52.
DUXU-UI-2015-GrimaldiCM #communication #interface #named: CubeMate: A New Communication Device as Non-verbal Interface in a Shared Space (RG, VC, CMM), pp. 434–443.
DUXU-UI-2015-WiedauGFGW #communication #named: Commiticator: Enhancing Non-verbal Communication by Means of Magnetic Vision (AW, DG, RF, TG, MW), pp. 705–714.
HCI-DE-2015-Semnani-AzadN #automation #behaviour: Automatic Interpretation of Negotiators’ Affect and Involvement Based on Their Non-verbal Behavior (ZSA, EN), pp. 520–529.
HCI-IT-2015-OkuboT #chat #development #visualisation: Development of Chat System Added with Visualized Unconscious Non-verbal Information (MO, HT), pp. 353–362.
CAiSE-2015-DelmasP #policy #requirements #verification: Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies (RD, TP), pp. 151–165.
ICEIS-v1-2015-Xylogiannopoulos #detection #roadmap: Discretization Method for the Detection of Local Extrema and Trends in Non-discrete Time Series (KFX, PK, RA), pp. 346–352.
ICML-2015-FlaxmanWNNS #performance #process: Fast Kronecker Inference in Gaussian Processes with non-Gaussian Likelihoods (SF, AGW, DN, HN, AJS), pp. 607–616.
ICML-2015-GeZ #matrix: Intersecting Faces: Non-negative Matrix Factorization With New Guarantees (RG, JZ), pp. 2295–2303.
ICML-2015-LesnerS #approximate #policy: Non-Stationary Approximate Modified Policy Iteration (BL, BS), pp. 1567–1575.
ICML-2015-LiuHW #collaboration: Non-Linear Cross-Domain Collaborative Filtering via Hyper-Structure Transfer (YFL, CYH, SHW), pp. 1190–1198.
ICML-2015-NarasimhanK0 #metric #optimisation #performance: Optimizing Non-decomposable Performance Measures: A Tale of Two Classes (HN, PK, PJ), pp. 199–208.
ICML-2015-SaRO #convergence #matrix #probability #problem: Global Convergence of Stochastic Gradient Descent for Some Non-convex Matrix Problems (CDS, CR, KO), pp. 2332–2341.
ICML-2015-YuanHTLC #modelling: Non-Gaussian Discriminative Factor Models via the Max-Margin Rank-Likelihood (XY, RH, ET, RL, LC), pp. 1254–1263.
KDD-2015-HouWGD #clustering #programming #rank: Non-exhaustive, Overlapping Clustering via Low-Rank Semidefinite Programming (YH, JJW, DFG, ISD), pp. 427–436.
KDD-2015-OuCWW0 #component #similarity #transitive: Non-transitive Hashing with Latent Similarity Components (MO, PC, FW, JW, WZ), pp. 895–904.
SEKE-2015-LacherWFPNM #behaviour #empirical #metric: A Behavior Marker tool for measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation (LLL, GSW, FF, MP, KEN, JM), pp. 409–414.
SEKE-2015-LongoV #diagrams #interactive: Creating User Scenarios through User Interaction Diagrams by Non-Technical Customers (DHL, PV), pp. 330–335.
SEKE-2015-Wang #metric #problem: Improved Metrics for Non-Classic Test Prioritization Problems (ZW), pp. 562–566.
SIGIR-2015-HtunHB #collaboration #information management #information retrieval #towards: Towards Quantifying the Impact of Non-Uniform Information Access in Collaborative Information Retrieval (NNH, MH, LB), pp. 843–846.
SIGIR-2015-LiomaSLH #dependence #information retrieval: Non-Compositional Term Dependence for Information Retrieval (CL, JGS, BL, NDH), pp. 595–604.
SIGIR-2015-RenR #parametricity #process: Summarizing Contrastive Themes via Hierarchical Non-Parametric Processes (ZR, MdR), pp. 93–102.
SIGIR-2015-WangLWZNM #behaviour #modelling: Incorporating Non-sequential Behavior into Click Models (CW, YL, MW, KZ, JYN, SM), pp. 283–292.
SIGIR-2015-YangKML #modelling #parametricity #sentiment #topic: Parametric and Non-parametric User-aware Sentiment Topic Models (ZY, AK, AM, SL), pp. 413–422.
ECOOP-2015-BostromM #composition #finite #source code #verification: Modular Verification of Finite Blocking in Non-terminating Programs (PB, PM), pp. 639–663.
SAC-2015-FauconnierKR #approach #machine learning #recognition #taxonomy: A supervised machine learning approach for taxonomic relation recognition through non-linear enumerative structures (JPF, MK, BR), pp. 423–425.
SAC-2015-JuniorRSM #approach #deployment #multi #non-functional #requirements: A multi-criteria approach for assessing cloud deployment options based on non-functional requirements (RGJ, TR, AS, NCM), pp. 1383–1389.
SAC-2015-LeeRH #file system #memory management #performance: Performance implications of cache flushes for non-volatile memory file systems (KL, SR, HH), pp. 2069–2071.
SAC-2015-Oikawa #adaptation #memory management: Exposing non-volatile memory cache for adaptive storage access (SO), pp. 2021–2026.
SAC-2015-RajtmajerGMS #behaviour #game studies #network #online #social: An evolutionary game model for the spread of non-cooperative behavior in online social networks (SMR, CG, DM, ACS), pp. 1154–1159.
SAC-2015-RodriguesMSS #3d #education #game studies #interactive: Beyond fun: an interactive and educational 3D traffic rules game controlled by non-traditional devices (MAFR, DVdM, YRS, YRS), pp. 239–246.
ICSE-v1-2015-NistorCRL #detection #named #performance #problem: CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes (AN, PCC, CR, SL), pp. 902–912.
ICSE-v1-2015-WhalenPRSG #approach #flexibility #metric: A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics (MWW, SP, NR, MS, DG), pp. 506–516.
ICSE-v2-2015-ParkHKLC #case study #nondeterminism #testing: Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven (YP, SH, MK, DL, JC), pp. 29–38.
ASPLOS-2015-YoungNQ #encryption #named: DEUCE: Write-Efficient Encryption for Non-Volatile Memories (VY, PJN, MKQ), pp. 33–44.
ASPLOS-2015-ZhangYMS #memory management #named #reliability: Mojim: A Reliable and Highly-Available Non-Volatile Memory System (YZ, JY, AM, SS), pp. 3–18.
HPCA-2015-ChenZPP #towards: Power punch: Towards non-blocking power-gating of NoC routers (LC, DZ, MP, TMP), pp. 378–389.
HPCA-2015-DuZCMM #memory management #physics: Supporting superpages in non-contiguous physical memory (YD, MZ, BRC, DM, RGM), pp. 223–234.
CADE-2015-ChocronFR #revisited: A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (PC, PF, CR), pp. 419–433.
CADE-2015-SakaiOO #confluence: Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (MS, MO, MO), pp. 111–126.
CAV-2015-CernyCHRRST #scheduling #synthesis #using: From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (PC, EMC, TAH, AR, LR, RS, TT), pp. 180–197.
CSL-2015-HetzlZ: Tree Grammars for the Elimination of Non-prenex Cuts (SH, SZ), pp. 110–127.
ICLP-2015-KieslST #analysis #on the #source code: On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT).
ICST-2015-Haser #integration #testing: Non-Intrusive Documentation-Driven Integration Testing (FH), pp. 1–2.
RTA-2015-EndrullisZ #automaton #finite #proving: Proving non-termination by finite automata (JE, HZ), pp. 160–176.
SAT-2015-CaiLS #named #satisfiability: CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability (SC, CL, KS), pp. 1–8.
TLCA-2015-AhrensCS #type system: Non-Wellfounded Trees in Homotopy Type Theory (BA, PC, RS), pp. 17–30.
TLCA-2015-BezemCP #set: Non-Constructivity in Kan Simplicial Sets (MB, TC, EP), pp. 92–106.
VMCAI-2015-LiuR #abstraction #array: Abstraction of Arrays Based on Non Contiguous Partitions (JL, XR), pp. 282–299.
CBSE-2014-BuissonCDLM #component #configuration management: Coqcots & pycots: non-stopping components for safe dynamic reconfiguration (JB, EC, FD, EL, SM), pp. 85–90.
CASE-2014-KeferZX #industrial: A versatile, non-linear and elasto-static stiffness model of articulated industrial robots (MK, JZ, HX), pp. 208–214.
CASE-2014-LaiTCL #energy #industrial #monitoring #performance: Non-Intrusive Load Monitoring applied in energy efficiency of the smart manufacturing industry: A case of air-conditioner (YHL, IJT, CYC, CFL), pp. 1127–1132.
CASE-2014-ZhaoUH #divide and conquer #flexibility #synthesis: A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems (MZ, MU, YH), pp. 455–460.
DAC-2014-AndraudSS: One-Shot Calibration of RF Circuits Based on Non-Intrusive Sensors (MA, HGDS, ES), p. 2.
DAC-2014-CongLXZ #architecture #clustering #reuse: An Optimal Microarchitecture for Stencil Computation Acceleration Based on Non-Uniform Partitioning of Data Reuse Buffers (JC, PL, BX, PZ), p. 6.
DAC-2014-KoestersG #verification: Verification of Non-Mainline Functions in Todays Processor Chips (JK, AG), p. 3.
DAC-2014-SlijepcevicKAQC #manycore #realtime: Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems (MS, LK, JA, EQ, FJC), p. 6.
DAC-2014-TsaiCYYHCCC #energy #using: Leveraging Data Lifetime for Energy-Aware Last Level Non-Volatile SRAM Caches using Redundant Store Elimination (HJT, CCC, KHY, TCY, LYH, CHC, MFC, TFC), p. 6.
DATE-2014-AbeleinCEGRGRTUW #architecture #integration: Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures (UA, AC, PE, MG, FR, LRG, TR, JT, DU, HJW), pp. 1–6.
DATE-2014-DuanW: Exploiting narrow-width values for improving non-volatile cache lifetime (GD, SW), pp. 1–4.
DATE-2014-JunsangsriLH #concurrent #detection #hybrid: A hybrid non-volatile SRAM cell with concurrent SEU detection and correction (PJ, FL, JH), pp. 1–4.
DATE-2014-KimSAVG #enterprise #metric: Global fan speed control considering non-ideal temperature measurements in enterprise servers (JK, MMS, DA, KV, KCG), pp. 1–6.
DATE-2014-LangeSJHLS #correlation #modelling #parametricity #probability #standard: Probabilistic standard cell modeling considering non-Gaussian parameters and correlations (AL, CS, RJ, JH, IL, US), pp. 1–4.
DATE-2014-LoiB #multi: A multi banked — Multi ported — Non blocking shared L2 cache for MPSoC platforms (IL, LB), pp. 1–6.
DATE-2014-MaliukM #framework #network #prototype: An analog non-volatile neural network platform for prototyping RF BIST solutions (DM, YM), pp. 1–6.
DATE-2014-PalitSHHNN #architecture #case study: Impact of steep-slope transistors on non-von Neumann architectures: CNN case study (IP, BS, AH, XSH, JN, MTN), pp. 1–6.
DATE-2014-Pomeranz #generative #testing: Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
DATE-2014-QiZ #modelling #performance #simulation: Efficient simulation and modelling of non-rectangular NoC topologies (JQ, MZ), pp. 1–4.
PODS-2014-FinkO #database #probability #query: A dichotomy for non-repeating queries with negation in probabilistic databases (RF, DO), pp. 144–155.
VLDB-2014-WangJ #memory management #scalability: Scalable Logging through Emerging Non-Volatile Memory (TW, RJ), pp. 865–876.
ESOP-2014-BocchiMT #nondeterminism: Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.
FASE-2014-BaierDKDKMW #model checking #multi #probability #reasoning #standard: Probabilistic Model Checking and Non-standard Multi-objective Reasoning (CB, CD, SK, MD, JK, SM, SW), pp. 1–16.
FoSSaCS-2014-Munch-Maccagnoni #composition #modelling: Models of a Non-associative Composition (GMM), pp. 396–410.
MSR-2014-JoorabchiMM #debugging #exclamation: Works for me! characterizing non-reproducible bug reports (MEJ, MM, AM), pp. 62–71.
SCAM-2014-SajnaniSL #case study #comparative #debugging #java: A Comparative Study of Bug Patterns in Java Cloned and Non-cloned Code (HS, VS, CVL), pp. 21–30.
STOC-2014-AggarwalDL #combinator: Non-malleable codes from additive combinatorics (DA, YD, SL), pp. 774–783.
STOC-2014-ArtemenkoS #generative #pseudo: Pseudorandom generators with optimal seed length for non-boolean poly-size circuits (SA, RS), pp. 99–108.
STOC-2014-GalanisSV: Inapproximability for antiferromagnetic spin systems in the tree non-uniqueness region (AG, DS, EV), pp. 823–831.
STOC-2014-GargMV #algorithm #equilibrium: Dichotomies in equilibrium computation, and complementary pivot algorithms for a new class of non-separable utility functions (JG, RM, VVV), pp. 525–534.
STOC-2014-GoyalOSV #black box: Black-box non-black-box zero knowledge (VG, RO, AS, IV), pp. 515–524.
STOC-2014-ImKM #algorithm #constraints #scheduling: Competitive algorithms from competitive equilibria: non-clairvoyant scheduling under polyhedral constraints (SI, JK, KM), pp. 313–322.
AFL-2014-CarapelleFGQ13 #game studies #word: Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 174–187.
ICALP-v1-2014-CzumajV #markov: Thorp Shuffling, Butterflies, and Non-Markovian Couplings (AC, BV), pp. 344–355.
ICALP-v2-2014-Mazza #λ-calculus: Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus (DM), pp. 305–317.
ICALP-v2-2014-Wehar: Hardness Results for Intersection Non-Emptiness (MW), pp. 354–362.
LATA-2014-CarapelleFGQ #satisfiability #word: Satisfiability for MTL and TPTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 248–259.
ICFP-2014-Winograd-CortH #first-order #how: Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough (DWC, PH), pp. 213–225.
ICGT-2014-AnjorinLST #graph grammar #model transformation #performance #static analysis: A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.
CHI-2014-GaoYHEF #automation #communication #multi: Effects of public vs. private automated transcripts on multiparty communication between native and non-native english speakers (GG, NY, AMJH, AE, SRF), pp. 843–852.
CHI-2014-HautasaariYG #communication #detection #quote: “Maybe it was a joke”: emotion detection in text-only communication by non-native english speakers (AMJH, NY, GG), pp. 3715–3724.
CHI-2014-OKaneRB #mobile: Gaining empathy for non-routine mobile device use through autoethnography (AAO, YR, AEB), pp. 987–990.
CHI-2014-SeokWL #design #experience #user interface: Non-finito products: a new design space of user creativity for personal user experience (JS, JbW, YKL), pp. 693–702.
CHI-2014-ZhangGTR #interface: Non-intrusive tongue machine interface (QZ, SG, BT, RPNR), pp. 2555–2558.
CSCW-2014-LeeT: Sounds of silence: exploring contributions to conversations, non-responses and the impact of mediating technologies in triple space (JSL, DGT), pp. 1561–1572.
CSCW-2014-XuHB #design #feedback #generative #named #using #visual notation: Voyant: generating structured feedback on visual designs using a crowd of non-experts (AX, SWH, BPB), pp. 1433–1444.
DHM-2014-ButlewskiMC #development #safety: Non-financial Factors of Job Satisfaction in the Development of a Safety Culture Based on Examples from Poland and Romania (MB, AM, RC), pp. 577–587.
DHM-2014-TakaiYGWI #case study #comparative: Comparative Study on the Feature of Kitchen Knife Sharpening Skill between Expert and Non-Expert (YT, MY, AG, ZW, AI), pp. 292–300.
DUXU-TMT-2014-FilippiB #analysis #aspect-oriented #functional #human-computer #interactive #nondeterminism: In-Depth Analysis of Non-deterministic Aspects of Human-Machine Interaction and Update of Dedicated Functional Mock-Ups (SF, DB), pp. 185–196.
DUXU-TMT-2014-FrancaMS #internet: Digital Self: Fiction and Non-fiction on the Internet (ACPdF, LRdLM, MMS), pp. 537–547.
HCI-AS-2014-BangSKSSWW #interface: Digital Love Letter: A Handwriting Based Interface for Non-instant Digital Messenger (SJB, YS, JDK, KS, CKS, GW, SW), pp. 103–113.
HCI-AS-2014-MwangiKK #communication #online: Textual Emotion Communication with Non-verbal Symbols in Online Environments (ENM, SK, MK), pp. 42–48.
CIKM-2014-ChenC #data type #incremental #matrix #named: GI-NMF: Group Incremental Non-Negative Matrix Factorization on Data Streams (XC, KSC), pp. 1119–1128.
CIKM-2014-CuiYH #independence: Non-independent Cascade Formation: Temporal and Spatial Effects (BC, SJY, CH), pp. 1923–1926.
ICML-c1-2014-LiWLZT #dependence #modelling #on the #topic: On Modelling Non-linear Topical Dependencies (ZL, SW, JL, PZ, JT), pp. 458–466.
ICML-c1-2014-RamdasP #kernel: Margins, Kernels and Non-linear Smoothed Perceptrons (AR, JP), pp. 244–252.
ICML-c2-2014-ChenLX #clustering #graph #nondeterminism: Weighted Graph Clustering with Non-Uniform Uncertainties (YC, SHL, HX), pp. 1566–1574.
ICML-c2-2014-Hernandez-LobatoHG14a #matrix #probability: Probabilistic Matrix Factorization with Non-random Missing Data (JMHL, NH, ZG), pp. 1512–1520.
ICML-c2-2014-JawanpuriaVN #feature model #kernel #learning #multi #on the: On p-norm Path Following in Multiple Kernel Learning for Non-linear Feature Selection (PJ, MV, JSN), pp. 118–126.
ICML-c2-2014-SnoekSZA #optimisation: Input Warping for Bayesian Optimization of Non-Stationary Functions (JS, KS, RSZ, RPA), pp. 1674–1682.
ICML-c2-2014-TitsiasL #probability: Doubly Stochastic Variational Bayes for non-Conjugate Inference (MKT, MLG), pp. 1971–1979.
ICPR-2014-AlmogahedK #game studies #named #using: NEATER: Filtering of Over-sampled Data Using Non-cooperative Game Theory (BAA, IAK), pp. 1371–1376.
ICPR-2014-BrownFP #detection #self #using: Temporal Non-maximum Suppression for Pedestrian Detection Using Self-Calibration (LMGB, RSF, SP), pp. 2239–2244.
ICPR-2014-ChamroukhiBG #clustering #parametricity: Bayesian Non-parametric Parsimonious Gaussian Mixture for Clustering (FC, MB, HG), pp. 1460–1465.
ICPR-2014-ChaudhariM #clustering #matrix #semistructured data #symmetry #using: Average Overlap for Clustering Incomplete Data Using Symmetric Non-negative Matrix Factorization (SC, MNM), pp. 1431–1436.
ICPR-2014-ChernousovaLTMW #parametricity #validation: Non-enumerative Cross Validation for the Determination of Structural Parameters in Feature-Selective SVMs (EC, PL, AT, VM, DW), pp. 3654–3659.
ICPR-2014-ChironGM #behaviour #parametricity #using: Discovering Emergent Behaviors from Tracks Using Hierarchical Non-parametric Bayesian Methods (GC, PGK, MM), pp. 2185–2190.
ICPR-2014-EnzbergA #automation #fault #recognition: A Defect Recognition System for Automated Inspection of Non-rigid Surfaces (SvE, AAH), pp. 1812–1816.
ICPR-2014-FornoniC #learning #naive bayes #recognition: Scene Recognition with Naive Bayes Non-linear Learning (MF, BC), pp. 3404–3409.
ICPR-2014-HtikeH #adaptation #detection #performance #video: Efficient Non-iterative Domain Adaptation of Pedestrian Detectors to Video Scenes (KKH, DCH), pp. 654–659.
ICPR-2014-Kanatani #estimation #geometry #optimisation #statistics: Statistical Optimization for Geometric Estimation: Minimization vs. Non-minimization (KK), pp. 1–8.
ICPR-2014-KuangLJL #3d #graph: Graph Contexts for Retrieving Deformable Non-rigid 3D Shapes (ZK, ZL, XJ, YL), pp. 2820–2825.
ICPR-2014-KumarA2 #stack #using: Non-frontal Camera Calibration Using Focal Stack Imagery (AK, NA), pp. 202–207.
ICPR-2014-LiuL0L #classification #image #learning: Regularized Hierarchical Feature Learning with Non-negative Sparsity and Selectivity for Image Classification (BL, JL, XB, HL), pp. 4293–4298.
ICPR-2014-NayefGO #documentation #image: Deblurring of Document Images Based on Sparse Representations Enhanced by Non-local Means (NN, PGK, JMO), pp. 4441–4446.
ICPR-2014-PakKA #detection #probability: Improvement of Benign and Malignant Probability Detection Based on Non-subsample Contourlet Transform and Super-resolution (FP, HRK, AA), pp. 895–899.
ICPR-2014-PedersenNM #adaptation #algorithm #estimation: Adaptive Non-local Means for Cost Aggregation in a Local Disparity Estimation Algorithm (CP, KN, TBM), pp. 2442–2447.
ICPR-2014-ScheltenR #estimation #image #kernel #locality #parametricity: Localized Image Blur Removal through Non-parametric Kernel Estimation (KS, SR), pp. 702–707.
ICPR-2014-WangS #automation #dataset #multi #segmentation #using: Automatic Multi-organ Segmentation in Non-enhanced CT Datasets Using Hierarchical Shape Priors (CW, ÖS), pp. 3327–3332.
ICPR-2014-ZouL: Calibrating Non-overlapping RGB-D Cameras (WZ, SL), pp. 4200–4205.
KDD-2014-BuntineM #modelling #parametricity #topic: Experiments with non-parametric topic models (WLB, SM), pp. 881–890.
KDD-2014-ChenN #detection #graph #parametricity #social #social media #statistics: Non-parametric scan statistics for event detection and forecasting in heterogeneous social media graphs (FC, DBN), pp. 1166–1175.
KDIR-2014-MohammadiMBRA #classification #graph #parametricity: A Noise Resilient and Non-parametric Graph-based Classifier (MM, SAM, EB, BR, AA), pp. 170–175.
KEOD-2014-TongphuS #logic #standard: A Non-standard Instance Checking for the Description Logic ELH (ST, BS), pp. 67–74.
KR-2014-CabalarD #equivalence: Strong Equivalence of Non-Monotonic Temporal Theories (PC, MD).
KR-2014-RibeiroW #logic: Minimal Change in AGM Revision for Non-Classical Logics (MMR, RW).
RecSys-2014-KimC #collaboration #predict: Bayesian binomial mixture model for collaborative prediction with non-random missing data (YDK, SC), pp. 201–208.
SEKE-2014-BenderWFPN #empirical #metric: Measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation (LB, GSW, FF, MP, KEN), pp. 478–483.
SEKE-2014-OliveiraMGND #framework #source code #testing: An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.
SIGIR-2014-EfronLHV #estimation #feedback #parametricity #twitter: Temporal feedback for tweet search with non-parametric density estimation (ME, JL, JH, APdV), pp. 33–42.
SIGIR-2014-JayasingheWSDC #nondeterminism #retrieval: Evaluating non-deterministic retrieval systems (GKJ, WW, MS, LSD, JSC), pp. 911–914.
AMT-2014-EramoMPR #bidirectional #nondeterminism #towards: Towards Analysing Non-Determinism in Bidirectional Transformations (RE, RM, AP, GR), pp. 76–85.
OOPSLA-2014-ChakrabartiBB #consistency #memory management #named: Atlas: leveraging locks for non-volatile memory consistency (DRC, HJB, KB), pp. 433–452.
PLATEAU-2014-RoulyOS #bibliography #ide #usability #visual notation: Usability and Suitability Survey of Features in Visual Ides for Non-Programmers (JMR, JDO, ES), pp. 31–42.
QAPL-2014-MiculanP #aspect-oriented #nondeterminism #process: GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.
POPL-2014-Krebbers #axiom #c #nondeterminism #semantics #sequence: An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
RE-2014-LiHMGGB0 #non-functional #ontology #requirements: Non-functional requirements as qualities, with a spice of ontology (FLL, JH, JM, RSSG, GG, AB, LL), pp. 293–302.
FSE-2014-Brunink #monitoring #non-functional: Autonomous compliance monitoring of non-functional properties (MB), pp. 795–798.
FSE-2014-Gui00ND #agile #analysis #named #nondeterminism #reliability #tool support: RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.
ASPLOS-2014-JungCSK #array #named #performance: Triple-A: a Non-SSD based autonomic all-flash array for high performance storage systems (MJ, WC, JS, MTK), pp. 441–454.
CGO-2014-VenkatSHS #code generation: Non-affine Extensions to Polyhedral Code Generation (AV, MS, MWH, MMS), p. 185.
HPCA-2014-ElwellRAP #architecture #memory management: A Non-Inclusive Memory Permissions architecture for protection against cross-layer attacks (JE, RR, NBAG, DP), pp. 201–212.
HPCA-2014-ShinYCK #memory management #named: NUAT: A non-uniform access time memory controller (WS, JY, JC, LSK), pp. 464–475.
ISMM-2014-ZakkakP #architecture #java #memory management #named: JDMM: a java memory model for non-cache-coherent memory architectures (FSZ, PP), pp. 83–92.
OSDI-2014-ZhaoZLULYS #distributed #named #profiling: lprof: A Non-intrusive Request Flow Profiler for Distributed Systems (XZ, YZ, DL, MFU, YL, DY, MS), pp. 629–644.
PPoPP-2014-BrownER: A general technique for non-blocking trees (TB, FE, ER), pp. 329–342.
PPoPP-2014-LeungBEFPRS: Task mapping stencil computations for non-contiguous allocations (VJL, DPB, JE, SPF, NWP, ZDR, MS), pp. 377–378.
CAV-2014-LarrazNORR #proving #using: Proving Non-termination Using Max-SMT (DL, KN, AO, ERC, AR), pp. 779–796.
IJCAR-2014-ChocronFR #satisfiability: A Gentle Non-disjoint Combination of Satisfiability Procedures (PC, PF, CR), pp. 122–136.
LICS-CSL-2014-LazicS #branch: Non-elementary complexities for branching VASS, MELL, and extensions (RL, SS), p. 10.
ECSA-2013-SilvaB #architecture #automation #consistency #named: PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (LdS, DB), pp. 240–248.
QoSA-2013-BerardinelliLM #analysis #execution #non-functional: Combining fUML and profiles for non-functional analysis based on model execution traces (LB, PL, TM), pp. 79–88.
ASE-2013-ArthoHPTWY #communication #distributed #model checking: Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
CASE-2013-LaLBGYMRP #evaluation: Autonomous robotic system for high-efficiency non-destructive bridge deck inspection and evaluation (HML, RSL, BB, NG, JY, AM, FAR, HP), pp. 1053–1058.
CASE-2013-SunLJY #energy #nondeterminism #optimisation: Event-based optimization with non-stationary uncertainties to save energy costs of HVAC systems in buildings (BS, PBL, QSJ, BY), pp. 436–441.
CASE-2013-ZhouKZS #analysis: Causal analysis for non-stationary time series in sensor-rich smart buildings (YZ, ZK, LZ, CJS), pp. 593–598.
DAC-2013-AxerE #fault #probability #scheduling: Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.
DAC-2013-GoncalvesPPD: Non-volatile FPGAs based on spintronic devices (OG, GP, GdP, BD), p. 3.
DAC-2013-KahngKL #reduction: Smart non-default routing for clock power reduction (ABK, SK, HL), p. 7.
DATE-2013-AkhlaghiKAP #architecture #network #performance: An efficient network on-chip architecture based on isolating local and non-local communications (VA, MK, AAK, MP), pp. 350–353.
DATE-2013-BackesR #reachability #using: Using cubes of non-state variables with property directed reachability (JDB, MDR), pp. 807–810.
DATE-2013-DeutschC #multi #using: Non-invasive pre-bond TSV test using ring oscillators and multiple voltage levels (SD, KC), pp. 1065–1070.
DATE-2013-Moy #approach #modelling #parallel #programming: Parallel programming with SystemC for loosely timed models: a non-intrusive approach (MM), pp. 9–14.
DATE-2013-ParkCA #energy: Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor (JP, AC, JAA), pp. 254–257.
DRR-2013-DelayeL #documentation #modelling #online: Context modeling for text/non-text separation in free-form online handwritten documents (AD, CLL).
ICDAR-2013-Deryagin #evaluation #performance #segmentation: Unified Performance Evaluation for OCR Zoning: Calculating Page Segmentation’s Score, That Includes Text Zones, Tables and Non-text Objects (DD), pp. 953–957.
ICDAR-2013-DingsAE #approach #segmentation: A Locale Group Based Line Segmentation Approach for Non Uniform Skewed and Curved Arabic Handwritings (LD, AAH, ME), pp. 803–806.
ICDAR-2013-HoRRES #approach #classification #documentation: Document Classification in a Non-stationary Environment: A One-Class SVM Approach (AKNH, NR, JYR, VE, NS), pp. 616–620.
CSEET-2013-GabrysiakHPG #education #implementation #requirements: Cooperating with a non-governmental organization to teach gathering and implementation of requirements (GG, RH, LP, HG), pp. 11–20.
ITiCSE-2013-FernandesCB #learning: A pilot project on non-conventional learning (SF, AC, LSB), p. 346.
ITiCSE-2013-Honig #education #programming #visual notation: Teaching and assessing programming fundamentals for non majors with visual programming (WLH), pp. 40–45.
ESOP-2013-JeanninKS: Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
FoSSaCS-2013-KrebbersW #control flow #logic: Separation Logic for Non-local Control Flow and Block Scope Variables (RK, FW), pp. 257–272.
MSR-2013-ManiNMNSN #debugging #identification #repository: Bug resolution catalysts: identifying essential non-committers from bug repositories (SM, SN, DM, RN, VSS, AAN), pp. 193–202.
WCRE-2013-BaysalKHG #bibliography #code review #perspective: The influence of non-technical factors on code review (OB, OK, RH, MWG), pp. 122–131.
WCRE-2013-DuranBS #agile: Lehman’s laws in agile and non-agile projects (KD, GB, PS), pp. 292–300.
PLDI-2013-ApinisSV #equation #how: How to combine widening and narrowing for non-monotonic systems of equations (KA, HS, VV), pp. 377–386.
PLDI-2013-LiangF #composition #verification: Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.
SAS-2013-GangeNSSS #abstract domain #abstract interpretation: Abstract Interpretation over Non-lattice Abstract Domains (GG, JAN, PS, HS, PJS), pp. 6–24.
STOC-2013-ChenPY #complexity: The complexity of non-monotone markets (XC, DP, MY), pp. 181–190.
STOC-2013-ChungPS #security #simulation: Non-black-box simulation from one-way functions and applications to resettable security (KMC, RP, KS), pp. 231–240.
STOC-2013-Goyal #concurrent #simulation: Non-black-box simulation in the fully concurrent setting (VG), pp. 221–230.
LATA-2013-BabaaliK #automaton #on the #product line: On the Construction of a Family of Automata That Are Generically Non-minimal (PB, CK), pp. 80–91.
LATA-2013-BalaJ #automaton #nondeterminism: Limited Non-determinism Hierarchy of Counter Automata (SB, DJ), pp. 92–103.
CHI-2013-BaumerAKLSSW #case study #experience #facebook: Limiting, leaving, and (re)lapsing: an exploration of facebook non-use practices and experiences (EPSB, PA, VDK, TCL, MES, VSS, KW), pp. 3257–3266.
CHI-2013-SkoGM #human-computer #online #parametricity: Non-parametric decision trees and online HCI (TS, HJG, MAM), pp. 2103–2106.
CSCW-2013-Hautasaari #analysis #process #quote #wiki: “Could someone please translate this?”: activity analysis of wikipedia article translation by non-experts (AMJH), pp. 945–954.
CSCW-2013-OKaneMT #health #information management #privacy: Non-static nature of patient consent: shifting privacy perspectives in health information sharing (AAO, HMM, ET), pp. 553–562.
CSCW-2013-PanLCL #process #social #what: To answer or not: what non-qa social activities can tell (YP, LL, CYC, QL), pp. 1253–1263.
DUXU-WM-2013-PhillipsFSSB #case study #design: Open Design: Non-professional User-Designers Creating Products for Citizen Science: A Case Study of Beekeepers (RDP, YF, KS, SS, SB), pp. 424–431.
HCI-AS-2013-PlischkeSPK #specification #standard: Human Adequate Lighting in Optimal Healing Environments — Measuring Non-visual Light Effects of a LED Light Source According to German Draft Pre-standard DIN SPEC 5031-100: 2012 (HP, CS, PP, NK), pp. 163–172.
HCI-IMT-2013-TawatsujiKM #case study #eye tracking #modelling #towards: Experimental Study Toward Modeling of the Uncanny Valley Based on Eye Movements on Human/Non-human Faces (YT, KK, TM), pp. 398–407.
HIMI-D-2013-MorodomeSAK #biology #metric #using: Non-contact Measurement of Biological Signals Using Microwave Radar (HM, SS, TA, KK), pp. 117–125.
HIMI-HSM-2013-HiraokaTK #behaviour #parametricity: Proposal of Non-dimensional Parameter Indices to Evaluate Safe Driving Behavior (TH, ST, HK), pp. 470–479.
HIMI-HSM-2013-HorieT: Characteristics of Touch Panel Operation with Non-Dominant Hand in Car Driving Context (YH, TT), pp. 577–584.
HIMI-HSM-2013-ItohKMYYO #behaviour #comparison: Comparison of Cognitively Impaired, Healthy Non-Professional and Healthy Professional Driver Behavior on a Small and Low-Fidelity Driving Simulator (MI, MK, KM, KY, SY, MO), pp. 490–496.
OCSC-2013-StieglitzES #behaviour #education #learning #student: Influence of Monetary and Non-monetary Incentives on Students’ Behavior in Blended Learning Settings in Higher Education (SS, AE, MS), pp. 104–112.
EDOC-2013-ValjaOISJ #modelling #predict: Modeling and Prediction of Monetary and Non-monetary Business Values (MV, MÖ, MEI, MvS, PJ), pp. 153–158.
CIKM-2013-ChanLKLBR #graph #matrix #using: Discovering latent blockmodels in sparse and noisy graphs using non-negative matrix factorisation (JC, WL, AK, CL, JB, KR), pp. 811–816.
ICML-c1-2013-HanL13a #analysis #component: Principal Component Analysis on non-Gaussian Dependent Data (FH, HL), pp. 240–248.
ICML-c1-2013-KumarSK #algorithm #matrix #performance: Fast Conical Hull Algorithms for Near-separable Non-negative Matrix Factorization (AK, VS, PK), pp. 231–239.
ICML-c1-2013-PeleTGW #classification #performance: The Pairwise Piecewise-Linear Embedding for Efficient Non-Linear Classification (OP, BT, AG, MW), pp. 205–213.
ICML-c1-2013-Shamir0 #convergence #optimisation #probability: Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes (OS, TZ), pp. 71–79.
ICML-c2-2013-GongZLHY #algorithm #optimisation #problem: A General Iterative Shrinkage and Thresholding Algorithm for Non-convex Regularized Optimization Problems (PG, CZ, ZL, JH, JY), pp. 37–45.
ICML-c3-2013-BaktashmotlaghHBLS #analysis #classification #video: Non-Linear Stationary Subspace Analysis with Application to Video Classification (MB, MTH, AB, BCL, MS), pp. 450–458.
ICML-c3-2013-GeorgievN #collaboration #framework #strict: A non-IID Framework for Collaborative Filtering with Restricted Boltzmann Machines (KG, PN), pp. 1148–1156.
ICML-c3-2013-JoseGAV #kernel #learning #performance #predict: Local Deep Kernel Learning for Efficient Non-linear SVM Prediction (CJ, PG, PA, MV), pp. 486–494.
ICML-c3-2013-KhanAFS #modelling #performance: Fast Dual Variational Inference for Non-Conjugate Latent Gaussian Models (MEK, AYA, MPF, MWS), pp. 951–959.
ICML-c3-2013-OgawaST: Safe Screening of Non-Support Vectors in Pathwise SVM Computation (KO, YS, IT), pp. 1382–1390.
KDD-2013-NaganoITUA #modelling #parametricity: Nonparametric hierarchal bayesian modeling in non-contractual heterogeneous survival data (SN, YI, NT, TU, MA), pp. 668–676.
RecSys-2013-MouraoRKM #hybrid #recommendation: Exploiting non-content preference attributes through hybrid recommendation method (FM, LCdR, JAK, WMJ), pp. 177–184.
SEKE-2013-GomedeB #development #process #quality #re-engineering: A Non-Intrusive Process to Software Engineering Decision Support focused on increasing the Quality of Software Development (S) (EG, RMB), pp. 95–100.
SEKE-2013-WangZLBCT #analysis #modelling #non-functional #object-oriented #requirements: Integrating Functional with Non-functional Requirements Analysis In Object Oriented Modeling Tool Based on HOOMT (S) (JW, FZ, X(L, ECB, BC, MT), pp. 59–62.
SKY-2013-ExmanA #design #game studies: Knowledge-driven Game Design by Non-programmers (IE, AA), pp. 47–54.
AMT-2013-NalchigarSC #model transformation #non-functional #requirements #towards: Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.
PADL-2013-LiangK #automation #logic programming #named #scalability #source code: Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs (SL, MK), pp. 173–189.
ER-BR-2013-SerranoS #mobile #non-functional #pervasive #ubiquitous: Ubiquitous, Pervasive and Mobile Computing: A Reusable-Models-based Non-Functional Catalogue (MS, MS).
SAC-2013-BlondelSU #classification #constraints #learning #using: Learning non-linear classifiers with a sparsity constraint using L1 regularization (MB, KS, KU), pp. 167–169.
SAC-2013-Fournier-VigerT #mining #named: TNS: mining top-k non-redundant sequential rules (PFV, VST), pp. 164–166.
SAC-2013-GholipourHB #adaptation #data type: An adaptive regression tree for non-stationary data streams (AG, MJH, HB), pp. 815–817.
SAC-2013-MottaLNRJO #algorithm #clustering #relational: Comparing relational and non-relational algorithms for clustering propositional data (RM, AdAL, BMN, SOR, AMJ, MCFdO), pp. 150–155.
SAC-2013-Oikawa #file system #in memory #memory management: Integrating memory management with a file system on a non-volatile main memory system (SO), pp. 1589–1594.
SAC-2013-SteinbauerKK #community #on-demand: Building an on-demand virtual computing market in non-commercial communities (MS, IK, GK), pp. 351–356.
ICSE-2013-GhezziPST #adaptation #modelling #non-functional #nondeterminism: Managing non-functional uncertainty via model-driven adaptivity (CG, LSP, PS, GT), pp. 33–42.
ASPLOS-2013-SungKA #hardware #named #nondeterminism #performance: DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.
HPCA-2013-WangDXJ #named: i2WAP: Improving non-volatile cache lifetime by reducing inter- and intra-set write variations (JW, XD, YX, NPJ), pp. 234–245.
LCTES-2013-MorenoFH #analysis #debugging #embedded: Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis (CM, SF, MAH), pp. 77–88.
PPoPP-2013-WuZZJS #algorithm #analysis #complexity #design #gpu #memory management: Complexity analysis and algorithm design for reorganizing data to minimize non-coalesced memory accesses on GPU (BW, ZZ, EZZ, YJ, XS), pp. 57–68.
CAV-2013-ChenAS #hybrid: Flow*: An Analyzer for Non-linear Hybrid Systems (XC, EÁ, SS), pp. 258–263.
CAV-2013-DaiXZ #generative #programming: Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
CSL-2013-Kikuchi #nondeterminism #normalisation #proving #λ-calculus: Proving Strong Normalisation via Non-deterministic Translations into Klop’s Extended λ-Calculus (KK), pp. 395–414.
CSL-2013-Nishimura #game studies #parallel #semantics: A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
CSL-2013-Oitavem #nondeterminism #recursion: From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.
ICLP-J-2013-Balduccini: ASP with non-herbrand partial functions: a language and system for practical use (MB), pp. 547–561.
ICLP-J-2013-LiangK #analysis #logic programming #scalability #source code: A practical analysis of non-termination in large logic programs (SL, MK), pp. 705–719.
ISSTA-2013-GligoricGZSAM #test coverage #testing #using: Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ISSTA-2013-Park #concurrent #debugging: Debugging non-deadlock concurrency bugs (SP), pp. 358–361.
RTA-2013-Schmidt-SchaussMS #lazy evaluation #λ-calculus: Extending Abramsky’s Lazy λ Calculus: (Non)-Conservativity of Embeddings (MSS, EM, DS), pp. 239–254.
SAT-2013-Toran #complexity #graph #morphism #on the: On the Resolution Complexity of Graph Non-isomorphism (JT), pp. 52–66.
TLCA-2013-AschieriZ #nondeterminism #normalisation: Non-determinism, Non-termination and the Strong Normalization of System T (FA, MZ), pp. 31–47.
TLCA-2013-Mazza #metric: Non-linearity as the Metric Completion of Linearity (DM), pp. 3–14.
WICSA-ECSA-2012-PoortKWV #non-functional #requirements: Issues Dealing with Non-Functional Requirements across the Contractual Divide (ERP, AK, PHNdW, HvV), pp. 315–319.
ASE-2012-AminGC #approach #automation #linear #modelling: An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling (AA, LG, AC), pp. 130–139.
DAC-2012-BathenD #distributed #hybrid #named: HaVOC: a hybrid memory-aware virtualization layer for on-chip distributed ScratchPad and non-volatile memories (LADB, ND), pp. 447–452.
DAC-2012-ChajiJ #low cost: Generic low-cost characterization of Vth and mobility variations in LTPS TFTs for non-uniformity calibration of active-matrix OLED displays (GRC, JJ), pp. 182–187.
DAC-2012-DinglerKNHCNPBLS #logic: Making non-volatile nanomagnet logic non-volatile (AD, SK, MTN, XSH, GC, JN, WP, GHB, PL, VKS), pp. 476–485.
DAC-2012-HuangLWT #interface: A non-intrusive timing synchronization interface for hardware-assisted HW/SW co-simulation (YHH, YSL, HIW, RST), pp. 127–132.
DAC-2012-MorrisBZP #logic #named #using: mLogic: ultra-low voltage non-volatile logic circuits using STT-MTJ devices (DM, DB, JG(Z, LTP), pp. 486–491.
DAC-2012-OuCC #constraints #multi: Non-uniform multilevel analog routing with matching constraints (HCO, HCCC, YWC), pp. 549–554.
DAC-2012-WangDX #architecture: Point and discard: a hard-error-tolerant architecture for non-volatile last level caches (JW, XD, YX), pp. 253–258.
DATE-2012-AbdallahSMA #testing: Testing RF circuits with true non-intrusive built-in sensors (LA, HGDS, SM, JA), pp. 1090–1095.
DATE-2012-LeMKV #debugging #satisfiability #using: Non-solution implications using reverse domination in a modern SAT-based debugging environment (BL, HM, BK, AGV), pp. 629–634.
DATE-2012-Mancini #kernel #memory management #synthesis: Enhancing non-linear kernels by an optimized memory hierarchy in a High Level Synthesis flow (SM, FR), pp. 1130–1133.
DATE-2012-MarinhoNPP #analysis #float #scheduling: Preemption delay analysis for floating non-preemptive region scheduling (JM, VN, SMP, IP), pp. 497–502.
DATE-2012-ZhaoYZCL #architecture #array #memory management: Architecting a common-source-line array for bipolar non-volatile memory devices (BZ, JY, YZ, YC, HL), pp. 1451–1454.
DocEng-2012-MeixnerK #interactive #video #xml: Interactive non-linear video: definition and XML structure (BM, HK), pp. 49–58.
PODS-2012-LiuRV #distributed: Continuous distributed counting for non-monotonic streams (ZL, BR, MV), pp. 307–318.
SIGMOD-2012-Sivasubramanian #database #scalability: Amazon dynamoDB: a seamlessly scalable non-relational database service (SS), pp. 729–730.
ITiCSE-2012-Aycock #named #programming: μPython: non-majors programming from the very first lecture (JA), pp. 345–350.
ITiCSE-2012-FidotenS #bibliography #what: What do computer scientists do?: a survey of CS and non-CS liberal arts faculty (HF, JS), pp. 279–284.
ITiCSE-2012-KortsartsK #component #probability #programming: Enriching introductory programming courses with non-intuitive probability experiments component (YK, YK), pp. 128–131.
ESOP-2012-Ley-WildAB #self: Non-monotonic Self-Adjusting Computation (RLW, UAA, GEB), pp. 476–496.
TACAS-2012-LengalSV #automaton #library #named #nondeterminism #performance: VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata (OL, JS, TV), pp. 79–94.
PEPM-2012-JainZS #nondeterminism: Translating flowcharts to non-deterministic languages (SKJ, CZ, BS), pp. 155–162.
SAS-2012-EmmiL #distributed #source code: Finding Non-terminating Executions in Distributed Asynchronous Programs (ME, AL), pp. 439–455.
STOC-2012-Li #design #privacy: Design extractors, non-malleable condensers and privacy amplification (XL), pp. 837–854.
AFL-J-2011-FazekasLS12 #context-free grammar #on the: On Non-Primitive Palindromic Context-Free Languages (SZF, PL, KST), pp. 1277–1290.
DLT-2012-Okhotin #theorem: Non-erasing Variants of the Chomsky-Schützenberger Theorem (AO), pp. 121–129.
LATA-2012-DennunzioFP #automaton #complexity: Computational Complexity of Rule Distributions of Non-uniform Cellular Automata (AD, EF, JP), pp. 204–215.
SFM-2012-Becker #analysis #model transformation #non-functional: Model Transformations in Non-functional Analysis (SB), pp. 263–289.
CHI-2012-FindlaterLW #gesture #multi: Beyond QWERTY: augmenting touch screen keyboards with multi-touch gestures for non-alphanumeric input (LF, BL, JOW), pp. 2679–2682.
CSCW-2012-BossenJW: Medical secretaries’ care of records: the cooperative work of a non-clinical group (CB, LGJ, FW), pp. 921–930.
CSCW-2012-NathanTLPWBT: In case you missed it: benefits of attendee-shared annotations for non-attendees of remote meetings (MN, MT, JCL, SP, SW, JB, LGT), pp. 339–348.
CSCW-2012-VasalouOJ #case study #product line: A case study of non-adoption: the values of location tracking in the family (AV, AMO, ANJ), pp. 779–788.
CAiSE-2012-AtzeniBR #database #framework: Uniform Access to Non-relational Database Systems: The SOS Platform (PA, FB, LR), pp. 160–174.
CAiSE-2012-SchmelingCMM #composition #non-functional #towards: Towards Conflict-Free Composition of Non-functional Concerns (BS, AC, MM, MM), pp. 80–94.
CIKM-2012-JiaZH #network #simulation: Non-stationary bayesian networks based on perfect simulation (YJ, WZ, JH), pp. 1095–1104.
CIKM-2012-KimZRDHCL #mining #named #topic: InCaToMi: integrative causal topic miner between textual and non-textual time series data (HDK, CZ, TAR, DD, MH, MC, CCL), pp. 2689–2691.
CIKM-2012-LappasV: Customizing search results for non-native speakers (TL, MV), pp. 1829–1833.
CIKM-2012-VouzoukidouAC #query: Processing continuous text queries featuring non-homogeneous scoring functions (NV, BA, VC), pp. 1065–1074.
CIKM-2012-YanGLCW #clustering #matrix #using: Clustering short text using Ncut-weighted non-negative matrix factorization (XY, JG, SL, XC, YW), pp. 2259–2262.
ICML-2012-HartikainenSS #modelling #predict: State-Space Inference for Non-Linear Latent Force Models with Application to Satellite Orbit Prediction (JH, MS, SS), p. 96.
ICML-2012-MysoreS #markov #modelling #performance: Variational Inference in Non-negative Factorial Hidden Markov Models for Efficient Audio Source Separation (GJM, MS), p. 194.
ICPR-2012-FengLSPZG #monitoring #robust #statistics: Artifact correction with robust statistics for non-stationary intracranial pressure signal monitoring (MF, LYL, KS, CP, FZ, CG), pp. 557–560.
ICPR-2012-GranaCBC #image #learning #segmentation: Learning non-target items for interesting clothes segmentation in fashion images (CG, SC, DB, RC), pp. 3317–3320.
ICPR-2012-HouHZQ #named #paradigm #retrieval: Bag-of-feature-graphs: A new paradigm for non-rigid shape retrieval (TH, XH, MZ, HQ), pp. 1513–1516.
ICPR-2012-HuynhR #segmentation: Illuminant segmentation in non-uniformly lit scenes (CPH, ARK), pp. 3664–3667.
ICPR-2012-IshikawaTKI #3d #synthesis: 3-D recovery of a non-rigid object from a single camera view by piecewise recovery and synthesis (SI, JKT, HK, SI), pp. 1443–1446.
ICPR-2012-KirbizG #matrix #music: Perceptually weighted Non-negative Matrix Factorization for blind single-channel music source separation (SK, BG), pp. 226–229.
ICPR-2012-SouzaOT #performance: Fast global non-rigid registration for mosaic creation (RHCdS, MO, AT), pp. 2736–2739.
ICPR-2012-StrucZP #normalisation #parametricity #verification: Non-parametric score normalization for biometric verification systems (VS, JZG, NP), pp. 2395–2399.
ICPR-2012-TajimaIA #3d #correlation #using: A non-rigid registration method for medical volume data using 3D Phase-Only Correlation (YT, KI, TA), pp. 93–96.
ICPR-2012-TopcuKYU: Fingerprint matching utilizing non-distal phalanges (BT, MK, MKY, UU), pp. 2400–2403.
ICPR-2012-UchidaFOF #markov: Non-Markovian dynamic time warping (SU, MF, KO, YF), pp. 2294–2297.
ICPR-2012-UchidaTS #effectiveness #estimation #image #parametricity #retrieval: An alternative to IDF: Effective scoring for accurate image retrieval with non-parametric density ratio estimation (YU, KT, SS), pp. 1285–1288.
ICPR-2012-YilmazYK #multimodal #network #process: Non-linear weighted averaging for multimodal information fusion by employing Analytical Network Process (TY, AY, MK), pp. 234–237.
ICPR-2012-ZhaoYXJ #learning: A near-optimal non-myopic active learning method (YZ, GY, XX, QJ), pp. 1715–1718.
ICPR-2012-ZhengQ #categorisation #semantics: Non-negative Sparse Semantic Coding for text categorization (WZ, YQ), pp. 409–412.
KDD-2012-HoensC #learning: Learning in non-stationary environments with class imbalance (TRH, NVC), pp. 168–176.
KDD-2012-SindhwaniG #distributed #learning #scalability #taxonomy: Large-scale distributed non-negative sparse coding and sparse dictionary learning (VS, AG), pp. 489–497.
KEOD-2012-Exman #concept: A Non-concept is Not a ¬Concept (IE), pp. 401–404.
KR-2012-LutzW #complexity #logic #query: Non-Uniform Data Complexity of Query Answering in Description Logics (CL, FW).
MLDM-2012-CarvalhoPS #classification #image #using: Classification of Breast Tissues in Mammographic Images in Mass and Non-mass Using McIntosh’s Diversity Index and SVM (PMdSC, ACdP, ACS), pp. 482–494.
RecSys-2012-PradelUG #evaluation #metric #ranking: Ranking with non-random missing ratings: influence of popularity and positivity on evaluation metrics (BP, NU, PG), pp. 147–154.
SEKE-2012-LiuMLS #analysis #non-functional #specification: Risk-driven Non-functional Requirement Analysis and Specification (YL, ZM, HL, WS), pp. 55–60.
SEKE-2012-NoorianBD #classification #non-functional #product line #taxonomy: Non-functional Properties in Software Product Lines: A Taxonomy for Classification (MN, EB, WD), pp. 663–667.
ECMFA-2012-YueA #case study #industrial #non-functional #requirements #state machine #testing: Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.
TOOLS-EUROPE-2012-OchoaJC #uml: Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.
QAPL-2012-GazeauMP #analysis #float #robust #source code: A non-local method for robustness analysis of floating point programs (IG, DM, CP), pp. 63–76.
RE-2012-AmellerACF #architecture #case study #how #non-functional #requirements: How do software architects consider non-functional requirements: An exploratory study (DA, CPA, JC, XF), pp. 41–50.
REFSQ-2012-PoortMWV #architecture #how #non-functional #requirements: How Architects See Non-Functional Requirements: Beware of Modifiability (ERP, NM, IvdW, HvV), pp. 37–51.
SAC-2012-HorikoshiNTO #adaptation #configuration management #non-functional #self: Dynamic reconfiguration in self-adaptive systems considering non-functional properties (HH, HN, YT, AO), pp. 1144–1150.
SAC-2012-InzingerSHLD #adaptation #optimisation #policy: Non-intrusive policy optimization for dependable and adaptive service-oriented systems (CI, BS, WH, PL, SD), pp. 504–510.
SAC-2012-LangohrT #mining: A model for mining relevant and non-redundant information (LL, HT), pp. 132–137.
SAC-2012-MondalRRSKS #comparative #empirical: Comparative stability of cloned and non-cloned code: an empirical study (MM, CKR, MSR, RKS, JK, KAS), pp. 1227–1234.
SAC-2012-Skubch #constraints #realtime: Solving non-linear arithmetic constraints in soft realtime environments (HS), pp. 67–73.
SAC-2012-TsadimasNA #design #information management #non-functional #requirements: Extending SysML to explore non-functional requirements: the case of information system design (AT, MN, DA), pp. 1057–1062.
ICSE-2012-AstromskisJM #approach #modelling #named: Egidio: A non-invasive approach for synthesizing organizational models (SA, AJ, ARM), pp. 1465–1466.
SLE-2012-DuranZT #domain-specific language #non-functional #on the #reuse #specification: On the Reusable Specification of Non-functional Properties in DSLs (FD, SZ, JT), pp. 332–351.
SPLC-2012-SoltaniAGHB #automation #feature model #non-functional #requirements: Automated planning for feature model configuration based on functional and non-functional requirements (SS, MA, DG, MH, EB), pp. 56–65.
PPoPP-2012-ProkopecBBO #concurrent #performance: Concurrent tries with efficient non-blocking snapshots (AP, NGB, PB, MO), pp. 151–160.
PPoPP-2012-SackG #algorithm #communication #performance: Faster topology-aware collective algorithms through non-minimal communication (PS, WG), pp. 45–54.
CAV-2012-AtigBEL #detection #parallel #source code #thread: Detecting Fair Non-termination in Multithreaded Programs (MFA, AB, ME, AL), pp. 210–226.
CAV-2012-PaulaHN #debugging #named #nondeterminism: nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.
CSL-2012-Ehrhard: Collapsing non-idempotent intersection types (TE), pp. 259–273.
ICLP-2012-Balduccini #set #source code: An Answer Set Solver for non-Herbrand Programs: Progress Report (MB), pp. 49–60.
ICLP-2012-Hanus #analysis #lazy evaluation #nondeterminism: Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.
ICLP-2012-MorakW #preprocessor #programming #set: Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.
ICLP-J-2012-LifschitzPY #modelling #null #relational: Relational theories with null values and non-herbrand stable models (VL, KP, FY), pp. 565–582.
ICST-2012-CalvarTH #framework #monitoring #runtime: A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
ICST-2012-ParkVH #approach #concurrent #debugging: A Unified Approach for Localizing Non-deadlock Concurrency Bugs (SP, RWV, MJH), pp. 51–60.
ICTSS-2012-HiromoriUYH #evaluation #performance #protocol #testing: Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution (AH, TU, HY, TH), pp. 231–246.
IJCAR-2012-EmmesEG #automation #proving: Proving Non-looping Non-termination Automatically (FE, TE, JG), pp. 225–240.
IJCAR-2012-JovanovicM: Solving Non-linear Arithmetic (DJ, LMdM), pp. 339–354.
LICS-2012-CoeckeDKW #category theory #quantum: Strong Complementarity and Non-locality in Categorical Quantum Mechanics (BC, RD, AK, QW), pp. 245–254.
LICS-2012-KrebsS #first-order: Non-definability of Languages by Generalized First-order Formulas over (N, +) (AK, AVS), pp. 451–460.
VMCAI-2012-GhorbalIBMG #abstract interpretation #performance: Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
VMCAI-2012-LeeLY #clustering #static analysis #statistics: Sound Non-statistical Clustering of Static Analysis Alarms (WL, WL, KY), pp. 299–314.
ASE-2011-RobinsonNS #data access #flexibility #named: GitBAC: Flexible access control for non-modular concerns (MR, JN, MS), pp. 500–503.
DAC-2011-ChenKCH #analysis #multi #reliability: Reliability analysis and improvement for multi-level non-volatile memories with soft information (SLC, BRK, JNC, CTH), pp. 753–758.
DAC-2011-DyerMK #hybrid #modelling #process: Hybrid modeling of non-stationary process variations (ELD, MM, FK), pp. 194–199.
DAC-2011-GongYH #analysis #monte carlo #orthogonal #performance #probability: Fast non-monte-carlo transient noise analysis for high-precision analog/RF circuits by stochastic orthogonal polynomials (FG, HY, LH), pp. 298–303.
DAC-2011-ShiSW #3d #design: Non-uniform micro-channel design for stacked 3D-ICs (BS, AS, PW), pp. 658–663.
DATE-2011-AadithyaDVR #modelling #named #random #simulation: SAMURAI: An accurate method for modelling and simulating non-stationary Random Telegraph Noise in SRAMs (KVA, AD, SV, JSR), pp. 1113–1118.
DATE-2011-AsadiniaMTS #using: Supporting non-contiguous processor allocation in mesh-based CMPs using virtual point-to-point links (MA, MM, AT, HSA), pp. 413–418.
DATE-2011-BangaRH #testing: Design-for-test methodology for non-scan at-speed testing (MB, NPR, MSH), pp. 191–196.
DATE-2011-HuXZTS #energy #hybrid #memory management #performance #towards: Towards energy efficient hybrid on-chip Scratch Pad Memory with non-volatile memory (JH, CJX, QZ, WCT, EHMS), pp. 746–751.
DRR-2011-XieA #classification: Boosting based text and non-text region classification (BX, GA), pp. 1–10.
HT-2011-ChilukuriI #algorithm: An algorithm to generate engaging narratives through non-linearity (VC, BI), pp. 291–298.
ICDAR-2011-AlmazanFV #feature model #recognition: A Non-rigid Feature Extraction Method for Shape Recognition (JA, AF, EV), pp. 987–991.
ICDAR-2011-IndermuhleFFB #documentation #keyword #network #online #using: Keyword Spotting in Online Handwritten Documents Containing Text and Non-text Using BLSTM Neural Networks (EI, VF, AF, HB), pp. 73–77.
ICDAR-2011-VinelDA #feature model #linear #optimisation #random: Joint Optimization of Hidden Conditional Random Fields and Non Linear Feature Extraction (AV, TMTD, TA), pp. 513–517.
ICDAR-2011-WangT: Non-rigid Registration and Restoration of Double-Sided Historical Manuscripts (JW, CLT), pp. 1374–1378.
ITiCSE-2011-BrandHW #development #education: Intelligent systems development in a non engineering curriculum (EAB, WLH, MW), pp. 48–52.
ITiCSE-2011-LangeFL: An update on the use of community-based non-profit organizations in capstone projects (DKL, RCF, PML), p. 372.
FASE-2011-MassinkLBH #modelling: Modelling Non-linear Crowd Dynamics in Bio-PEPA (MM, DL, AB, JH), pp. 96–110.
FoSSaCS-2011-BernadetL #complexity #normalisation: Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (AB, SL), pp. 88–107.
TACAS-2011-BertrandJSK #automaton #nondeterminism #testing: Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.
CSMR-2011-LeottaRRA #architecture #maintenance: Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA (ML, FR, GR, EA), pp. 317–320.
STOC-2011-GentryW: Separating succinct non-interactive arguments from all falsifiable assumptions (CG, DW), pp. 99–108.
STOC-2011-Goyal #constant #protocol #using: Constant round non-malleable protocols using one way functions (VG), pp. 695–704.
STOC-2011-LinP: Constant-round non-malleable commitments from any one-way function (HL, RP), pp. 705–714.
DLT-2011-GusevP #on the #set: On Non-complete Sets and Restivo’s Conjecture (VVG, EVP), pp. 239–250.
ICALP-v2-2011-LibertY #adaptation: Adaptively Secure Non-interactive Threshold Cryptosystems (BL, MY), pp. 588–600.
ICFP-2011-UenoOO #functional #garbage collection #performance: An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.
CHI-2011-GrossYK #interface #named #visual notation: Dinah: an interface to assist non-programmers with selecting program code causing graphical output (PAG, JY, CK), pp. 3397–3400.
CHI-2011-SporkaFKPHM #named #predict #using: CHANTI: predictive text entry using non-verbal vocal input (AJS, TF, SHK, OP, PH, ISM), pp. 2463–2472.
DUXU-v2-2011-Hofman #modelling #statistics: Range Statistics and the Exact Modeling of Discrete Non-Gaussian Distributions on Learnability Data (RH), pp. 421–430.
HCI-DDA-2011-XieDDZWC: LSCM Based Non-rigid Registration for Craniofacial Surfaces (WX, FD, QD, MZ, ZW, LC), pp. 670–676.
HCI-ITE-2011-TakahashiK: Eye-Movement-Based Instantaneous Cognition Model for Non-verbal Smooth Closed Figures (YT, SK), pp. 314–322.
HCI-MIIE-2011-OehlSTHP #approach #detection #human-computer #interactive: Improving Human-Machine Interaction — A Non Invasive Approach to Detect Emotions in Car Drivers (MO, FWS, TKT, RH, HRP), pp. 577–585.
SIGAda-2011-EilersK #execution #testing: Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.
ICEIS-v1-2011-BiniLSSA #algorithm: Non-exhaustive Join Ordering Search Algorithms for LJQO (TAB, AL, MSS, FS, ECdA), pp. 151–156.
ICEIS-v1-2011-ChangLZ #e-commerce #grid #mobile #process #research #simulation: Simulation Research on the Mobile e-Commerce Process of Non-grid and Grid based on Arena (DC, YL, SZ), pp. 486–494.
ICEIS-v2-2011-FronzaSSV #approach #predict #towards: Toward a Non Invasive Control of Applications — A Biomedical Approach to Failure Prediction (IF, AS, GS, JV), pp. 83–91.
ICEIS-v2-2011-GonzalezML #design: A Model for Designing Non Cooperative Supply Chain Where Logistics Service Providers Take Part (EDRSG, GRM, HPLL), pp. 409–417.
ICML-2011-CossalterYZ #adaptation #approximate #kernel #predict #scalability: Adaptive Kernel Approximation for Large-Scale Non-Linear SVM Prediction (MC, RY, LZ), pp. 409–416.
ICML-2011-HuWC #coordination #kernel #learning #named #parametricity #scalability #using: BCDNPKL: Scalable Non-Parametric Kernel Learning Using Block Coordinate Descent (EH, BW, SC), pp. 209–216.
KDD-2011-HsiehD #coordination #matrix #performance: Fast coordinate descent methods with variable selection for non-negative matrix factorization (CJH, ISD), pp. 1064–1072.
KDIR-2011-MauleKR #approach #automation #using: Automated Approach for Whole Brain Infarction Core Delineation — Using Non-contrast and Computed Tomography Angiography (PM, JK, VR), pp. 433–437.
MLDM-2011-ChenER #mining #parametricity #using: Mining Spatial Trajectories Using Non-parametric Density Functions (CSC, CFE, NJR), pp. 496–510.
SEKE-2011-Krishna #approach #non-functional #process #requirements #uml: A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.
SEKE-2011-LiuZH11a #classification #empirical #non-functional #requirements: An Empirical Study on Classification of Non-Functional Requirements (SL, RZ, XH), pp. 444–449.
SEKE-2011-VillegasS #non-functional #requirements: Mapping non-functional requirements to cloud applications (DV, SMS), pp. 527–532.
QAPL-2011-AssouramouD #analysis #hybrid #probability: Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.
RE-2011-WeiYJZ #automation #modelling #named #non-functional #reasoning: rΣ: Automated reasoning tool for non-functional requirement goal models (BW, BY, ZJ, DZ), pp. 337–338.
SAC-2011-AccorsiW #modelling #workflow: Strong non-leak guarantees for workflow models (RA, CW), pp. 308–314.
SAC-2011-JatowtKT #estimation #quality: Calculating content recency based on timestamped and non-timestamped sources for supporting page quality estimation (AJ, YK, KT), pp. 1151–1158.
SAC-2011-LimaSM #aspect-oriented #authoring #design #hypermedia #non-functional #tool support: Considering non-functional aspects in the design of hypermedia authoring tools (BSL, LFGS, MFM), pp. 1259–1266.
ICSE-2011-KawrykowR #version control: Non-essential changes in version histories (DK, MPR), pp. 351–360.
ICSE-2011-ShengVEHCZ #concurrent #detection #lightweight #named: RACEZ: a lightweight and non-invasive race detection tool for production applications (TS, NV, SE, RH, WC, WZ), pp. 401–410.
SPLC-2011-GhezziS #approach #model checking #non-functional #parametricity #performance #product line #towards #using #verification: Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking (CG, AMS), pp. 170–174.
SPLC-2011-SiegmundRKGAK #non-functional #predict #product line #scalability: Scalable Prediction of Non-functional Properties in Software Product Lines (NS, MR, CK, PGG, SA, SSK), pp. 160–169.
ASPLOS-2011-CoburnCAGGJS #named #performance #persistent: NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories (JC, AMC, AA, LMG, RKG, RJ, SS), pp. 105–118.
HPCA-2011-SmullenMNGS #energy #performance: Relaxing non-volatility for fast and energy-efficient STT-RAM caches (CWSI, VM, AN, SG, MRS), pp. 50–61.
HPCA-2011-YoonMCRJE #fault #memory management #named: FREE-p: Protecting non-volatile memory against both hard and soft errors (DHY, NM, JC, PR, NPJ, ME), pp. 466–477.
CADE-2011-HoderV #reasoning #scalability: Sine Qua Non for Large Theory Reasoning (KH, AV), pp. 299–314.
CADE-2011-Horbach #horn clause #set: Predicate Completion for non-Horn Clause Sets (MH), pp. 315–330.
CSL-2011-BeauxisM #network #semantics #standard: A Non-Standard Semantics for Kahn Networks in Continuous Time (RB, SM), pp. 35–50.
CSL-2011-BernadetL #modelling #morphism #orthogonal #polymorphism: Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism (AB, SL), pp. 51–66.
CSL-2011-Eickmeyer #first-order #logic #random: Non-Definability Results for Randomised First-Order Logic (KE), pp. 218–232.
CSL-2011-TatsutaB #commutative: Non-Commutative Infinitary Peano Arithmetic (MT, SB), pp. 538–552.
ICLP-2011-KoninckBS #constraints: Constraints in Non-Boolean Contexts (LDK, SB, PJS), pp. 117–127.
ICLP-J-2011-VoetsS #analysis #integer #logic programming #source code: Non-termination analysis of logic programs with integer arithmetics (DV, DDS), pp. 521–536.
ICST-2011-Bogdanov #generative #testing: Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.
ICST-2011-NandaMSHO #testing: Regression testing in the presence of non-code changes (AN, SM, SS, MJH, AO), pp. 21–30.
RTA-2011-AotoT #confluence #proving #term rewriting: A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems (TA, YT), pp. 91–106.
SAT-2011-CreignouOS #csp: Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight (NC, FO, JS), pp. 120–133.
SAT-2011-MalitskySSS #algorithm #satisfiability: Non-Model-Based Algorithm Portfolios for SAT (YM, AS, HS, MS), pp. 369–370.
VMCAI-2011-ChadhaSV #automaton #probability: Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds (RC, APS, MV), pp. 103–117.
ECSA-2010-BerniniT #architecture: Explaining Architectural Choices to Non-architects (DB, FT), pp. 352–359.
CASE-2010-XuSY #algorithm #problem: Exact algorithms for non-overlapping 2-frame problem with non-partial coverage for networked robotic cameras (YX, DS, JY), pp. 503–508.
DAC-2010-GuthausWR #linear #optimisation #programming: Non-uniform clock mesh optimization with linear programming buffer insertion (MRG, GW, RR), pp. 74–79.
DAC-2010-HuXTHQS #embedded #migration #process: Reducing write activities on non-volatile memories in embedded CMPs via data migration and recomputation (JH, CJX, WCT, YH, MQ, EHMS), pp. 350–355.
DATE-2010-BolteSBNB #using: Non-intrusive virtualization management using libvirt (MB, MS, GB, ON, AB), pp. 574–579.
DATE-2010-ChenABF #monitoring #using: Non-invasive blood oxygen saturation monitoring for neonates using reflectance pulse oximeter (WC, IA, SBO, LMGF), pp. 1530–1535.
DATE-2010-RitheGWDGBC #analysis #logic #statistics: Non-linear Operating Point Statistical Analysis for Local Variations in logic timing at low voltage (RR, JG, AW, SD, GG, DB, AC), pp. 965–968.
DATE-2010-RoxE #correlation: Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks (JR, RE), pp. 226–231.
DATE-2010-WenCCL #debugging #named #parallel #runtime #source code: RunAssert: A non-intrusive run-time assertion for parallel programs debugging (CNW, SHC, TFC, TJL), pp. 287–290.
SIGMOD-2010-ChenGN #named #statistics: PR-join: a non-blocking join achieving higher early result rate with statistical guarantees (SC, PBG, SN), pp. 147–158.
SIGMOD-2010-WongMC #privacy: Non-homogeneous generalization in privacy preserving data publishing (WKW, NM, DWLC), pp. 747–758.
VLDB-2010-PD #metric #performance #retrieval #similarity: Efficient RkNN Retrieval with Arbitrary Non-Metric Similarity Measures (DP, PD), pp. 1243–1254.
VLDB-2011-MeliouGMS #complexity #query: The Complexity of Causality and Responsibility for Query Answers and non-Answers (AM, WG, KFM, DS), pp. 34–45.
ICPC-2010-LammelP #comprehension #domain-specific language: Vivisection of a Non-Executable, Domain-Specific Language — Understanding (the Usage of) the P3P Language (RL, EP), pp. 104–113.
PEPM-2010-RiescoR #nondeterminism #programming: Programming with singular and plural non-deterministic functions (AR, JRH), pp. 83–92.
SAS-2010-CheriniRB #analysis #data type: A Shape Analysis for Non-linear Data Structures (RC, LR, JOB), pp. 201–217.
SAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
STOC-2010-HrubesWY #commutative #problem: Non-commutative circuits and the sum-of-squares problem (PH, AW, AY), pp. 667–676.
AFL-J-2008-KaminskiZ10 #automaton #nondeterminism: Finite-Memory Automata with Non-Deterministic Reassignment (MK, DZ), pp. 741–760.
DLT-J-2008-Ada10 #communication #complexity #nondeterminism #on the #regular expression: On the Non-Deterministic Communication Complexity of Regular Languages (AA), pp. 479–493.
DLT-2010-PorrecaLZ #on the: On a Powerful Class of Non-universal P Systems with Active Membranes (AEP, AL, CZ), pp. 364–375.
ICALP-v1-2010-Cheraghchi #adaptation #testing: Improved Constructions for Non-adaptive Threshold Group Testing (MC), pp. 552–564.
ICALP-v1-2010-LibertY #encryption #performance: Efficient Completely Non-malleable Public Key Encryption (BL, MY), pp. 127–139.
ICALP-v1-2010-RubinfeldX #independence #testing: Testing Non-uniform k-Wise Independent Distributions over Product Spaces (RR, NX), pp. 565–581.
LATA-2010-Neary #bound: A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems (TN), pp. 475–487.
LATA-2010-Penaloza #reasoning #standard #using: Using Sums-of-Products for Non-standard Reasoning (RP), pp. 488–499.
SEFM-2010-DanHC: Non-local Choice and Implied Scenarios (HD, RMH, SC), pp. 53–62.
IFL-2010-HerhutJSPG #case study #concurrent #experience: Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences (SH, CJ, SBS, RP, CG), pp. 185–202.
CHI-2010-McGookinRB #graph #interactive #using: Clutching at straws: using tangible interaction to provide non-visual access to graphs (DKM, ER, SAB), pp. 1715–1724.
CHI-2010-OHara: Interactivity and non-interactivity on tabletops (KO), pp. 2611–2614.
CHI-2010-PanJYPQ #automation #communication #comprehension #quality #realtime: Effects of automated transcription quality on non-native speakers’ comprehension in real-time computer-mediated communication (YP, DJ, LY, MP, YQ), pp. 1725–1734.
CHI-2010-YuM #readability #web: Enhancing web page readability for non-native readers (CHY, RCM), pp. 2523–2532.
ICEIS-AIDSS-2010-MianiYSF #algorithm #optimisation #process #semantics: NARFO* Algorithm — Optimizing the Process of Obtaining Non-redundant and Generalized Semantic Association Rules (RGM, CAY, MTPS, VRTF), pp. 320–325.
ICEIS-DISI-2010-Duin #pattern matching #pattern recognition #problem #recognition: Pattern Recognition as a Human Centered non-Euclidean Problem (RPWD), p. 5.
ICEIS-DISI-2010-ObermeierB #ad hoc #constraints #mobile #network #transaction: Constraint Checking for Non-blocking Transaction Processing in Mobile Ad-hoc Networks (SO, SB), pp. 166–175.
ICEIS-J-2010-Duin10a #pattern matching #pattern recognition #problem #recognition: Non-Euclidean Problems in Pattern Recognition Related to Human Expert Knowledge (RPWD), pp. 15–28.
CIKM-2010-ChiZ #framework #information management #named: FacetCube: a framework of incorporating prior knowledge into non-negative tensor factorization (YC, SZ), pp. 569–578.
ICML-2010-NiuDJ #clustering #multi: Multiple Non-Redundant Spectral Clustering Views (DN, JGD, MIJ), pp. 831–838.
ICML-2010-VickreyLK: Non-Local Contrastive Objectives (DV, CCYL, DK), pp. 1103–1110.
ICPR-2010-AdluruTWD #re-engineering #using: Improving Undersampled MRI Reconstruction Using Non-local Means (GA, TT, RTW, EVRDB), pp. 4000–4003.
ICPR-2010-BushraOEO #detection #linear: QRS Complex Detection by Non Linear Thresholding of Modulus Maxima (BJ, OB, EF, OL), pp. 4500–4503.
ICPR-2010-DitzlerPC #algorithm #incremental #learning: An Incremental Learning Algorithm for Non-stationary Environments and Class Imbalance (GD, RP, NVC), pp. 2997–3000.
ICPR-2010-Hillenbrand #3d #parametricity: Non-parametric 3D Shape Warping (UH), pp. 2656–2659.
ICPR-2010-HuangCWC #modelling #probability: Probabilistic Modeling of Dynamic Traffic Flow across Non-overlapping Camera Views (CH, WcC, SJW, JHC), pp. 3332–3335.
ICPR-2010-JammalamadakaJKM #matrix #using: Discriminative Basis Selection Using Non-negative Matrix Factorization (AJ, SJ, SK, BSM), pp. 1533–1536.
ICPR-2010-JokoKY #learning #linear #modelling: Learning Non-linear Dynamical Systems by Alignment of Local Linear Models (MJ, YK, TY), pp. 1084–1087.
ICPR-2010-LathenCKB #detection #linear #robust: Non-ring Filters for Robust Detection of Linear Structures (GL, OC, HK, MB), pp. 233–236.
ICPR-2010-MalakutiA #monitoring #towards: Towards an Intelligent Bed Sensor: Non-intrusive Monitoring of Sleep Irregularities with Computer Vision Techniques (KM, ABA), pp. 4004–4007.
ICPR-2010-RajgopalanRRM #automation #editing #video: Keyframe-Guided Automatic Non-linear Video Editing (VR, AR, RR, SPM), pp. 3236–3239.
ICPR-2010-RantosonSFM #3d #metric #using: Non Contact 3D Measurement Scheme for Transparent Objects Using UV Structured light (RR, CS, DF, FM), pp. 1646–1649.
ICPR-2010-RoyM #using #video: Crossmodal Matching of Speakers Using Lip and Voice Features in Temporally Non-overlapping Audio and Video Streams (AR, SM), pp. 4504–4507.
ICPR-2010-SattiGCP #adaptation #human-computer #interface: A Covariate Shift Minimisation Method to Alleviate Non-stationarity Effects for an Adaptive Brain-Computer Interface (ARS, CG, DC, GP), pp. 105–108.
ICPR-2010-SethP #independence #parametricity: A Test of Granger Non-causality Based on Nonparametric Conditional Independence (SS, JCP), pp. 2620–2623.
ICPR-2010-SunHL #data-driven #detection: Data-Driven Foreground Object Detection from a Non-stationary Camera (SWS, FH, HYML), pp. 3053–3056.
ICPR-2010-WangT #image: Non-rigid Image Registration for Historical Manuscript Restoration (JW, CLT), pp. 2274–2277.
ICPR-2010-WanS #geometry #multi: Multiple View Geometry for Non-rigid Motions Viewed from Curvilinear Motion Projective Cameras (CW, JS), pp. 181–184.
ICPR-2010-WatanabeNKI #estimation #using: Estimation of Non-rigid Surface Deformation Using Developable Surface Model (YW, TN, TK, MI), pp. 197–200.
ICPR-2010-WoodardPMJR #on the: On the Fusion of Periocular and Iris Biometrics in Non-ideal Imagery (DLW, SJP, PEM, RRJ, AR), pp. 201–204.
ICPR-2010-WuW #estimation #evaluation #nondeterminism: A Comprehensive Evaluation on Non-deterministic Motion Estimation (CW, QW), pp. 2333–2336.
ICPR-2010-XuHW #similarity #using: Rectifying Non-Euclidean Similarity Data Using Ricci Flow Embedding (WX, ERH, RCW), pp. 3324–3327.
ICPR-2010-YamanakaSS #adaptation #image #using: Adaptive Image Projection onto Non-planar Screen Using Projector-Camera Systems (TY, FS, JS), pp. 307–310.
ICPR-2010-YamashitaSS #3d: Recovering 3D Shape and Light Source Positions from Non-planar Shadows (YY, FS, JS), pp. 1775–1778.
ICPR-2010-ZhangZYK #classification #detection #learning #representation #taxonomy: Microaneurysm (MA) Detection via Sparse Representation Classifier with MA and Non-MA Dictionary Learning (BZ, LZ, JY, FK), pp. 277–280.
KDD-2010-DangB #clustering #linear: A hierarchical information theoretic technique for the discovery of non linear alternative clusterings (XHD, JB), pp. 573–582.
KDD-2010-HossainTWDHR #clustering: Unifying dependent clustering and disparate clustering for non-homogeneous data (MSH, ST, LTW, ID, RFH, NR), pp. 593–602.
SEKE-2010-BansalKBG #composition #non-functional #weaving #web #web service: Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition (AB, SK, MBB, GG), pp. 247–252.
SIGIR-2010-WangDL #comprehension #documentation #matrix #set: Feature subset non-negative matrix factorization and its applications to document understanding (DW, CHQD, TL), pp. 805–806.
SIGIR-2010-WanLX #named #summary: EUSUM: extracting easy-to-understand english summaries for non-native readers (XW, HL, JX), pp. 491–498.
ICMT-2010-KolovosRMPPF #navigation: Constructing and Navigating Non-invasive Model Decorations (DSK, LMR, NDM, RFP, FACP, KJF), pp. 138–152.
MoDELS-v2-2010-PriegoIR #modelling: Modeling Issues: a Survival Guide for a Non-expert Modeler (ERP, FJGI, ALR), pp. 361–375.
OOPSLA-2010-OgataMKTO #case study #java #memory management: A study of Java’s non-Java memory (KO, DM, KK, ST, TO), pp. 191–204.
LOPSTR-2010-VoetsS #analysis #logic programming #source code #using: Non-termination Analysis of Logic Programs Using Types (DV, DDS), pp. 133–148.
RE-2010-AmellerFC #development #modelling #non-functional #requirements: Dealing with Non-Functional Requirements in Model-Driven Development (DA, XF, JC), pp. 189–198.
REFSQ-2010-AmellerF #architecture #bibliography #how #non-functional #requirements: How Do Software Architects Consider Non-Functional Requirements: A Survey (DA, XF), pp. 276–277.
SAC-PL-J-2008-DennyM10 #algorithm #generative #lr #parsing: The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 943–979.
SAC-2010-GongWWLZY #using: Recognizing affect from non-stylized body motion using shape of Gaussian descriptors (LG, TW, CW, FL, FZ, XY), pp. 1203–1206.
SAC-2010-IndermuhleBSB #documentation #online: Text versus non-text distinction in online handwritten documents (EI, HB, FS, TMB), pp. 3–7.
SAC-2010-MairizaZN #non-functional #requirements: An investigation into the notion of non-functional requirements (DM, DZ, NN), pp. 311–317.
SAC-2010-SykesHMK #adaptation #architecture #non-functional #self: Exploiting non-functional preferences in architectural adaptation for self-managed systems (DS, WH, JM, JK), pp. 431–438.
SPLC-2010-Nakajima #automation #diagrams #encoding #feature model: Non-clausal Encoding of Feature Diagram for Automated Diagnosis (SN), pp. 420–424.
HPCA-2010-KaseridisSCJ #resource management #scalability #using: A bandwidth-aware memory-subsystem resource management using non-invasive resource profilers for large CMP systems (DK, JS, JC, LKJ), pp. 1–11.
HPCA-2010-MerinoPG #adaptation #architecture #low cost #named: ESP-NUCA: A low-cost adaptive Non-Uniform Cache Architecture (JM, VP, JÁG), pp. 1–10.
OSDI-2010-KushmanK #automation #independence: Enabling Configuration-Independent Automation by Non-Expert Users (NK, DK), pp. 223–236.
ICLP-J-2010-OetschPT #debugging #source code: Catching the Ouroboros: On debugging non-ground answer-set programs (JO, JP, HT), pp. 513–529.
RTA-2010-AppelOS #composition #higher-order: Higher-Order (Non-)Modularity (CA, VvO, JGS), pp. 17–32.
SAT-2010-BoufkhadH #bound #satisfiability: Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (YB, TH), pp. 99–112.
SAT-2010-KlieberSGC #learning: A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.
CASE-2009-AllenGT #logic #nondeterminism #verification: Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.
CASE-2009-WangLABH #flexibility #quality: Monotonic and non-monotonic properties of product quality in flexible manufacturing systems with batch operations (JW, JL, JA, SB, NH), pp. 13–18.
DAC-2009-ChauhanGHMS #equivalence: Non-cycle-accurate sequential equivalence checking (PC, DG, GH, AM, NS), pp. 460–465.
DAC-2009-JainC #graph #performance #satisfiability #using: Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts (HJ, EMC), pp. 563–568.
DAC-2009-ShankarL #multi #profiling: Non-intrusive dynamic application profiling for multitasked applications (KS, RLL), pp. 130–135.
DAC-2009-WalravensVD #analysis #modelling #named #performance: ActivaSC: a highly efficient and non-intrusive extension for activity-based analysis of SystemC models (CW, YV, WD), pp. 172–177.
DAC-2009-WenCCS #architecture #concurrent #debugging #detection #manycore #named: NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core (CNW, SHC, TFC, APS), pp. 148–153.
DATE-2009-DabiriVPS #energy #realtime: Energy minimization for real-time systems with non-convex and discrete operation modes (FD, AV, MP, MS), pp. 1416–1421.
DATE-2009-LiC #architecture #bibliography #memory management #tool support: An overview of non-volatile memory technology and the implication for tools and architectures (HL, YC), pp. 731–736.
DATE-2009-LombardiMB #clustering #manycore #realtime #robust #scheduling: Robust non-preemptive hard real-time scheduling for clustered multicore platforms (ML, MM, LB), pp. 803–808.
DATE-2009-PaternaBAPDO #adaptation #multi: Adaptive idleness distribution for non-uniform aging tolerance in MultiProcessor Systems-on-Chip (FP, LB, AA, FP, GD, MO), pp. 906–909.
DATE-2009-RobertsKM #energy #memory management #using: Using non-volatile memory to save energy in servers (DR, TK, TNM), pp. 743–748.
DATE-2009-ViehlPBR #analysis #performance #scheduling: White box performance analysis considering static non-preemptive software scheduling (AV, MP, OB, WR), pp. 513–518.
DATE-2009-WuLZSX #hybrid #performance: Power and performance of read-write aware Hybrid Caches with non-volatile memories (XW, JL, LZ, ES, YX), pp. 737–742.
ICDAR-2009-FerilliBEB #analysis #layout: A Distance-Based Technique for Non-Manhattan Layout Analysis (SF, MB, FE, TMAB), pp. 231–235.
ICDAR-2009-Likforman-SulemDS #documentation #preprocessor: Pre-Processing of Degraded Printed Documents by Non-local Means and Total Variation (LLS, JD, EHBS), pp. 758–762.
VLDB-2009-ZhangOPT #similarity #towards: Similarity Search on Bregman Divergence: Towards Non-Metric Indexing (ZZ, BCO, SP, AKHT), pp. 13–24.
ESOP-2009-Sumii #for free #formal method #memory management: A Theory of Non-monotone Memory (Or: Contexts for free) (ES), pp. 237–251.
FASE-2009-RajamaniJPR #mobile #network #nondeterminism #query: Inquiry and Introspection for Non-deterministic Queries in Mobile Networks (VR, CJ, JP, GCR), pp. 401–416.
TACAS-2009-SchollDPK #constraints #detection #linear: Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.
PEPM-2009-Lopez-FraguasRS #flexibility #framework #nondeterminism #programming: A flexible framework for programming with non-deterministic functions (FJLF, JRH, JSH), pp. 91–100.
STOC-2009-DodisW #encryption #symmetry: Non-malleable extractors and symmetric key cryptography from weak secrets (YD, DW), pp. 601–610.
STOC-2009-LeeMNS #constraints: Non-monotone submodular maximization under matroid and knapsack constraints (JL, VSM, VN, MS), pp. 323–332.
STOC-2009-LinP: Non-malleability amplification (HL, RP), pp. 189–198.
STOC-2009-LinPV #concurrent #framework #security: A unified framework for concurrent security: universal composability from stand-alone non-malleability (HL, RP, MV), pp. 179–188.
LATA-2009-BehleKR: Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG] (CB, AK, SR), pp. 129–140.
LATA-2009-CattaneoDFP #automaton: Non-uniform Cellular Automata (GC, AD, EF, JP), pp. 302–313.
CEFP-2009-Divianszky #modelling: Non-monadic Models of Mutable References (PD), pp. 146–182.
ICFP-2009-FischerKS #functional #lazy evaluation #nondeterminism #programming: Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.
ICFP-2009-NeisDR #parametricity: Non-parametric parametricity (GN, DD, AR), pp. 135–148.
CHI-2009-BighamC #interface: Evaluating existing audio CAPTCHAs and an interface optimized for non-visual use (JPB, AC), pp. 1829–1838.
CHI-2009-Frandsen-ThorlaciusHHC #bibliography #how #usability: Non-universal usability?: a survey of how usability is understood by Chinese and Danish users (OFT, KH, MH, TC), pp. 41–50.
CHI-2009-MedhiGT #comparison #mobile: A comparison of mobile money-transfer UIs for non-literate and semi-literate users (IM, SNNG, KT), pp. 1741–1750.
CHI-2009-PanJPQ #comprehension #realtime: Effects of real-time transcription on non-native speaker’s comprehension in computer-mediated communications (YP, DJ, MP, YQ), pp. 2353–2356.
DHM-2009-MihalyiDA #framework #modelling: A Contribution to Integrated Driver Modeling: A Coherent Framework for Modeling Both Non-routine and Routine Elements of the Driving Task (AM, BD, TA), pp. 433–442.
DHM-2009-ThomasDAS #evaluation #personalisation: Non-intrusive Personalized Mental Workload Evaluation for Exercise Intensity Measure (NLT, YD, TA, JHS), pp. 315–322.
HCI-AUII-2009-WeissKWMF #comparison: Comparison of Different Talking Heads in Non-Interactive Settings (BW, CK, IW, SM, SF), pp. 349–357.
HCI-NIMT-2009-BazarganF #3d #geometry #representation #specification: Specifying the Representation of Non-geometric Information in 3D Virtual Environments (KB, GF), pp. 773–782.
HCI-NIMT-2009-OkitaNS #communication #using: Non-verbal Communication System Using Pictograms (MO, YN, HS), pp. 720–724.
HIMI-II-2009-KushiroKNI #behaviour #health #monitoring: Non-intrusive Human Behavior Monitoring Sensor for Health Care System (NK, MK, MN, YI), pp. 549–558.
IDGD-2009-EngleF #metric #multi #scalability #using: Rescaling Non-metric Data to Metric Data Using Multi-Dimensional Scaling (KME, GAF), pp. 245–253.
OCSC-2009-BreitfussPI #automation #behaviour #generative #multimodal: Automatic Generation of Non-verbal Behavior for Agents in Virtual Worlds: A System for Supporting Multimodal Conversations of Bots and Avatars (WB, HP, MI), pp. 153–161.
ICEIS-AIDSS-2009-BiscarriMLGBM #detection #framework #mining: A Mining Framework to Detect Non-technical Losses in Power Utilities (FB, IM, CL, JIG, JB, RM), pp. 96–101.
ICEIS-J-2009-MianiYSB #algorithm #fuzzy #mining #ontology: NARFO Algorithm: Mining Non-redundant and Generalized Association Rules Based on Fuzzy Ontologies (RGM, CAY, MTPS, MB), pp. 415–426.
CIKM-2009-AchananuparpYC #using: Using negative voting to diversify answers in non-factoid question answering (PA, CCY, XC), pp. 1681–1684.
CIKM-2009-BhowmickDLN #evaluation #towards #xpath: Towards non-directional Xpath evaluation in a RDBMS (SSB, CED, EL, ZN), pp. 1501–1504.
ECIR-2009-NamNLL #difference #named: DiffPost: Filtering Non-relevant Content Based on Content Difference between Two Consecutive Blog Posts (SHN, SHN, YL, JHL), pp. 791–795.
ICML-2009-LawrenceU #matrix #process: Non-linear matrix factorization with Gaussian processes (NDL, RU), pp. 601–608.
ICML-2009-Tillman #distributed #independence #learning: Structure learning with independent non-identically distributed data (RET), pp. 1041–1048.
ICML-2009-XuJYLK #feature model: Non-monotonic feature selection (ZX, RJ, JY, MRL, IK), pp. 1145–1152.
ICML-2009-ZhangSFD #learning: Learning non-redundant codebooks for classifying complex objects (WZ, AS, XF, TGD), pp. 1241–1248.
ICML-2009-ZhouSL #learning #multi: Multi-instance learning by treating instances as non-I.I.D. samples (ZHZ, YYS, YFL), pp. 1249–1256.
ICML-2009-ZhuangTH #kernel #learning #named #parametricity: SimpleNPKL: simple non-parametric kernel learning (JZ, IWT, SCHH), pp. 1273–1280.
KDD-2009-DundarHBRR #case study #dataset #detection #learning #using: Learning with a non-exhaustive training dataset: a case study: detection of bacteria cultures using optical-scattering technology (MD, EDH, AKB, JPR, BR), pp. 279–288.
KDIR-2009-NettletonMM #case study #evaluation #image #internet: User Study of the Assignment of Objective and Subjective Type Tags to Images in Internet — Evaluation for Native and non Native English Language Taggers (DFN, MCM, BML), pp. 99–104.
KEOD-2009-Hufflen #component #framework #non-functional #using: A Framework for Managing Components using Non-functional Properties (JMH), pp. 460–463.
MLDM-2009-CzarnowskiJ #clustering #distributed: Agent-Based Non-distributed and Distributed Clustering (IC, PJ), pp. 347–360.
MLDM-2009-LoglisciM #mining #multi: Mining Multiple Level Non-redundant Association Rules through Two-Fold Pruning of Redundancies (CL, DM), pp. 251–265.
RecSys-2009-MarlinZ #collaboration #predict #ranking: Collaborative prediction and ranking with non-random missing data (BMM, RSZ), pp. 5–12.
SEKE-2009-SoriaMSDH #estimation #modelling: Software Project Effort Estimation Non Lineal Mathematical Models (PRS, BMH, MFdS, MJDA, MAH), pp. 619–624.
SEKE-2009-ZhangLSDCL #scalability #verification: Formal Verification of Scalable NonZero Indicators (SJZ, YL, JS, JSD, WC, YAL), pp. 406–411.
SIGIR-2009-SunQTW #learning #metric #rank #ranking #robust: Robust sparse rank learning for non-smooth ranking measures (ZS, TQ, QT, JW), pp. 259–266.
GPCE-2009-KuhlemannBK #composition: Safe composition of non-monotonic features (MK, DSB, CK), pp. 177–186.
QAPL-2009-MuraPPR #markov: Exploiting non-Markovian Bio-Processes (IM, DP, CP, AR), pp. 83–98.
POPL-2009-GotsmanCPV #algorithm #proving: Proving that non-blocking algorithms don’t block (AG, BC, MJP, VV), pp. 16–28.
RE-2009-GhezziT #non-functional #reasoning #requirements: Reasoning on Non-Functional Requirements for Integrated Services (CG, GT), pp. 69–78.
REFSQ-2009-MarholdRSD #experience #non-functional #requirements: Clarifying Non-functional Requirements to Improve User Acceptance — Experience at Siemens (CM, CR, CS, JD), pp. 139–146.
SAC-2009-ChoudhuriG #embedded #named #nondeterminism: FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
SAC-2009-LiuLC #2d #mobile: Two-dimensional non-photorealistic drawings on mobile devices (DSML, CHL, CIC), pp. 1843–1844.
ESEC-FSE-2009-PaveseBU #analysis #behaviour #modelling #probability: Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models (EP, VAB, SU), pp. 335–344.
CGO-2009-YuGS #fault tolerance #named: ESoftCheck: Removal of Non-vital Checks for Fault Tolerance (JY, MJG, MS), pp. 35–46.
CADE-2009-BorrallerasLNRR #linear #polynomial #satisfiability: Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic (CB, SL, RNM, ERC, AR), pp. 294–305.
CSL-2009-Tatsuta #calculus #commutative #first-order: Non-Commutative First-Order Sequent Calculus (MT), pp. 470–484.
ICLP-2009-ChristiansenG: Non-discriminating Arguments and Their Uses (HC, JPG), pp. 55–69.
ICLP-2009-Voets #analysis #logic programming #research #source code #summary: Research Summary: Non-termination Analysis of Logic Programs (DV), pp. 553–554.
ICLP-2009-VoetsS #analysis #approach #logic programming #source code: A New Approach to Non-termination Analysis of Logic Programs (DV, DDS), pp. 220–234.
ICST-2009-HillTES #component #distributed #non-functional #testing: Unit Testing Non-functional Concerns of Component-based Distributed Systems (JHH, HAT, JRE, DCS), pp. 406–415.
LICS-2009-CreusGMT #normalisation #term rewriting: Non-linear Rewrite Closure and Weak Normalization (CC, GG, FM, AT), pp. 365–374.
MBT-2009-SchumannSH #graph #nondeterminism #testing #using: Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (AS, MS, JH), pp. 87–99.
VMCAI-2009-MightM #abstract interpretation #nondeterminism: A PosterioriSoundness for Non-deterministic Abstract Interpretations (MM, PM), pp. 260–274.
ECSA-2008-BernardoB #algebra #architecture #process: Non-synchronous Communications in Process Algebraic Architectural Description Languages (MB, EB), pp. 3–18.
DAC-2008-ImaiSNM #analysis #framework #parametricity #statistics: Non-parametric statistical static timing analysis: an SSTA framework for arbitrary distribution (MI, TS, NN, KM), pp. 698–701.
DAC-2008-WangLZTYTCN #scheduling: Timing yield driven clock skew scheduling considering non-Gaussian distributions of critical path delays (YW, WSL, XZ, JT, CY, JT, WC, JN), pp. 223–226.
DATE-2008-CertnerLPTAD #approach #parallel #performance #predict #source code: A Practical Approach for Reconciling High and Predictable Performance in Non-Regular Parallel Programs (OC, ZL, PP, OT, FA, ND), pp. 740–745.
DATE-2008-ChoudhuryM #approximate #concurrent #detection #fault #logic: Approximate logic circuits for low overhead, non-intrusive concurrent error detection (MRC, KM), pp. 903–908.
DATE-2008-DubrovaTT #analysis #feedback #on the #synthesis: On Analysis and Synthesis of (n, k)-Non-Linear Feedback Shift Registers (ED, MT, HT), pp. 1286–1291.
DATE-2008-KazmierskiZA #approximate #mobile #modelling #performance #using: Efficient circuit-level modelling of ballistic CNT using piecewise non-linear approximation of mobile charge density (TJK, DZ, BMAH), pp. 146–151.
DATE-2008-MalaniMQW #adaptation #multi #nondeterminism #realtime #scalability #scheduling: Adaptive Scheduling and Voltage Scaling for Multiprocessor Real-time Applications with Non-deterministic Workload (PM, PM, QQ, QW), pp. 652–657.
DATE-2008-StratigopoulosTM #estimation #parametricity: A General Method to Evaluate RF BIST Techniques Based on Non-parametric Density Estimation (HGDS, JT, SM), pp. 68–73.
VLDB-2008-HuangCDN #on the #query: On the provenance of non-answers to queries over extracted data (JH, TC, AD, JFN), pp. 736–747.
VLDB-2008-PerlmanBK: Organizing and indexing non-convex regions (EAP, RCB, MMK), pp. 1500–1503.
VLDB-2008-ZhangPWN #correlation #higher-order #mining: Mining non-redundant high order correlations in binary data (XZ, FP, WW, ABN), pp. 1178–1188.
ITiCSE-2008-Goelman #collaboration #database #learning: Databases, non-majors and collaborative learning: a ternary relationships (DG), pp. 27–31.
ESOP-2008-Allamigeon #abstraction #array: Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.
FASE-2008-AlrajehRU #behaviour #modelling #using: Deriving Non-zeno Behavior Models from Goal Models Using ILP (DA, AR, SU), pp. 1–15.
FoSSaCS-2008-SelingerV #call-by #λ-calculus: A Linear-non-Linear Model for a Computational Call-by-Value λ Calculus (Extended Abstract) (PS, BV), pp. 81–96.
ICSM-2008-SilvaDV #robust: Non-invasive and non-scattered annotations for more robust pointcuts (LS, SD, MTdOV), pp. 67–76.
PASTE-2008-Hubert #bytecode #java: A non-null annotation inferencer for Java bytecode (LH), pp. 36–42.
SCAM-2008-Krinke #question: Is Cloned Code More Stable than Non-cloned Code? (JK), pp. 57–66.
STOC-2008-BlumLR #approach #database #learning #privacy: A learning theory approach to non-interactive database privacy (AB, KL, AR), pp. 609–618.
DLT-J-2007-Freivalds08 #automaton #finite #probability: Non-Constructive Methods for Finite Probabilistic Automata (RF), pp. 565–580.
DLT-J-2007-Jez08 #boolean grammar: Conjunctive Grammars Generate Non-Regular Unary Languages (AJ), pp. 597–615.
AFL-2008-Cruz-ReyesK #automaton: Non-Linear Subband Coding with Cellular Automata (CCR, JK), pp. 146–157.
AFL-2008-KaminskiZ #automaton #nondeterminism: Extending finite-memory automata with non-deterministic reassignment (Extended abstract) (MK, DZ), pp. 195–207.
DLT-2008-Ada #communication #complexity #nondeterminism #on the #regular expression: On the Non-deterministic Communication Complexity of Regular Languages (AA), pp. 96–107.
ICALP-A-2008-PoratR #adaptation #combinator #testing: Explicit Non-adaptive Combinatorial Group Testing Schemes (EP, AR), pp. 748–759.
ICALP-B-2008-BodirskyG #complexity #constraints: Non-dichotomies in Constraint Satisfaction Complexity (MB, MG), pp. 184–196.
ICALP-B-2008-ColcombetL #automaton #nondeterminism: The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (TC, CL), pp. 398–409.
ICALP-B-2008-Jurdzinski #recursion: Leftist Grammars Are Non-primitive Recursive (TJ), pp. 51–62.
ICALP-C-2008-OstrovskyPV #concurrent: Constant-Round Concurrent Non-malleable Zero Knowledge in the Bare Public-Key Model (RO, GP, IV), pp. 548–559.
ICALP-C-2008-ShrimptonS: Building a Collision-Resistant Compression Function from Non-compressing Primitives (TS, MS), pp. 643–654.
GT-VMT-2008-LambersET #sequence: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).
ICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process: Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.
CSCW-2008-AbrahamR #case study #coordination: Moving patients around: a field study of coordination between clinical and non-clinical staff in hospitals (JA, MCR), pp. 225–228.
CSCW-2008-SinghT #interactive: The confusion of crowds: non-dyadic help interactions (VS, MBT), pp. 699–702.
EDOC-2008-KimKLP #approach #architecture #non-functional #requirements: A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures (SK, DKK, LL, SP), pp. 139–148.
ICEIS-HCI-2008-LucaB #design #implementation #navigation #recommendation: Microformats Based Navigation Assistant — A Non-intrusive Recommender Agent: Design and Implementation (APL, SCB), pp. 54–61.
ICEIS-J-2008-Tarkkanen08a #modelling #process: Business Process Modeling for Non-uniform Work (KT), pp. 188–200.
CIKM-2008-BalogR: Non-local evidence for expert finding (KB, MdR), pp. 489–498.
CIKM-2008-ShawXG #approximate #dataset: Deriving non-redundant approximate association rules from hierarchical datasets (GS, YX, SG), pp. 1451–1452.
CIKM-2008-ZhuSYW #process #query #question: Can phrase indexing help to process non-phrase queries? (MZ, SS, NY, JRW), pp. 679–688.
ICML-2008-HyvarinenSH #modelling: Causal modelling combining instantaneous and lagged effects: an identifiable model based on non-Gaussianity (AH, SS, POH), pp. 424–431.
ICML-2008-KerstingD #parametricity #policy #relational: Non-parametric policy gradients: a unified treatment of propositional and relational domains (KK, KD), pp. 456–463.
ICML-2008-SiggB: Expectation-maximization for sparse and non-negative PCA (CDS, JMB), pp. 960–967.
ICML-2008-YuVGS #approach #optimisation: A quasi-Newton approach to non-smooth convex optimization (JY, SVNV, SG, NNS), pp. 1216–1223.
ICPR-2008-AshrafF #robust: Robust auto-calibration of a PTZ camera with non-overlapping FOV (NA, HF), pp. 1–4.
ICPR-2008-BellaviaTV #detection #parametricity: A non-parametric scale-based corner detector (FB, DT, CV), pp. 1–4.
ICPR-2008-GurS #detection #invariant: Non-Abelian invariant feature detection (YG, NAS), pp. 1–4.
ICPR-2008-HidakaK #feature model #optimisation #using: Non-Neighboring Rectangular Feature selection using Particle Swarm Optimization (AH, TK), pp. 1–4.
ICPR-2008-HuZYWTH #case study #recognition: A study of non-frontal-view facial expressions recognition (YH, ZZ, LY, XW, JT, TSH), pp. 1–4.
ICPR-2008-KarnickMP #approach #classification #concept #incremental #learning #multi #using: Incremental learning in non-stationary environments with concept drift using a multiple classifier based approach (MTK, MM, RP), pp. 1–4.
ICPR-2008-KooKC #image: Non-rigid image registration based on the globally optimized correspondences (HIK, JGK, NIC), pp. 1–4.
ICPR-2008-LiZ #algorithm #fixpoint #matrix #named #performance: FastNMF: A fast monotonic fixed-point non-negative Matrix Factorization algorithm with high ease of use (LL, YJZ), pp. 1–4.
ICPR-2008-OikeWW #adaptation #clustering: Adaptive selection of non-target cluster centers for K-means tracker (HO, HW, TW), pp. 1–4.
ICPR-2008-SezerMAC #detection #markov #named: NorMaL: Non-compact Markovian Likelihood for change detection (OGS, JLM, YA, DBC), pp. 1–4.
KDD-2008-ChakrabartiKSB #learning #ranking: Structured learning for non-smooth ranking losses (SC, RK, US, CB), pp. 88–96.
KDD-2008-MoiseS #approach #clustering #novel #statistics: Finding non-redundant, statistically significant regions in high dimensional data: a novel approach to projected and subspace clustering (GM, JS), pp. 533–541.
KR-2008-Balbiani #analysis #reasoning #representation #standard: Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis (PB), pp. 695–704.
KR-2008-ClassenL #logic #source code: A Logic for Non-Terminating Golog Programs (JC, GL), pp. 589–599.
SEKE-2008-AfzalTF #non-functional #search-based #testing: A Systematic Mapping Study on Non-Functional Search-based Software Testing (WA, RT, RF), pp. 488–493.
SEKE-2008-JanesSS #identification #process: Non-invasive Software Process Data Collection for Expert Identification (AJ, AS, GS), pp. 191–196.
SIGIR-2008-Al-MaskariSC: Relevance judgments between TREC and Non-TREC assessors (AAM, MS, PDC), pp. 683–684.
SIGIR-2008-Diaz #retrieval: A method for transferring retrieval scores between collections with non-overlapping vocabularies (FDD), pp. 805–806.
SIGIR-2008-ElgersmaR #classification: Personal vs non-personal blogs: initial classification experiments (EE, MdR), pp. 723–724.
SIGIR-2008-PengL #analysis #evolution #topic #using: Author-topic evolution analysis using three-way non-negative Paratucker (WP, TL), pp. 819–820.
SIGIR-2008-Thomas #multi: Generalising multiple capture-recapture to non-uniform sample sizes (PT), pp. 839–840.
POPL-2008-GuptaHMRX #proving: Proving non-termination (AG, TAH, RM, AR, RGX), pp. 147–158.
SAC-2008-DennyM #lr #parsing: IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 240–245.
SAC-2008-LevadaMTS #estimation #higher-order #parametricity #pseudo: Spatially non-homogeneous potts model parameter estimation on higher-order neighborhood systems by maximum pseudo-likelihood (ALML, NDAM, AT, DHPS), pp. 1733–1737.
SAC-2008-RoyS #data flow #problem: Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.
SAC-2008-ShiguemoriVS #approach #network #retrieval: Atmospheric temperature retrieval from satellite data: new non-extensive artificial neural network approach (EHS, HFdCV, JDSdS), pp. 1688–1692.
SAC-2008-WebberS: Self and non-self discrimination agents (CGW, JLTdS), pp. 1987–1988.
CC-2008-MalePPD #bytecode #java #verification: Java Bytecode Verification for @NonNull Types (CM, DJP, AP, CD), pp. 229–244.
CAV-2008-CohenPZ #memory management #transaction #verification: Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (AC, AP, LDZ), pp. 121–134.
CSL-2008-CreignouSS #constraints #problem: Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (NC, HS, IS), pp. 109–123.
CSL-2008-HodkinsonMS #axiom #logic: Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (IMH, AM, GS), pp. 308–322.
ICLP-2008-CasasCH #implementation #independence #nondeterminism #strict: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 651–666.
ICLP-2008-OetschT #semantics: Program Correspondence under the Answer-Set Semantics: The Non-ground Case (JO, HT), pp. 591–605.
ICLP-2008-Parisini #constraints: Bi-dimensional Domains for the Non-overlapping Rectangles Constraint (FP), pp. 811–812.
ICLP-2008-PerezR #concurrent #constraints #nondeterminism #programming: Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.
RTA-2008-KobayashiO #automaton: Tree Automata for Non-linear Arithmetic (NK, HO), pp. 291–305.
RTA-2008-Schmidt-SchaussM #call-by #finite #nondeterminism #simulation #λ-calculus: A Finite Simulation Method in a Non-deterministic Call-by-Need λ-Calculus with Letrec, Constructors, and Case (MSS, EM), pp. 321–335.
RTA-2008-Stratulat #induction: Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (SS), pp. 351–365.
SAT-2008-StachniakB #learning #satisfiability: Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning (ZS, AB), pp. 257–270.
TAP-2008-VelroyenR #imperative #source code: Non-termination Checking for Imperative Programs (HV, PR), pp. 154–170.
VMCAI-2008-AbdullaHDR: Handling Parameterized Systems with Non-atomic Global Conditions (PAA, NBH, GD, AR), pp. 22–36.
VMCAI-2008-Cousot #abstract interpretation #semantics: Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions (RC), pp. 1–3.
WICSA-2007-CortellessaMI #architecture #modelling #non-functional #validation: Non-Functional Modeling and Validation in Model-Driven Architecture (VC, ADM, PI), p. 25.
WICSA-2007-KulkarniP #architecture #enterprise #framework #functional #requirements: An Architectural Framework for Non Functional Requirements in Enterprise SOA Adoption (NNK, SP), p. 36.
ASE-2007-WapplerS #testing: Improving evolutionary class testing in the presence of non-public methods (SW, IS), pp. 381–384.
DAC-2007-ChengXH #analysis #statistics: Non-Linear Statistical Static Timing Analysis for Non-Gaussian Variation Sources (LC, JX, LH), pp. 250–255.
DAC-2007-KimJH #estimation #monte carlo #performance: Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch (JK, KDJ, MAH), pp. 440–443.
DAC-2007-LiP #correlation #multi #parametricity #performance: Efficient Parametric Yield Extraction for Multiple Correlated Non-Normal Performance Distributions of Analog/RF Circuits (XL, LTP), pp. 928–933.
DAC-2007-SinghalBSLNC #analysis #modelling #simulation: Modeling and Analysis of Non-Rectangular Gate for Post-Lithography Circuit Simulation (RS, AB, ARS, FL, SRN, YC), pp. 823–828.
DATE-2007-DielissenH #implementation #parallel: Non-fractional parallelism in LDPC decoder implementations (JD, AH), pp. 337–342.
DATE-2007-JangKL #fault #profiling #reduction #self: Error rate reduction in DNA self-assembly by non-constant monomer concentrations and profiling (BJ, YBK, FL), pp. 847–852.
DATE-2007-SinanogluP #approach: A non-intrusive isolation approach for soft cores (OS, TP), pp. 27–32.
DATE-2007-ZhangOSFKB #analysis #approach #named #parametricity #process: CMCal: an accurate analytical approach for the analysis of process variations with non-gaussian parameters and nonlinear functions (MZ, MO, DS, MF, HK, EB), pp. 243–248.
DATE-2007-ZilicRK #specification: Reversible circuit technology mapping from non-reversible specifications (ZZ, KR, AK), pp. 558–563.
DocEng-2007-ChaoGW #scalability: Preserving the aesthetics during non-fixed aspect ratio scaling of the digital border (HC, PG, AW), pp. 144–146.
ICDAR-2007-BertolamiUZB #recognition: Non-Uniform Slant Correction for Handwritten Text Line Recognition (RB, SU, MZ, HB), pp. 18–22.
ICDAR-2007-DasariB #identification #using: Identification of Non-Black Inks Using HSV Colour Space (HD, CB), pp. 486–490.
ICDAR-2007-LuongP #image #re-engineering: Non-Local Text Image Reconstruction (HQL, WP), pp. 546–550.
ICDAR-2007-ZhouLQA #classification #markov #random: Text/Non-text Ink Stroke Classification in Japanese Handwriting Based on Markov Random Fields (XDZ, CLL, SQ, ÉA), pp. 377–381.
PODS-2007-BadiaV #query: Non-linear prefixes in query languages (AB, SV), pp. 185–194.
ESOP-2007-BarthePR #bytecode #java #lightweight #verification: A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.
ESOP-2007-BlanquiHW #data type #implementation #on the: On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.
FASE-2007-CortellessaMI #analysis #framework #non-functional #performance #reliability: Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework (VC, ADM, PI), pp. 57–71.
ICPC-2007-PetterssonL #approach #design pattern #detection: A Non-conservative Approach to Software Pattern Detection (NP, WL), pp. 189–198.
STOC-2007-BravermanY #set: Constructing non-computable Julia sets (MB, MY), pp. 709–716.
CIAA-J-2006-CzeizlerK07 #equation #independence #on the #word: On Non-Periodic Solutions of Independent Systems of Word Equations over Three Unknowns (EC, JK), pp. 873–897.
DLT-2007-AnselmoGM #2d #nondeterminism: From Determinism to Non-determinism in Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 36–47.
DLT-2007-BertoniR #monad: Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids (AB, RR), pp. 72–83.
DLT-2007-Freivalds #automaton #finite #probability: Non-constructive Methods for Finite Probabilistic Automata (RF), pp. 169–180.
DLT-2007-Jez #boolean grammar: Conjunctive Grammars Can Generate Non-regular Unary Languages (AJ), pp. 242–253.
ICALP-2007-KapronMS: A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) (BMK, LM, SV), pp. 328–339.
LATA-2007-MesserschmidtO #automaton #nondeterminism #on the: On Determinism Versus Non-Determinism for Restarting Automata (HM, FO), pp. 413–424.
IFM-2007-DerrickSW #proving #refinement: Proving Linearizability Via Non-atomic Refinement (JD, GS, HW), pp. 195–214.
IFM-2007-Toben #communication #data type #reduction: Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.
CHI-2007-TullioDCF #case study #how: How it works: a field study of non-technical users interacting with an intelligent system (JT, AKD, JC, JF), pp. 31–40.
HCI-AS-2007-SkattorBEH #framework #mobile: A Framework for Mobile Services Supporting Mobile Non-office Workers (BS, LB, TE, PH), pp. 742–751.
HCI-IDU-2007-BockKLS: The Role of Task Characteristics and Organization Culture in Non-Work Related Computing (NWRC) (GWB, HHK, PL, HS), pp. 681–690.
HCI-IDU-2007-DhakhwaHGMT #interface #named: Sambad — Computer Interfaces for Non-literates (SD, PAVH, GBG, PM, IT), pp. 721–730.
ICEIS-AIDSS-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow: The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEIS-DISI-2007-ChristianssonS #open data #problem #standard: Problems with non-open data standards in swedish municipals — when integrating and adopting systems (BC, FS), pp. 264–267.
ICEIS-DISI-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow: The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEIS-EIS-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow: The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEIS-HCI-2007-MelguizoBDBB #memory management #recommendation #what: What a Proactive Recommendation System Needs — Relevance, Non-Intrusiveness, and a New Long-Term Memory (MCPM, TB, AD, LB, AvdB), pp. 86–91.
ICEIS-HCI-2007-MuranoGH #feedback #online #user interface: Anthropomorphic vs Non-Anthropomorphic User Interface Feedback for Online Hotel Bookings (PM, AG, POH), pp. 157–163.
ICEIS-HCI-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow: The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEIS-J-2007-ShethG07a #execution #middleware #non-functional #process #semantics #workflow: The 4 x 4 Semantic Model: Exploiting Data, Functional, Non-functional and Execution Semantics Across Business Process, Workflow, Partner Services and Middleware Services Tiers (APS, KG), pp. 16–26.
ICEIS-SAIC-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow: The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICML-2007-DollarRB #algorithm #analysis #learning: Non-isometric manifold learning: analysis and an algorithm (PD, VR, SJB), pp. 241–248.
ICML-2007-GerberTW #reduction #robust #using: Robust non-linear dimensionality reduction using successive 1-dimensional Laplacian Eigenmaps (SG, TT, RTW), pp. 281–288.
ICML-2007-KropotovV #learning #on the: On one method of non-diagonal regularization in sparse Bayesian learning (DK, DV), pp. 457–464.
KDD-2007-ChopraTLCL #parametricity: Discovering the hidden structure of house prices with a non-parametric latent manifold model (SC, TT, JL, AC, YL), pp. 173–182.
KDD-2007-ShaparenkoJ #database #documentation: Information genealogy: uncovering the flow of ideas in non-hyperlinked document databases (BS, TJ), pp. 619–628.
SIGIR-2007-HofmannS #automation: Automatic extension of non-english wordnets (KH, EFTKS), pp. 833–834.
ECOOP-2007-ChalinJ #java: Non-null References by Default in Java: Alleviating the Nullity Annotation Burden (PC, PRJ), pp. 227–247.
POPL-2007-ParkinsonBO #composition #stack #verification: Modular verification of a non-blocking stack (MJP, RB, PWO), pp. 297–302.
RE-2007-Glinz #non-functional #on the #requirements: On Non-Functional Requirements (MG), pp. 21–26.
RE-2007-RabiserDGLF #product line #requirements: Involving Non-Technicians in Product Derivation and Requirements Engineering: A Tool Suite for Product Line Engineering (RR, DD, PG, KL, CF), pp. 367–368.
REFSQ-2007-RegnellHB #analysis #mobile #non-functional #performance #quality #requirements: A Quality Performance Model for Cost-Benefit Analysis of Non-functional Requirements Applied to the Mobile Handset Domain (BR, MH, RBS), pp. 277–291.
ESEC-FSE-2007-Potena #composition #non-functional #research #trade-off: Composition and tradeoff of non-functional attributes in software systems: research directions (PP), pp. 583–586.
HPCA-2007-ChafiCCMMBKO #approach #memory management #scalability #transaction: A Scalable, Non-blocking Approach to Transactional Memory (HC, JC, BDC, AM, CCM, WB, CK, KO), pp. 97–108.
CADE-2007-FalkeK #dependence: Dependency Pairs for Rewriting with Non-free Constructors (SF, DK), pp. 426–442.
MBT-2007-BorodayPG #model checking #nondeterminism #question #testing: Can a Model Checker Generate Tests for Non-Deterministic Systems? (SB, AP, RG), pp. 3–19.
RTA-2007-EchahedP #confluence #pointer #strict #term rewriting: Non Strict Confluent Rewrite Systems for Data-Structures with Pointers (RE, NP), pp. 137–152.
SAT-2007-Kullmann #invariant #matrix #polynomial #satisfiability: Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices (OK), pp. 314–327.
CASE-2006-XiaoX #modelling #monitoring #process: Monitoring of batch processes with non-linear modeling methods (YX, BX), pp. 140–143.
DAC-2006-HammoudaSDTNBAS #design #framework #migration: Chameleon ART: a non-optimization based analog design migration framework (SH, HS, MD, MT, QN, WMB, HMA, HIS), pp. 885–888.
DAC-2006-LiLP #analysis #power management #statistics: Projection-based statistical analysis of full-chip leakage power with non-log-normal distributions (XL, JL, LTP), pp. 103–108.
DAC-2006-MeiR #robust: A robust envelope following method applicable to both non-autonomous and oscillatory circuits (TM, JSR), pp. 1029–1034.
DAC-2006-SinghS #analysis #component #correlation #independence #parametricity #statistics #using: Statistical timing analysis with correlated non-gaussian parameters using independent component analysis (JS, SSS), pp. 155–160.
DATE-2006-AbbasIA #detection: On-chip 8GHz non-periodic high-swing noise detector (MA, MI, KA), pp. 670–671.
DATE-2006-AbbaspourFP #analysis #statistics: Non-gaussian statistical interconnect timing analysis (SA, HF, MP), pp. 533–538.
DATE-2006-UdayakumaranB: An integrated scratch-pad allocator for affine and non-affine code (SU, RB), pp. 925–930.
DATE-DF-2006-FanucciCSKWSALM #design #image #linear #synthesis: ASIP design and synthesis for non linear filtering in image processing (LF, MC, SS, DK, EMW, OS, GA, RL, HM), pp. 233–238.
SIGMOD-2006-VuHCL #database #performance #scalability #similarity: A non-linear dimensionality-reduction technique for fast similarity search in large databases (KV, KAH, HC, SDL), pp. 527–538.
VLDB-2006-SubramaniamPPKG #detection #modelling #online #parametricity #using: Online Outlier Detection in Sensor Data Using Non-Parametric Models (SS, TP, DP, VK, DG), pp. 187–198.
CSEET-2006-Budgen #nondeterminism #why: Why should they believe us? Determinism, non-determinism and evidence (DB), p. 4.
ITiCSE-2006-LeidigFL #information management: The use of community-based non-profit organizations in information systems capstone projects (PML, RCF, JL), pp. 148–152.
ITiCSE-2006-OKellyG #approach #education #learning #problem #programming: RoboCode & problem-based learning: a non-prescriptive approach to teaching programming (JO, JPG), pp. 217–221.
CSMR-2006-Boffoli #monitoring #quality: Non-Intrusive Monitoring of Software Quality (NB), pp. 319–322.
CIAA-2006-PargaGR #algorithm #product line #regular expression: A Family of Algorithms for Non Deterministic Regular Languages Inference (MVdP, PG, JR), pp. 265–274.
DLT-2006-Krieger #fixpoint #morphism #on the: On Critical Exponents in Fixed Points of Non-erasing Morphisms (DK), pp. 280–291.
FM-2006-Mostowski #java #logic #reasoning: Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.
ICGT-2006-JakobKS #graph grammar #specification: Non-materialized Model View Specification with Triple Graph Grammars (JJ, AK, AS), pp. 321–335.
ICGT-2006-MendizabalD #analysis #distributed #graph grammar #non-functional #probability #using: Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars (OMM, FLD), pp. 275–290.
CHI-2006-HamzahTIH #effectiveness: Effectiveness of annotating by hand for non-alphabetical languages (MDH, ST, MI, TH), pp. 841–850.
ICEIS-AIDSS-2006-JacquenetLU #approach #performance #scalability: Efficient Management of Non Redundant Rules in Large Pattern Bases: A Bitmap Approach (FJ, CL, CU), pp. 208–215.
CIKM-2006-JainZC #adaptation #clustering #data type: Adaptive non-linear clustering in data streams (AJ, ZZ, EYC), pp. 122–131.
ICML-2006-BowlingMJNW #learning #policy #predict #using: Learning predictive state representations using non-blind policies (MHB, PM, MJ, JN, DFW), pp. 129–136.
ICML-2006-SilvaBBE #detection #using: Dealing with non-stationary environments using context detection (BCdS, EWB, ALCB, PME), pp. 217–224.
ICPR-v1-2006-AsharafM #clustering #scalability #using: Scalable non-linear Support Vector Machine using hierarchical clustering (SA, MNM), pp. 908–911.
ICPR-v1-2006-WashizawaY #kernel: Non-linear Wiener filter in reproducing kernel Hilbert space (YW, YY), pp. 967–970.
ICPR-v1-2006-YouZCWT #representation #using: Face Representation By Using Non-tensor Product Wavelets (XY, DZ, QC, PSPW, YYT), pp. 503–506.
ICPR-v2-2006-FangQ #classification: Car/Non-Car Classification in an Informative Sample Subspace (JF, GQ), pp. 962–965.
ICPR-v2-2006-InoueNK #analysis #feature model #kernel #recognition #string #using: Historical Hand-Written String Recognition by Non-linear Discriminant Analysis using Kernel Feature Selection (RI, HN, NK), pp. 1094–1097.
ICPR-v2-2006-InoueU #2d #analysis #linear: Non-Iterative Two-Dimensional Linear Discriminant Analysis (KI, KU), pp. 540–543.
ICPR-v2-2006-JinM #learning #parametricity #recognition: A Non-Parametric HMM Learning Method for Shape Dynamics with Application to Human Motion Recognition (NJ, FM), pp. 29–32.
ICPR-v2-2006-LahdenojaALP #parametricity #symmetry: A Shape-Preserving Non-parametric Symmetry Transform (OL, EA, ML, AP), pp. 373–377.
ICPR-v2-2006-SunV #detection #linear #multi #performance #using: Fast Linear Feature Detection Using Multiple Directional Non-Maximum Suppression (CS, PV), pp. 288–291.
ICPR-v2-2006-YamadaS #invariant #recognition: Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints (TY, JS), pp. 990–993.
ICPR-v3-2006-LapedrizaMV #gender #recognition: Gender Recognition in Non Controlled Environments (ÀL, MJMJ, JV), pp. 834–837.
ICPR-v3-2006-LeoputraTL #distributed #using: Non-overlapping Distributed Tracking using Particle Filter (WSL, TT, FLL), pp. 181–185.
ICPR-v3-2006-NeubeckG #performance: Efficient Non-Maximum Suppression (AN, LJVG), pp. 850–855.
ICPR-v3-2006-NishiguchiIS: Laplacian Based Non-Linear Diffusion Filtering (HN, AI, TS), pp. 838–841.
ICPR-v3-2006-PetterssonKB #automation #segmentation #using: Automatic Hip Bone Segmentation Using Non-Rigid Registration (JP, HK, MB), pp. 946–949.
ICPR-v3-2006-ShinT #3d #generative: Triangular Mesh Generation of Octrees of Non-Convex 3D Objects (DS, TT), pp. 950–953.
ICPR-v3-2006-XuanCZYHSF #analysis #classification #component #novel: A Novel Pattern Classification Scheme: Classwise Non-Principal Component Analysis (CNPCA) (GX, PC, XZ, QY, CH, YQS, DF), pp. 320–323.
ICPR-v3-2006-XueLF #image #using: Iterative Image Restoration using a Non-Local Regularization Function and a Local Regularization Operator (FX, QSL, WF), pp. 766–769.
ICPR-v3-2006-XueTCZ #algorithm #matrix #recognition: A Modified Non-negative Matrix Factorization Algorithm for Face Recognition (YX, CST, WSC, WZ), pp. 495–498.
ICPR-v4-2006-ChenB06b: Global-to-Local Non-Rigid Shape Registration (HC, BB), pp. 57–60.
ICPR-v4-2006-HeYTWX #image #matrix #novel #retrieval #symmetry #using: Texture Image Retrieval Using Novel Non-separable Filter Banks Based on Centrally Symmetric Matrices (ZH, XY, YYT, PSPW, YX), pp. 161–164.
ICPR-v4-2006-KumarJ #visual notation: Visual Servoing in Presence of Non-Rigid Motion (DSK, CVJ), pp. 655–658.
ICPR-v4-2006-MohantySK #approach: A Non-Iterative Approach to Reconstruct Face Templates from Match Scores (PM, SS, RK), pp. 598–601.
ICPR-v4-2006-NiuG #network #using: Recovering Non-overlapping Network Topology Using Far-field Vehicle Tracking Data (CN, EG), pp. 944–949.
ICPR-v4-2006-Rivera-RoveloB #algebra #framework #geometry #realtime #using: Non-Rigid Alignment and Real-Time Tracking Using the Geometric Algebra Framework (JRR, EBC), pp. 675–678.
ICPR-v4-2006-YodaTRSI #gesture #interface: Stereo Camera Based Non-Contact Non-Constraining Head Gesture Interface for Electric Wheelchairs (IY, JT, BR, KS, TI), pp. 740–745.
ICPR-v4-2006-YuanMZL #matrix #recognition #using: Ear Recognition using Improved Non-Negative Matrix Factorization (LY, ZM, YZ, KL), pp. 501–504.
KDD-2006-WangM #roadmap #topic: Topics over time: a non-Markov continuous-time model of topical trends (XW, AM), pp. 424–433.
KR-2006-EiterFTTW #programming: Replacements in Non-Ground Answer-Set Programming (TE, MF, HT, PT, SW), pp. 340–351.
KR-2006-ZamanskyA #first-order #logic #nondeterminism #semantics: Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.
SIGIR-2006-JeonCLP #framework #predict #quality: A framework to predict the quality of answers with non-textual features (JJ, WBC, JHL, SP), pp. 228–235.
SIGIR-2006-ShokouhiZST #distributed #retrieval: Capturing collection size for distributed non-cooperative retrieval (MS, JZ, FS, SMMT), pp. 316–323.
LOPSTR-2006-Payet #detection #term rewriting #using: Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator (ÉP), pp. 194–209.
PPDP-2006-GnaedigK #source code: Computing constructor forms with non terminating rewrite programs (IG, HK), pp. 121–132.
PPDP-2006-RooverBD #behaviour #fuzzy #logic #similarity #strict #validation: Combining fuzzy logic and behavioral similarity for non-strict program validation (CDR, JB, TD), pp. 15–26.
RE-2006-CarvalloFQ #component #off the shelf #requirements: Managing Non-Technical Requirements in COTS Components Selection (JPC, XF, CQ), pp. 316–321.
RE-2006-Cleland-HuangSZS #aspect-oriented #classification #detection #non-functional #requirements: The Detection and Classification of Non-Functional Requirements with Application to Early Aspects (JCH, RS, XZ, PS), pp. 36–45.
RE-2006-Gonzalez-BaixauliLL #elicitation #interactive #non-functional #requirements #using: Eliciting Non-Functional Requirements Interactions Using the Personal Construct Theory (BGB, JCSdPL, MAL), pp. 340–341.
SAC-2006-Goldsztejn #algorithm #approximate #branch #set: A branch and prune algorithm for the approximation of non-linear AE-solution sets (AG), pp. 1650–1654.
SAC-2006-LesbegueriesGL #information management: Geographical information access for non-structured data (JL, MG, PL), pp. 83–89.
SAC-2006-OrshanskyWCX #analysis #robust #statistics: Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer chips (MO, WSW, MC, GX), pp. 1645–1649.
SAC-2006-Zanardini #bytecode #java: Abstract non-interference in a fragment of Java bytecode (DZ), pp. 1822–1826.
HPCA-2006-VenkatesanHR #agile: Retention-aware placement in DRAM (RAPID): software methods for quasi-non-volatile DRAM (RKV, SH, ER), pp. 155–165.
IJCAR-2006-BeckertP #logic: Dynamic Logic with Non-rigid Functions (BB, AP), pp. 266–280.
RTA-2006-Aoto #equation #induction: Dealing with Non-orientable Equations in Rewriting Induction (TA), pp. 242–256.
SAT-2006-JainBC #satisfiability #using: Satisfiability Checking of Non-clausal Formulas Using General Matings (HJ, CB, EMC), pp. 75–89.
TestCom-2006-Ipate #bound #finite #nondeterminism #sequence #state machine #testing: Bounded Sequence Testing from Non-deterministic Finite State Machines (FI), pp. 55–70.
TestCom-2006-RosiereJP #testing: LaTe, a Non-fully Deterministic Testing Language (EdR, CJ, BP), pp. 71–86.
VMCAI-2006-RossignoliS #compilation #detection: Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.
ASE-2005-FredrikssonTC #analysis #component #design #development #framework #non-functional: A component-based development framework for supporting functional and non-functional analysis in control system design (JF, MT, IC), pp. 368–371.
CASE-2005-HanJBL #image #metric: Edge location of cannon barrel image based on non-contact measurement of CCD (BH, HJ, HB, ZL), pp. 290–294.
DAC-2005-ChangZNV #analysis #parametricity #statistics: Parameterized block-based statistical timing analysis with non-gaussian parameters, nonlinear delay functions (HC, VZ, SN, CV), pp. 71–76.
DAC-2005-SuhKL #architecture: Cache coherence support for non-shared bus architecture on heterogeneous MPSoCs (TS, DK, HHSL), pp. 553–558.
DAC-2005-WuZN #approach #estimation #parametricity: A non-parametric approach for dynamic range estimation of nonlinear systems (BW, JZ, FNN), pp. 841–844.
DAC-2005-ZhangCHGC #analysis #polynomial #statistics: Correlation-preserved non-gaussian statistical timing analysis with quadratic timing model (LZ, WC, YH, JAG, CCPC), pp. 83–88.
DAC-2005-ZhanSLPNS #analysis #statistics: Correlation-aware statistical timing analysis with non-gaussian delay distributions (YZ, AJS, XL, LTP, DN, MS), pp. 77–82.
DATE-2005-ForzanP #analysis #behaviour #library #modelling: Modeling the Non-Linear Behavior of Library Cells for an Accurate Static Noise Analysis (CF, DP), pp. 982–983.
DATE-2005-YangHSP #logic #multi #quantum #synthesis #using: Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory (GY, WNNH, XS, MAP), pp. 434–435.
ICDAR-2005-Aradhye: A Generic Method for Determining the Up/Down Orientation of Text in Roman and Non-roman Scripts (HBA), pp. 187–191.
ICDAR-2005-Sun #documentation #layout #segmentation: Page Segmentation for Manhattan and Non-Manhattan Layout Documents via Selective CRLA (HMS), pp. 116–120.
SIGMOD-2005-ZhuH: Fossilized Index: The Linchpin of Trustworthy Non-Alterable Electronic Records (QZ, WWH), pp. 395–406.
VLDB-2005-ChengKPKT #adaptation #query: Adaptive Stream Filters for Entity-based Queries with Non-Value Tolerance (RC, BK, SP, AK, YCT), pp. 37–48.
VLDB-2005-RamanHN #parallel #query: Parallel Querying with Non-Dedicated Computers (VR, WH, IN), pp. 61–72.
FASE-2005-MooijGR: Non-local Choice and Beyond: Intricacies of MSC Choice Nodes (AJM, NG, JR), pp. 273–288.
FoSSaCS-2005-CattaniSKN #nondeterminism #probability: Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
PLDI-2005-Herlihy #re-engineering #transaction: The transactional manifesto: software engineering and non-blocking synchronization (MH), p. 280.
SAS-2005-HuntM: The PER Model of Abstract Non-interference (SH, IM), pp. 171–185.
STOC-2005-CharikarK #design #multi #network #on the: On non-uniform multicommodity buy-at-bulk network design (MC, AK), pp. 176–182.
STOC-2005-PassR #encryption #protocol: New and improved constructions of non-malleable cryptographic protocols (RP, AR), pp. 533–542.
CIAA-2005-AbdullaDKN #automaton #nondeterminism #scalability: Minimization of Non-deterministic Automata with Large Alphabets (PAA, JD, LK, MN), pp. 31–42.
CIAA-2005-SudaH #algorithm #automaton #backtracking #top-down: Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment (TS, HH), pp. 294–306.
ICALP-2005-EnglertW #cost analysis #modelling #order: Reordering Buffer Management for Non-uniform Cost Models (ME, MW), pp. 627–638.
ICALP-2005-Fischlin: Completely Non-malleable Schemes (MF), pp. 779–790.
CHI-2005-BlackmonKP #effectiveness #navigation #predict #problem: Tool for accurately predicting website navigation problems, non-problems, problem severity, and effectiveness of repairs (MHB, MK, PGP), pp. 31–40.
AdaEurope-2005-LundqvistSG #fault tolerance: Non-intrusive System Level Fault-Tolerance (KL, JS, SG), pp. 156–166.
EDOC-2005-JonkersILS #analysis #aspect-oriented #development #integration #modelling #non-functional: Integration and Analysis of Functional and Non-Functional Aspects in Model-Driven E-Service Development (HJ, MEI, MML, PS), pp. 229–238.
EDOC-2005-RobinsonCS #implementation #interactive #web #web service: Implementing Fair Non-repudiable Interactions with Web Services (PR, NC, SKS), pp. 195–206.
ICEIS-v2-2005-CuellarDJ #network #predict #problem #programming: An Application of Non-Linear Programming to Train Recurrent Neural Networks in Time Series Prediction Problems (MPC, MD, MdCPJ), pp. 35–42.
ICEIS-v2-2005-VasconcelosSLK #information management: Knowledge Management in Non-Governmental Organisations — A Partnership for the Future (JBdV, PCS, PGL, CK), pp. 17–26.
ICEIS-v3-2005-SilvaC #detection #non-functional #requirements: Functional and Non-Functional Application Software Requirements: Early Conflict Detection (PSMS, LC), pp. 343–348.
CIKM-2005-HuYSZS #mining #semantics: Mining undiscovered public knowledge from complementary and non-interactive biomedical literature through semantic pruning (XH, IY, MS, YZ, IYS), pp. 249–250.
ICML-2005-ShashuaH #statistics: Non-negative tensor factorization with applications to statistics and computer vision (AS, TH), pp. 792–799.
ICML-2005-ZienC #scalability: Large margin non-linear embedding (AZ, JQC), pp. 1060–1067.
KDD-2005-GondekH #clustering: Non-redundant clustering with conditional ensembles (DG, TH), pp. 70–77.
KDD-2005-GuhaH #data type #fault: Wavelet synopsis for data streams: minimizing non-euclidean error (SG, BH), pp. 88–97.
OOPSLA-2005-CharlesGSDKEPS #approach #clustering #named #object-oriented: X10: an object-oriented approach to non-uniform cluster computing (PC, CG, VAS, CD, AK, KE, CvP, VS), pp. 519–538.
QAPL-2004-LanotteMT05 #analysis #automation #protocol: Automatic Analysis of a Non-Repudiation Protocol (RL, AMS, AT), pp. 113–129.
LOPSTR-2005-AlbertPG #logic programming #partial evaluation #source code: Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (EA, GP, JPG), pp. 115–132.
RE-2005-DorrKKOS #case study #industrial #non-functional #requirements: Non-Functional Requirements in Industry — Three Case Studies Adopting an Experience-based NFR Method (JD, DK, TK, TO, TS), pp. 373–384.
SAC-2005-BellaachiaR #database #performance #string: Efficiency of prefix and non-prefix codes in string matching over compressed databases on handheld devices (AB, IAR), pp. 993–997.
SAC-2005-JayadevaprakashMP #generative #graph #transitive #using: Generating association graphs of non-cooccurring text objects using transitive methods (NJ, SM, MJP), pp. 141–145.
ICSE-2005-Cleland-HuangSKBC #non-functional #requirements #traceability: Goal-centric traceability for managing non-functional requirements (JCH, RS, OBK, EB, SC), pp. 362–371.
PPoPP-2005-HarrisF #programming: Revocable locks for non-blocking programming (TLH, KF), pp. 72–82.
PPoPP-2005-WangS #source code #static analysis: Static analysis of atomicity for programs with non-blocking synchronization (LW, SDS), pp. 61–71.
SAT-J-2004-SubbarayanP05 #named #preprocessor #satisfiability: NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.
ICLP-2005-SaadP #hybrid #logic programming #probability #source code: Hybrid Probabilistic Logic Programs with Non-monotonic Negation (ES, EP), pp. 204–220.
TLCA-2005-Zanardini #higher-order: Higher-Order Abstract Non-interference (DZ), pp. 417–432.
WICSA-2004-PoortW #composition #non-functional: Resolving Requirement Conflicts through Non-Functional Decomposition (ERP, PHNdW), pp. 145–154.
DAC-2004-LiYYYL #adaptation #algorithm #design #representation #using: A packing algorithm for non-manhattan hexagon/triangle placement design by using an adaptive o-tree representation (JL, TY, BY, JY, CL), pp. 646–651.
DAC-2004-YangM #adaptation #higher-order #modelling: An Essentially Non-Oscillatory (ENO) high-order accurate Adaptive table model for device modeling (BY, BM), pp. 864–867.
DATE-v1-2004-LiPZSSS: State-Preserving vs. Non-State-Preserving Leakage Control in Caches (YL, DP, YZ, KS, MRS, KS), pp. 22–29.
HT-2004-HorieY #analysis #documentation #set #using #web: Structural analysis for web documentation using the non-well-founded set (IH, KY), pp. 42–43.
PODS-2004-Tsaparas #ranking #using #web: Using Non-Linear Dynamical Systems for Web Searching and Ranking (PT), pp. 59–70.
CSEET-2004-Becker-PechauBLS #flexibility: Educating Non-Programmers to Flexible, Communicative Software Engineers in a 10 Month Training Program (PBP, WGB, CL, AS), pp. 98–103.
ESOP-2004-CarlierPWK #flexibility #linear #type system: System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types (SC, JP, JBW, AJK), pp. 294–309.
CSMR-2004-Torchiano #approach #comprehension #empirical #modelling: Empirical Investigation of a Non-Intrusive Approach to Study Comprehension Cognitive Models (MT), pp. 184–194.
SCAM-2004-RoblesG #analysis #execution #source code: Executable Source Code and Non-Executable Source Code: Analysis and Relationships (GR, JMGB), pp. 149–157.
SAS-2004-PayetM #constraints #logic programming #source code: Non-termination Inference for Constraint Logic Programs (ÉP, FM), pp. 377–392.
FLOPS-2004-BuenoLH #abstract interpretation #analysis #multi #standard: Multivariant Non-failure Analysis via Standard Abstract Interpretation (FB, PLG, MVH), pp. 100–116.
CIAA-2004-BordihnHK #context-free grammar #linear #problem: Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages (HB, MH, MK), pp. 68–79.
CHI-2004-PavlovychS: Model for non-expert text entry speed on 12-button phone keypads (AP, WS), pp. 351–358.
CIKM-2004-LiuZYYYCBM #learning #metric #similarity: Learning similarity measures in non-orthogonal space (NL, BZ, JY, QY, SY, ZC, FB, WYM), pp. 334–341.
ICML-2004-OngMCS #kernel #learning: Learning with non-positive kernels (CSO, XM, SC, AJS).
ICML-2004-SminchisescuJ #embedded #generative #modelling #visual notation: Generative modeling for continuous non-linearly embedded visual inference (CS, ADJ).
ICPR-v1-2004-BuciuP #matrix #recognition: Application of non-Negative and Local non Negative Matrix Factorization to Facial Expression Recognition (IB, IP), pp. 288–291.
ICPR-v1-2004-FilipH #bidirectional #synthesis: Non-linear Reflectance Model for Bidirectional Texture Function Synthesis (JF, MH), pp. 80–83.
ICPR-v1-2004-KimMPJP #image #segmentation: Non-contrast Based Edge Descriptor for Image Segmentation (BGK, PSM, DJP, JHJ, JSP), pp. 572–575.
ICPR-v1-2004-Strand: Surface Skeletons in Grids with Non-Cubic Voxels (RS), pp. 548–551.
ICPR-v1-2004-YamashitaKKM #documentation #image #re-engineering: Shape Reconstruction and Image Restoration for Non-Flat Surfaces of Documents with a Stereo Vision System (AY, AK, TK, KTM), pp. 482–485.
ICPR-v1-2004-ZhangJT: Geodesic Closest Point Constrained Inter-Subject Non-Rigid Registration (ZZ, YJ, HTT), pp. 564–567.
ICPR-v3-2004-BakerB: Principal Flow for Tubular Objects with Non-Circular Cross-Sections (GB, NB), pp. 750–753.
ICPR-v3-2004-BogushTS #3d #re-engineering: 3D Object Reconstruction from Non-Parallel Cross-Sections (ALB, AT, SS), pp. 542–545.
ICPR-v3-2004-LenzB #recognition: Recognition of Non-Negative Patterns (RL, THB), pp. 498–501.
ICPR-v3-2004-LeowCPTVH #geometry #linear #representation: Linear and Non-linear Geometric Object Matching with Implicit Representation (ADL, MCC, HP, PMT, LAV, HSCH), pp. 710–713.
ICPR-v3-2004-LiewWY #classification #sequence #statistics: Selection of Statistical Features Based on Mutual Information for Classification of Human Coding and Non-coding DNA Sequences (AWCL, YW, HY), pp. 766–769.
ICPR-v3-2004-LiMH: New Method for Sparse Point-Sets Matching with Underlying Non-Rigidity (BL, QM, HH), pp. 8–11.
ICPR-v3-2004-SprevakAW #assessment #classification: A Non-Random Data Sampling Method for Classification Model Assessment (DS, FA, HW), pp. 406–409.
ICPR-v3-2004-ZengPQ #robust: Robust Carving for Non-Lambertian Objects (GZ, SP, LQ), pp. 119–122.
ICPR-v4-2004-Ben-AriS: Non-Isotropic Regularization of the Correspondence Space in Stereo-Vision (RBA, NAS), pp. 293–296.
ICPR-v4-2004-ChantasGL #image: Non Stationary Bayesian Image Restoration (GKC, NPG, AL), pp. 689–692.
ICPR-v4-2004-GoncalvesA #estimation #image: Rigid Motion Estimation from Non-Central Catadioptric Images (NG, HA), pp. 268–271.
ICPR-v4-2004-KangCM04a #2d #approach #estimation #multi: Non-Iterative Approach to Multiple 2D Motion Estimation (EYEK, IC, GGM), pp. 791–794.
ICPR-v4-2004-KeysersGN #modelling #recognition: Local Context in Non-Linear Deformation Models for Handwritten Character Recognition (DK, CG, HN), pp. 511–514.
ICPR-v4-2004-MizukamiWT #approximate #architecture #network: A Proposal of Neural Network Architecture for Non-Linear Function Approximation (YM, YW, KT), pp. 605–608.
ICPR-v4-2004-Moreno-NoguerS #integration #multi #segmentation: Integration of Shape and a Multihypotheses Fisher Color Model for Figure-Ground Segmentation in Non-Stationary Environments (FMN, AS), pp. 771–774.
ICPR-v4-2004-Rivera-RoveloB #approach #geometry: Non-Rigid Registration and Geometric Approach for Tracking in Neurosurgery (JRR, EBC), pp. 717–720.
ICPR-v4-2004-SheyninTB: Improvements of Volume Computation from Non-Parallel Cross-Sections (SS, AT, ALB), pp. 815–818.
ICPR-v4-2004-WillisC #3d #dataset #multi #symmetry: Alignment of Multiple Non-Overlapping Axially Symmetric 3D Datasets (ARW, DBC), pp. 96–99.
ICPR-v4-2004-YuanL #dependence #nondeterminism: Fragile Watermarking Scheme Exploiting Non-Deterministic Block-Wise Dependency (YY, CTL), pp. 849–852.
KDD-2004-LiuYM #algorithm #classification #parametricity #performance: The IOC algorithm: efficient many-class non-parametric classification for high-dimensional data (TL, KY, AWM), pp. 629–634.
KR-2004-EiterFFPW #bound #complexity #model checking #programming #set: Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming (TE, WF, MF, GP, SW), pp. 377–387.
SEKE-2004-LiLCWL #using: Extracting Minimal Non-Redundant Implication Rules by Using Quantized Closed Itemset Lattice (YL, ZL, WC, QW, WL), pp. 402–405.
UML-2004-RottgerZ #development #model transformation #modelling #non-functional #refinement: Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation (SR, SZ), pp. 275–289.
POPL-2004-GiacobazziM #abstract interpretation: Abstract non-interference: parameterizing non-interference by abstract interpretation (RG, IM), pp. 186–197.
POPL-2004-SankaranarayananSM #generative #invariant #using: Non-linear loop invariant generation using Gröbner bases (SS, HS, ZM), pp. 318–329.
RE-2004-HillWN #approach #non-functional #process #requirements: Quantifying Non-Functional Requirements: A Process Oriented Approach (RLH, JW, KN), pp. 352–353.
RE-2004-SousaC #non-functional #requirements: Improving the Separation of Non-Functional Concerns in Requirements Artifacts (GMCdS, JC), pp. 350–351.
ICSE-2004-ZhaoZLSY #approach #feature model #named #towards: SNIAFL: Towards a Static Non-Interactive Approach to Feature Location (WZ, LZ, YL, JS, FY), pp. 293–303.
ICSE-2004-Zschaler #component #concept #non-functional #research #semantics #specification: Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software (SZ), pp. 51–53.
CAV-2004-Lange #model checking: Symbolic Model Checking of Non-regular Properties (ML), pp. 83–95.
CSL-2004-GiacobazziM #proving: Proving Abstract Non-interference (RG, IM), pp. 280–294.
ICLP-2004-RuedaV #deduction: Non-viability Deductions in Arc-Consistency Computation (CR, FDV), pp. 343–355.
IJCAR-2004-BofillR #order: Redundancy Notions for Paramodulation with Non-monotonic Orderings (MB, AR), pp. 107–121.
IJCAR-2004-TurhanK #named #standard: Sonic — Non-standard Inferences Go OilEd (AYT, CK), pp. 321–325.
SAT-2004-ThiffaultBW: Solving Non-clausal Formulas with DPLL search (CT, FB, TW), pp. 147–156.
ASE-2003-SkeneE #analysis #approach #architecture #modelling #non-functional: A Model-Driven Approach to Non-Functional Analysis of Software Architectures (JS, WE), pp. 236–239.
ASE-2003-Wile #architecture #calculus #non-functional: Architecture Style-Based Calculi for Non-functional Properties (DSW), pp. 299–303.
DAC-2003-RootWT #behaviour #metric #modelling #simulation: New techniques for non-linear behavioral modeling of microwave/RF ICs from simulation and nonlinear microwave measurements (DER, JW, NT), pp. 85–90.
DAC-2003-ThudiB: Non-iterative switching window computation for delay-noise (BT, DB), pp. 390–395.
DAC-2003-XiangGSW #architecture #effectiveness #testing: A cost-effective scan architecture for scan testing with non-scan test power and test application cost (DX, SG, JGS, YLW), pp. 744–747.
DATE-2003-DaglioR #bottom-up #design #top-down: A Fully Qualified Top-Down and Bottom-Up Mixed-Signal Design Flow for Non Volatile Memories Technologies (PD, CR), pp. 20274–20279.
DATE-2003-DrineasM #concurrent #detection #fault #monitoring: Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees (PD, YM), pp. 11164–11167.
DATE-2003-PadmanabanT #fault: Non-Enumerative Path Delay Fault Diagnosis (SP, ST), pp. 10322–10327.
DATE-2003-Pirola #hardware #memory management: A Solution for Hardware Emulation of Non Volatile Memory Macrocells (AP), pp. 20262–20267.
DATE-2003-ZhuM #component #non-functional #specification: Specification of Non-Functional Intellectual Property Components (JZ, WSM), pp. 10456–10461.
ICDAR-2003-JeongNK #recognition: Non-similar candidate removal method for off-line handwritten Korean character recognition (SHJ, YSN, HKK), pp. 323–328.
SIGMOD-2003-Zeller #data type #sql #transaction: NonStop SQL/MX Publish/Subscribe: Continuous Data Streams in Transaction Processing (HZ), p. 636.
VLDB-2003-HulgeriS #cost analysis #named #optimisation #parametricity #query: AniPQO: Almost Non-intrusive Parametric Query Optimization for Nonlinear Cost Functions (AH, SS), pp. 766–777.
VLDB-2003-QianZXP #multi: The ND-Tree: A Dynamic Indexing Technique for Multidimensional Non-ordered Discrete Data Spaces (GQ, QZ, QX, SP), pp. 620–631.
VLDB-2003-ZhouS #clustering #metric: Data Bubbles for Non-Vector Data: Speeding-up Hierarchical Clustering in Arbitrary Metric Spaces (JZ, JS), pp. 452–463.
CSEET-2003-EllisMMS #industrial #re-engineering: Industry/University Software Engineering Collaborations for the Successful Reeducation of Non-Software Professionals (HJCE, AMM, NRM, SBS), pp. 44–51.
ITiCSE-2003-Guzdial: A media computation course for non-majors (MG), pp. 104–108.
ITiCSE-2003-Papastergiou #development #education #student #web: Introducing non-computer science undergraduates to Web development: results of an investigative study on student teachers (MP), p. 231.
ESOP-2003-Tini: Rule Formats for Non Interference (ST), pp. 129–143.
FASE-2003-Muccini #branch #detection: Detecting Implied Scenarios Analyzing Non-local Branching Choices (HM), pp. 372–386.
WCRE-2003-BodhuinGT #migration #using #web: Migration of non-decomposable software systems to the Web using screen proxies (TB, EG, MT), pp. 165–174.
PLDI-2003-AikenFKT #alias: Checking and inferring local non-aliasing (AA, JSF, JK, TT), pp. 129–140.
STOC-2003-DamgardG #reuse: Non-interactive and reusable non-malleable commitment schemes (ID, JG), pp. 426–437.
DLT-2003-FalcoGL #modelling #probability: Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models (DdF, MG, VL), pp. 242–253.
ICFP-2003-EnnalsJ #adaptation #evaluation #source code #strict: Optimistic evaluation: an adaptive evaluation strategy for non-strict programs (RE, SLPJ), pp. 287–298.
IFL-2003-SeguraP #analysis #correctness #nondeterminism: Correctness of Non-determinism Analyses in a Parallel-Functional Language (CS, RP), pp. 69–85.
AdaEurope-2003-JeppuKS #ada #realtime #safety #testing #using: Testing Safety Critical Ada Code Using Non Real Time Testing (YVJ, KK, PSS), pp. 382–392.
ICEIS-v4-2003-NenadicZ: Non-Repudiation and Fairness in Electronic Data Exchange (AN, NZ), pp. 55–62.
ECIR-2003-DejunM #categorisation: Chinese Text Categorization Based on the Binary Weighting Model with Non-binary Smoothing (XD, MS), pp. 408–419.
SIGIR-2003-XuLG #clustering #documentation #matrix: Document clustering based on non-negative matrix factorization (WX, XL, YG), pp. 267–273.
OOPSLA-2003-FahndrichL #object-oriented: Declaring and checking non-null types in an object-oriented language (MF, KRML), pp. 302–312.
PADL-2003-PontelliBB #reasoning: Non-monotonic Reasoning on Beowulf Platforms (EP, MB, FB), pp. 37–57.
CADE-2003-Ringeissen: Matching in a Class of Combined Non-disjoint Theories (CR), pp. 212–227.
CAV-2003-ColonSS #constraints #generative #invariant #linear #theorem proving #using: Linear Invariant Generation Using Non-linear Constraint Solving (MC, SS, HS), pp. 420–432.
LICS-2003-GradelK #fixpoint: Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (EG, SK), p. 158–?.
LICS-2003-KuncakR #decidability #recursion #type system: Structural Subtyping of Non-Recursive Types is Decidable (VK, MCR), pp. 96–107.
ASE-2002-BarberGH #architecture #evaluation #non-functional #using: Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation (KSB, TJG, JH), pp. 172–182.
DATE-2002-ChuY #design: Non-Rectangular Shaping and Sizing of Soft Modules in Floorplan Design (CCNC, EFYY), p. 1101.
DATE-2002-GinesPRSM #behaviour #design #modelling #parametricity #reuse: A Mixed-Signal Design Reuse Methodology Based on Parametric Behavioural Models with Non-Ideal Effects (AJG, EJP, AR, RS, NMM), pp. 310–314.
DATE-2002-OzdagBSN #performance #pipes and filters: High-Speed Non-Linear Asynchronous Pipelines (ROO, PAB, MS, SMN), pp. 1000–1007.
DATE-2002-PomeranzZ #fault #testing #using: Fault Isolation Using Tests for Non-Isolated Blocks (IP, YZ), p. 1123.
VLDB-2002-AshwinGG #adaptation #similarity #using: Adaptable Similarity Search using Non-Relevant Information (TVA, RG, SG), pp. 47–58.
VLDB-2002-DittrichSTW #algorithm: Progressive Merge Join: A Generic and Non-blocking Sort-based Join Algorithm (JPD, BS, DST, PW), pp. 299–310.
VLDB-2002-PalpanasSCP #incremental #maintenance: Incremental Maintenance for Non-Distributive Aggregate Functions (TP, RS, RC, HP), pp. 802–813.
CSMR-2002-JustoS #component #coordination #distributed #integration #non-functional: Non-functional Integration and Coordination of Distributed Component Services (GRRJ, AS), pp. 126–133.
CIAA-2002-AnselmoGV #automaton #finite #self: Finite Automata and Non-self-Embedding Grammars (MA, DG, SV), pp. 47–56.
ICALP-2002-Dalmau #constraints #nondeterminism #problem: Constraint Satisfaction Problems in Non-deterministic Logarithmic Space (VD), pp. 414–425.
ICFP-2002-GlynnSSS #analysis #exception #strict: Exception analysis for non-strict languages (KG, PJS, MS, HS), pp. 98–109.
ICML-2002-YangW #classification: Non-Disjoint Discretization for Naive-Bayes Classifiers (YY, GIW), pp. 666–673.
ICPR-v1-2002-Mignotte #multi #parametricity: Bayesian Rendering with Non-Parametric Multiscale Prior Model (MM), pp. 247–251.
ICPR-v1-2002-SuriWGSL #comparison #image #state of the art: A Comparison of State-of-the-Art Diffusion Imaging Techniques for Smoothing Medical/Non-Medical Image Data (JSS, DW, JG, SS, SL), p. 508–?.
ICPR-v1-2002-TengLCH #robust: Robust Computation of Optical Flow under Non-Uniform Illumination Variations (CHT, SHL, YSC, WHH), pp. 327–330.
ICPR-v1-2002-Verges-LlahiTS #estimation #using: Estimation of Rigid and Non-Rigid Facial Motion Using Anatomical Face Model (JVL, AT, AS), pp. 381–384.
ICPR-v1-2002-WangQ #complexity #recognition #using: Face Recognition Using Optimal Non-Orthogonal Wavelet Basis Evaluated by Information Complexity (XW, HQ), pp. 164–167.
ICPR-v1-2002-YilmazSS #estimation #using: Estimation of Rigid and Non-Rigid Facial Motion Using Anatomical Face Model (AY, KS, MS), pp. 377–380.
ICPR-v1-2002-ZhuY #classification #documentation: A New Textual/Non-Textual Classifier for Document Skew Correction (XZ, XY), pp. 480–482.
ICPR-v2-2002-GuillametSV #classification #image #matrix: Analyzing Non-Negative Matrix Factorization for Image Classification (DG, BS, JV), pp. 116–119.
ICPR-v2-2002-GuillametV #matrix #metric #using: Determining a Suitable Metric when Using Non-Negative Matrix Factorization (DG, JV), pp. 128–131.
ICPR-v2-2002-Guskov #geometry #performance: Efficient Tracking of Regular Patterns on Non-Rigid Geometry (IG), pp. 1057–1060.
ICPR-v2-2002-Perez-JimenezP #feature model: Radial Projections for Non-Linear Feature Extraction (AJPJ, JCPC), pp. 444–447.
ICPR-v2-2002-SkaffAC: Active Bayesian Color Constancy with Non-Uniform Sensors (SS, TA, JJC), pp. 681–684.
ICPR-v2-2002-WildenauerMB #approach: A Gradient-Based Eigenspace Approach to Dealing with Occlusions and Non-Gaussian Noise (HW, TM, HB), pp. 977–980.
ICPR-v3-2002-PawlakR #image: Non-Linear Local Harmonic Filters For Edge-Preserving Image Denoising (MP, ER), pp. 895–897.
ICPR-v3-2002-Smeraldi #detection #named #parametricity: Ranklets: Orientation Selective Non-Parametric Features Applied to Face Detection (FS), pp. 379–382.
ICPR-v4-2002-FialaB #re-engineering #using: Panoramic Stereo Reconstruction Using Non-SVP Optics (MF, AB), p. 27–?.
ICPR-v4-2002-RomaniukDRD #linear #locality #statistics: Linear and Non-Linear Model for Statistical Localization of Landmarks (BR, MD, MR, MJD), p. 393–?.
KDD-2002-VlachosDGKK #classification #reduction #visualisation: Non-linear dimensionality reduction techniques for classification and visualization (MV, CD, DG, GK, NK), pp. 645–651.
KDD-2002-YamanishiT #detection #framework: A unifying framework for detecting outliers and change points from non-stationary time series data (KY, JiT), pp. 676–681.
SIGIR-2002-Gery #web: Non-linear reading for a structured web indexation (MG), pp. 379–380.
PADL-2002-GallagherP #abstract interpretation #analysis #automaton #finite #logic programming #nondeterminism #source code: Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs (JPG, GP), pp. 243–261.
POPL-2002-Hofmann: The strength of non-size increasing computation (MH0), pp. 260–269.
SAC-2002-PollockC #standard: Fitting standard software to non-standard organisations (NP, JC), pp. 721–725.
ICSE-2002-CysneirosL #elicitation #modelling #non-functional #requirements: Non-functional requirements: from elicitation to modelling languages (LMC, JCSdPL), pp. 699–700.
ASPLOS-2002-KimBK #adaptation: An adaptive, non-uniform cache structure for wire-delay dominated on-chip caches (CK, DB, SWK), pp. 211–222.
HPCA-2002-RakvicBLS: Non-Vital Loads (RNR, BB, DL, JPS), pp. 165–174.
LCTES-SCOPES-2002-ChoPW #algorithm #architecture #graph #memory management #performance: Efficient register and memory assignment for non-orthogonal architectures via graph coloring and MST algorithms (JC, YP, DBW), pp. 130–138.
CSL-2002-Chen #fixpoint #parallel: A Fixpoint Theory for Non-monotonic Parallelism (YC), pp. 120–134.
ICLP-2002-LoyerS #database #deduction #nondeterminism: Non-uniform Hypothesis in Deductive Databases with Uncertainty (YL, US), pp. 473–474.
SAT-2002-Stachniak: Going non-clausal (ZS), p. 21.
DAC-2001-AjamiBPG #analysis #performance: Analysis of Non-Uniform Temperature-Dependent Interconnect Performance in High Performance ICs (AHA, KB, MP, LPPPvG), pp. 567–572.
DAC-2001-LinC #graph #named #representation #transitive: TCG: A Transitive Closure Graph-Based Representation for Non-Slicing Floorplans (JML, YWC), pp. 764–769.
ICDAR-2001-GatosP #image #performance #segmentation #set: Applying Fast Segmentation Techniques at a Binary Image Represented by a Set of Non-Overlapping Blocks (BG, NP), pp. 1147–1153.
STOC-2001-BecchettiL #parallel #scheduling: Non-clairvoyant scheduling to minimize the average flow time on single and parallel machines (LB, SL), pp. 94–103.
STOC-2001-JerrumSV #algorithm #approximate #matrix #polynomial: A polynomial-time approximation algorithm for the permanent of a matrix with non-negative entries (MJ, AS, EV), pp. 712–721.
STOC-2001-Trevisan #bound #optimisation #problem: Non-approximability results for optimization problems on bounded degree instances (LT), pp. 453–461.
FLOPS-J2-1998-AbramovG01 #semantics #standard: From Standard to Non-Standard Semantics by Semantics Modifiers (SMA, RG), pp. 171–211.
DLT-2001-EiterGS #higher-order #logic #string: Second-Order Logic over Strings: Regular and Non-regular Fragments (TE, GG, TS), pp. 37–56.
IFL-2001-PenaS01a #analysis #nondeterminism: A Polynomial-Cost Non-determinism Analysis (RP, CS), pp. 121–137.
CHI-2001-CravenTDPGBFBJLH: Exploiting interactivity, influence, space and time to explore non-linear drama in virtual worlds (MPC, IT, AD, JP, CG, SB, MF, JB, KMJA, BL, MH), pp. 30–37.
AdaEurope-2001-Burns #ada #policy: Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.
AdaEurope-2001-SantanaGEC #legacy #reuse #robust: Building Robust Applications by Reusing Non-robust Legacy Software (FGS, FJMG, JMSE, JCRC), pp. 148–159.
ICML-2001-SchefferW #incremental #information management #problem: Incremental Maximization of Non-Instance-Averaging Utility Functions with Applications to Knowledge Discovery Problems (TS, SW), pp. 481–488.
KDD-2001-LiuHM #identification: Identifying non-actionable association rules (BL, WH, YM), pp. 329–334.
LOPSTR-2001-PotikasRG #datalog #nondeterminism #source code: A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs (PP, PR, MG), pp. 25–45.
SAC-2001-Leopold #optimisation #reuse: Exploiting non-uniform reuse for cache optimization (CL), pp. 560–564.
SAC-2001-RosaJC #architecture #framework #non-functional: A framework for building non-functional software architectures (NSR, GRRJ, PRFC), pp. 141–147.
CSL-2001-GuglielmiS #calculus #commutative: Non-commutativity and MELL in the Calculus of Structures (AG, LS), pp. 54–68.
CSL-2001-Mogbil #commutative #correctness #logic #polynomial: Quadratic Correctness Criterion for Non-commutative Logic (VM), pp. 69–83.
IJCAR-2001-AngerKL #logic programming #reasoning #semantics #set #source code: NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics (CA, KK, TL), pp. 325–330.
IJCAR-2001-CerritoM #logic #quantifier: Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation (SC, MCM), pp. 137–151.
RTA-2001-KuhnemannGK #cumulative #functional #source code: Relating Accumulative and Non-accumulative Functional Programs (AK, RG, KK), pp. 154–168.
TLCA-2001-Laird #nondeterminism: A Deconstruction of Non-deterministic Classical Cut Elimination (JL), pp. 268–282.
ASE-2000-HillL #analysis: Non-Interference Analysis for Mixed Criticality Code in Avionics Systems (MGH, TWL), pp. 257–260.
DAC-2000-ChangCWW #representation: B*-Trees: a new representation for non-slicing floorplans (YCC, YWC, GMW, SWW), pp. 458–463.
DAC-2000-PangBLC #constraints #representation #symmetry: Block placement with symmetry constraints based on the O-tree non-slicing representation (YP, FB, KL, CKC), pp. 464–467.
DATE-2000-CarroSNJF #component: Non-Linear Components for Mixed Circuits Analog Front-End (LC, AAdSJ, MN, GPJ, DTF), pp. 544–549.
ITiCSE-2000-Stratton #approach #education #network #protocol #quote: “Network protocols and services”: a non-specialist approach to teaching networking (poster session) (DS), p. 194.
FASE-2000-FradetIR #mobile #non-functional: Analyzing Non-functional Properties of Mobile Agents (PF, VI, SR), pp. 319–333.
PEPM-2000-LeviS #analysis #linear #refinement: Non Pair-Sharing and Freeness Analysis Through Linear Refinement (GL, FS), pp. 52–61.
PEPM-2000-Taha #formal method #ml #multi #reduction #semantics: A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) (WT), pp. 34–43.
SAS-2000-BensalemBFGL #approach #generative #invariant: A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
STOC-2000-Istrail #3d #statistics: Statistical mechanics, three-dimensionality and NP-completeness: I. Universality of intracatability for the partition function of the Ising model across non-planar surfaces (extended abstract) (SI), pp. 87–96.
STOC-2000-RasalaW #network #strict: Strictly non-blocking WDM cross-connects for heterogeneous networks (AR, GTW), pp. 514–523.
ICALP-2000-FocardiGM #analysis #encryption #protocol: Non Interference for the Analysis of Cryptographic Protocols (RF, RG, FM), pp. 354–372.
ICALP-2000-Hastad #algorithm #approximate #np-hard #optimisation #performance #problem #question: Which NP-Hard Optimization Problems Admit Non-trivial Efficient Approximation Algorithms? (JH), p. 235.
ICALP-2000-SantisCP #proving: Necessary and Sufficient Assumptions for Non-iterative Zero-Knowledge Proofs of Knowledge for All NP Relations (ADS, GDC, GP), pp. 451–462.
ICFP-2000-CheadleFMJW #haskell: Non-stop Haskell (AMC, AJF, SM, SLPJ, RLW), pp. 257–267.
IFL-2000-PenaS #analysis #nondeterminism: Non-determinism Analysis in a Parallel-Functional Language (RP, CS), pp. 1–18.
CHI-2000-PoupyrevWF #3d: Non-isomorphic 3D rotational techniques (IP, SW, SF), pp. 540–547.
CIKM-2000-DreyerD #database #framework #metamodelling #replication: A Meta Model and an Infrastructure for the Non-Transparent Replication of Object Databases (WD, KRD), pp. 344–351.
CIKM-2000-FerhatosmanogluTAA #approximate #set: Vector Approximation based Indexing for Non-uniform High Dimensional Data Sets (HF, ET, DA, AEA), pp. 202–209.
ICML-2000-CoelhoG #approach #learning: Learning in Non-stationary Conditions: A Control Theoretic Approach (JACJ, RAG), pp. 151–158.
ICPR-v1-2000-HeikkilaSS #estimation #segmentation #using: Camera Motion Estimation from Non-Stationary Scenes Using EM-Based Motion Segmentation (JH, PS, OS), pp. 1370–1374.
ICPR-v1-2000-LeeY #estimation: A Simultaneous Estimation of Rigid and Non-Rigid Face Motion (JL, HSY), pp. 5068–5071.
ICPR-v1-2000-MarcenaroRV #automation #generative #multi #statistics: Automatic Generation of the Statistical Model of a Non-Rigid Object in a Multiple-Camera Environment (LM, CSR, GV), pp. 1530–1533.
ICPR-v1-2000-MulliganD: Trinocular Stereo for Non-Parallel Configurations (JM, KD), pp. 1567–1570.
ICPR-v1-2000-SatoSO #3d: 3D Shape Recovery of Non-Convex Object from Rotation (TS, HS, SO), pp. 1742–1745.
ICPR-v1-2000-SkocajL #image #using: Range Image Acquisition of Objects with Non-Uniform Albedo Using Structured Light Range Sensor (DS, AL), pp. 1778–1781.
ICPR-v2-2000-ValevSR: Generalized Non-Reducible Descriptors (VV, BS, PR), pp. 2394–2397.
ICPR-v3-2000-MaedaKZI #3d #modelling: 3-D Shapes Modeling which has Hierarchical Structure Based on B-Spline Surfaces with Non-Uniform Knots (MM, KK, HZ, KI), pp. 3119–3122.
ICPR-v3-2000-ObertiR #adaptation #multi: Adaptive Tracking of Multiple Non Rigid Objects in Cluttered Scenes (FO, CSR), pp. 7108–7111.
ICPR-v4-2000-MatsumotoOHT #3d #fuzzy #image #logic #testing: Three-Dimensional Image Construction for Non-Destructive Testing Aided by Fuzzy Logic (TM, KO, YH, KT), pp. 4603–4606.
ICPR-v4-2000-NakaiIMW #monitoring #strict #visual notation: Non-Restrictive Visual Respiration Monitoring (HN, KI, YM, MW), pp. 4647–4651.
ICPR-v4-2000-UtsumiYO #adaptation #multi #using: Adaptive Human Motion Tracking Using Non-Synchronous Multiple Viewpoint Observations (AU, HY, JO), pp. 4607–4610.
KDD-2000-Zaki #generative: Generating non-redundant association rules (MJZ), pp. 34–43.
SIGIR-2000-HoashiMIH #documentation #using: Document filtering method using non-relevant information profile (KH, KM, NI, KH), pp. 176–183.
ECOOP-2000-Renaud #component #java #process: HERCULE : Non-invasively Tracking Java^TM Component-Based Application Activity (KR), pp. 447–471.
TOOLS-EUROPE-2000-McDowellS #network: Connecting Non-Java Devices to a Jini Network (CEM, KS), pp. 45–56.
TOOLS-EUROPE-2000-SridharanMM #corba #distributed #monitoring #testing: Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects (BS, SM, APM), p. 195–?.
LOPSTR-2000-SerebrenikS #analysis #logic programming #source code #termination: Non-tranformational termination analysis of logic programs, based on general term-orderings (AS, DDS).
LOPSTR-J-2000-SerebrenikS #analysis #logic programming #source code #termination: Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings (AS, DDS), pp. 69–85.
PPDP-2000-Faggian #calculus #clustering #commutative #proving: Proof construction and non-commutativity: a cluster calculus (CF), pp. 80–91.
PADL-2000-MarinoM #functional #logic programming #source code #static analysis #using: Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.
SAC-2000-Shaw #algorithm #equation #parallel: A Parallel Algorithm for NonLinear Volterra Integro-Differential Equations (RES), pp. 86–88.
CL-2000-BastidePTSL #mining #using: Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets (YB, NP, RT, GS, LL), pp. 972–986.
CL-2000-Pliuskevicius #deduction #on the #strict: On an ω-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL (RP), pp. 523–537.
LICS-2000-AehligS #analysis #polynomial: A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation (KA, HS), pp. 84–91.
DAC-1999-GuoCY #representation: An O-Tree Representation of Non-Slicing Floorplan and Its Applications (PNG, CKC, TY), pp. 268–273.
DAC-1999-JandhyalaSBC #adaptation #performance: Efficient Capacitance Computation for Structures with Non-Uniform Adaptive Surface Meshes (VJ, SS, JEB, ZJC), pp. 543–548.
DAC-1999-MukherjeeSML #layout #novel #synthesis: Wave Steering in YADDs: A Novel Non-Iterative Synthesis and Layout Technique (AM, RS, MMS, SIL), pp. 466–471.
DAC-1999-VelevB #pipes and filters #similarity #verification: Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors (MNV, REB), pp. 397–401.
DATE-1999-ChungBBM #power management: Dynamic Power Management for non-stationary service requests (EYC, LB, AB, GDM), pp. 77–81.
HT-1999-ShipmanML #hypermedia: Beyond Location: Hypertext Workspaces and Non-Linear Views (FMSI, CCM, ML), pp. 121–130.
ICDAR-1999-PrevostM #online #recognition: Non-supervised Determination of Allograph Sub-classes for On-line Omni-scriptor Handwriting Recognition (LP, MM), pp. 438–441.
SIGMOD-1999-RundensteinerKZWLLN #evolution #maintenance: Evolvable View Environment (EVE): Non-Equivalent View Maintenance under Schema Changes (EAR, AK, XZ, AvW, YL, AJL, AN), pp. 553–555.
SAS-1999-ZaffanellaHB: Decomposing Non-redundant Sharing by Complementation (EZ, PMH, RB), pp. 69–84.
STOC-1999-Ajtai #linear #nondeterminism: Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract) (MA), pp. 632–641.
STOC-1999-Gamarnik #adaptation #network #policy: Stability of Adaptive and Non-Adaptive Packet Routing Policies in Adversarial Queueing Networks (DG), pp. 206–214.
FLOPS-1999-BartheS #calculus #partial evaluation: Partial Evaluation and Non-inference for Object Calculi (GB, BPS), pp. 53–67.
DLT-1999-Anselmo #problem: A non-ambiguous language factorization problem (MA), pp. 141–152.
DLT-1999-BordihnH #component #distributed: Cooperating distributed grammar systems with non-terminating components (HB, MH), pp. 305–315.
DLT-1999-JirickaK #automaton #finite #nondeterminism: Deterministic forgetting planar automata are more powerful than non-deterministic finite-state planar automata (PJ, JK), pp. 71–80.
ICALP-1999-SantisCP: Non-Interactive Zero-Knowledge: A Low-Randomness Characterization of NP (ADS, GDC, GP), pp. 271–280.
FM-v2-1999-DerrickB #refinement: Non-atomic Refinement in Z (JD, EAB), pp. 1477–1496.
CHI-1999-GoldsteinBAT #interface #mobile #type system: Non-Keyboard QWERTY Touch Typing: A Portable Input Interface for The Mobile User (MG, RB, GA, ST), pp. 32–39.
HCI-CCAD-1999-ConinxRWR #3d #interactive #modelling: Uniform interaction for immersive and non-immersive 3D object modelling (KC, CR, TDW, FVR), pp. 1080–1084.
HCI-CCAD-1999-Dachselt #3d #challenge #component #flexibility #user interface: The challenge to build flexible user interface components for non-immersive 3D environments (RD), pp. 1055–1059.
HCI-CCAD-1999-KarshmerPG #interface: Software technology and computer interfaces for the disabled: non-visual WWW browsing (AIK, EP, GG), pp. 792–796.
HCI-CCAD-1999-OhyaOUIS #communication #image #towards: Towards the realization of non-verbal communication — computer vision based technologies for analyzing human images (JO, TO, AU, SI, TS), pp. 172–176.
HCI-CCAD-1999-ParamythisSSS #case study #lessons learnt #web: Non-visual web browsing: lessons learned from the AVANTI case study (AP, MS, AS, CS), pp. 812–817.
HCI-EI-1999-BuckleHWH: Investigation of the Use of Non-Keyboard Input Devices (NKID) (PB, RAH, VW, SH), pp. 102–105.
AdaEurope-1999-FranchPV #component #library #non-functional #using: Browsing a Component Library Using Non-functional Information (XF, JP, JV), pp. 332–343.
ICML-1999-GiordanaP #behaviour #on the: On Some Misbehaviour of Back-Propagation with Non-Normalized RBFNs and a Solution (AG, RP), pp. 162–170.
ICML-1999-KimuraK #linear #performance: Efficient Non-Linear Control by Combining Q-learning with Local Linear Controllers (HK, SK), pp. 210–219.
ICML-1999-ThrunLF #learning #markov #modelling #monte carlo #parametricity #probability #process: Monte Carlo Hidden Markov Models: Learning Non-Parametric Models of Partially Observable Stochastic Processes (ST, JL, DF), pp. 415–424.
KDD-1999-ClearDHHLMMRSWX #information management #sql: NonStop SQL/MX Primitives for Knowledge Discovery (JC, DD, BH, MLH, PL, AM, MM, LR, AS, RMW, MX), pp. 425–429.
MLDM-1999-KingL #clustering #information retrieval #learning: Non-hierarchical Clustering with Rival Penalized Competitive Learning for Information Retrieval (IK, TKL), pp. 116–130.
SEKE-1999-Giaever #information management: Collecting, Storing and Utilizing Information about Improvement Opportunities: A Discussion of the Non-Technological Barriers to Success (HMG), pp. 205–209.
SIGIR-1999-WitbrockM #approach #generative #named #statistics #summary: Ultra-Summarization: A Statistical Approach to Generating Highly Condensed Non-Extractive Summaries (poster abstract) (MJW, VOM), pp. 315–316.
PPDP-1999-NeumerkelM #logic programming #source code: Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices (UN, FM), pp. 328–342.
PPDP-1999-Russo #dependent type #ml #standard: Non-dependent Types for Standard ML Modules (CVR), pp. 80–97.
RE-1999-CysneirosL #modelling #non-functional #requirements: Integrating Non-Functional Requirements into Data Modeling (LMC, JCSdPL), pp. 162–171.
SAC-1999-Shen #estimation: Average Diameter and Its Estimation in Non-Linear Structures (ZS), pp. 489–490.
ICLP-1999-MarinoM #functional #logic programming #source code #static analysis #using: Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.
ICLP-1999-ZukowskiF #semantics: Well-founded Semantics by Transformation: The Non-ground Case (UZ, BF), pp. 456–470.
LICS-1999-BofillGNR #order: Paramodulation with Non-Monotonic Orderings (MB, GG, RN, AR), pp. 225–233.
LICS-1999-Hofmann99a #linear #polynomial: Linear Types and Non-Size-Increasing Polynomial Time Computation (MH0), pp. 464–473.
LICS-1999-MalacariaH #game studies #nondeterminism #program analysis #security: Non-Deterministic Games and Program Analysis: An Application to Security (PM, CH), pp. 443–452.
TLCA-1999-Abrusci #logic: Modules in Non-communicative Logic (VMA), pp. 14–24.
TLCA-1999-PolakowP #deduction #linear #logic: Natural Deduction for Intuitionistic Non-communicative Linear Logic (JP, FP), pp. 295–309.
CSEET-1998-West #lessons learnt #paradigm: Paradigm Lost: Lessons from the Object (non-)Revolution (DMW), pp. 76–87.
TACAS-1998-BjornerP: Deiding Fixed and Non-fixed Size Bit-vectors (NB, MCP), pp. 376–392.
STOC-1998-CrescenzoIO: Non-Interactive and Non-Malleable Commitment (GDC, YI, RO), pp. 141–150.
STOC-1998-GoldreichG #on the #problem: On the Limits of Non-Approximability of Lattice Problems (OG, SG), pp. 1–9.
FLOPS-1998-AbramovG #approach #programming language #semantics #standard: Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages (SMA, RG), pp. 247–270.
ICALP-1998-SantisCPY #image: Image Density is Complete for Non-Interactive-SZK (Extended Abstract) (ADS, GDC, GP, MY), pp. 784–795.
ICFP-1998-Ennals #finite #nondeterminism #reasoning: Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.
ICFP-1998-KutznerS #call-by #nondeterminism #λ-calculus: A Non-Deterministic Call-by-Need λ Calculus (AK, MSS), pp. 324–335.
IFL-1998-HallBTK #functional #parallel #semantics #strict #towards: Towards an Operational Semantics for a Parallel Non-Strict Functional Language (JGH, CABF, PWT, DJK), pp. 54–71.
CHI-1998-BalakrishnanP: The PadMouse: Facilitating Selection and Spatial Positioning for the Non-Dominant Hand (RB, PP), pp. 9–16.
SIGAda-1998-ChamillardLY #ada #using: Using Ada in Non-CS Majors (ATC, RJL, RRY), pp. 61–67.
ICML-1998-PendrithM #analysis #learning #markov: An Analysis of Direct Reinforcement Learning in Non-Markovian Domains (MDP, MM), pp. 421–429.
ICPR-1998-WilliamsB #approach #image: A non-linear filtering approach to image matching (JAW, MB), pp. 1–3.
KDD-1998-ChanS #case study #detection #learning #scalability #towards: Toward Scalable Learning with Non-Uniform Class and Cost Distributions: A Case Study in Credit Card Fraud Detection (PKC, SJS), pp. 164–168.
ICRE-1998-Franch #non-functional: Systematic Formulation of Non-Functional Characteristics of Software (XF), pp. 174–181.
REFSQ-1998-SutcliffeM #analysis #non-functional #requirements: Scenario-based Analysis of Non-Functional Requirements (AGS, SM), pp. 219–233.
ICSE-1998-ChuangKW #architecture #c++: Non-Intrusive Object Introspection in C++: Architecture and Application (TRC, YSK, CMW), pp. 312–321.
ASPLOS-1998-KrintzCLZ #execution #mobile #source code #strict #using: Overlapping Execution with Transfer Using Non-Strict Execution for Mobile Programs (CK, BC, HBL, BGZ), pp. 159–169.
CC-1998-Boyland #attribute grammar #dependence: Analyzing Direct Non-local Dependencies in Attribute Grammars (JB), pp. 31–49.
HPCA-1998-MillerJL #architecture: Non-Stalling CounterFlow Architecture (MFM, KJJ, SLL), pp. 334–341.
ISMM-1998-LimPB #garbage collection #realtime: A Memory-Efficient Real-Time Non-Copying Garbage Collector (TFL, PP, BNB), pp. 118–129.
ISMM-1998-Rodriguez-RiveraSF #garbage collection: A Non-Fragmenting NonMmoving, Garbage Collector (GRR, MS, CF), pp. 79–85.
ISMM-1998-Siebert #garbage collection #incremental #realtime: Guaranteeing Non-Disruptiveness and Real-Time Deadlines in an Incremental Garbage Collector (FS), pp. 130–137.
LCTES-1998-CooperS #scheduling: Non-local Instruction Scheduling with Limited Code Growth (KDC, PJS), pp. 193–207.
CADE-1998-OhtaIH #on the #testing: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing (YO, KI, RH), pp. 333–348.
LICS-1998-EmersonN #infinity #model checking #nondeterminism #on the: On Model Checking for Non-Deterministic Infinite-State Systems (EAE, KSN), pp. 70–80.
ICDAR-1997-JunkerH #classification #documentation #learning: Evaluating OCR and Non-OCR Text Representations for Learning Document Classifiers (MJ, RH), pp. 1060–1066.
ICDAR-1997-Szmurlo #bound #normalisation #recognition: Boundary Normalization for Recognition of Non-Touching Non-Degraded Characters (MS), pp. 463–466.
ICDAR-1997-WorringS #case study #documentation #internet #linear: From Linear to Non-Linear Reading: A Case Study to Provide Internet Access to Paper Documents (MW, AWMS), p. 273–?.
ICDAR-1997-Yamada #feature model #recognition: Non-uniformly Sampled Feature Extraction Method for Kanji Character Recognition (KY), pp. 200–205.
TACAS-1997-Ben-AbdallahL #detection #process #sequence chart: Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.
CSMR-1997-FranchB #maintenance #non-functional: Supporting software maintenance with non-functional information (XF, PB), pp. 10–16.
WCRE-1997-BurdM #legacy #non-functional #re-engineering #requirements: The Implications of Non-Functional Requirements for the Reengineering of Legacy Code (EB, MM), p. 215–?.
SAS-1997-PanitzS #automation #functional #higher-order #named #proving #source code #strict #termination: TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language (SEP, MSS), pp. 345–360.
STOC-1997-EdmondsCBD #execution #multi #scheduling: Non-clairvoyant Multiprocessor Scheduling of Jobs with Changing Execution Characteristics (Extended Abstract) (JE, DDC, TB, XD), pp. 120–129.
ICALP-1997-SantisCP: Randomness-Efficient Non-Interactive Zero-Knowledge (Extended Abstract) (ADS, GDC, GP), pp. 716–726.
ICALP-1997-SchwiegelshohnT #equation: Periodic and Non-periodic Min-Max Equations (US, LT), pp. 379–389.
FME-1997-LanoBFL #nondeterminism #specification: Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
AdaEurope-1997-Franch #ada #automation #implementation #non-functional #source code: Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection (XF), pp. 88–99.
TRI-Ada-1997-ChamillardH #ada: Transitioning to Ada in an Introductory Course for Non-Majors (ATC, WCHJ), pp. 37–40.
TRI-Ada-1997-SuchanS #ada #education #problem #using: Using Ada 95 as a Tool to Teach Problem Solving to Non-CS Majors (WKS, TLS), pp. 31–36.
ICML-1997-SuematsuHL #approach #learning #markov: A Bayesian Approach to Model Learning in Non-Markovian Environments (NS, AH, SL), pp. 349–357.
ALP-1997-Antoy #functional #logic #nondeterminism: Optimal Non-deterministic Functional Logic Computations (SA), pp. 16–30.
HPCA-1997-StrickerG #memory management #parallel #performance: Global Address Space, Non-Uniform Bandwidth: A Memory System Performance Characterization of Parallel Systems (TS, TRG), pp. 168–179.
PPoPP-1997-SodanGMST #architecture #case study #experience #parallel #thread: Experiences with Non-numeric Applications on Multithreaded Architectures (AS, GRG, OM, JUS, XT), pp. 124–135.
SOSP-1997-Steere #latency #nondeterminism #set: Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency (DCS), pp. 252–263.
CADE-1997-HasegawaIOK #bottom-up #proving #set #theorem proving #top-down: Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving (RH, KI, YO, MK), pp. 176–190.
CADE-1997-Nivelle #classification #order: A Classification of Non-liftable Orders for Resolution (HdN), pp. 336–350.
CAV-1997-ChanABN #constraints #model checking #theorem proving: Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints (WC, RJA, PB, DN), pp. 316–327.
CAV-1997-Fisler #decidability #diagrams #regular expression: Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable (KF), pp. 155–166.
CSL-1997-RuetF #commutative #concurrent #constraints #logic #programming: Concurrent Constraint Programming and Non-commutative Logic (PR, FF), pp. 406–423.
ICLP-1997-DebrayGH #analysis #logic programming #source code: Non-Failure Analysis for Logic Programs (SKD, PLG, MVH), pp. 48–62.
TLCA-1997-RetoreL #commutative #linear #logic: A Non-commutative Extension of Classical Linear Logic (CR, PL), pp. 300–318.
DAC-1996-KhatriNKMBS #automaton #nondeterminism: Engineering Change in a Non-Deterministic FSM Setting (SPK, AN, SCK, KLM, RKB, ALSV), pp. 451–456.
ESOP-1996-MaraninchiH #composition #nondeterminism #semantics: Compositional Semantics of Non-Deterministic Synchronous Languages (FM, NH), pp. 235–249.
ICSM-1996-GefenS #case study #maintenance: The non-homogeneous maintenance periods: a case study of software modifications (DG, SLS), pp. 134–141.
PLDI-1996-RussinovichC #concurrent #memory management #nondeterminism: Replay For Concurrent Non-Deterministic Shared Memory Applications (MR, BC), pp. 258–266.
SAS-1996-BorgiaDPLT #comprehension #mobile #semantics: Understanding Mobile Agents via a Non-Interleaving Semantics for Facile (RB, PD, CP, LL, BT), pp. 98–112.
STOC-1996-LinialS: Non-Expansive Hashing (NL, OS), pp. 509–518.
CHI-1996-SchumannSLR #image: Assessing the Effect of Non-Photorealistic Rendered Images in CAD (JS, TS, SL, AR), pp. 35–41.
ICML-1996-IttnerS: Non-Linear Decision Trees — NDT (AI, MS), pp. 252–257.
ICML-1996-Saerens #fault #learning: Non Mean Square Error Criteria for the Training of Learning Machines (MS), pp. 427–434.
ICPR-1996-BasuS #re-engineering: Optimal non-uniform discretization for stereo reconstruction (AB, HS), pp. 755–759.
ICPR-1996-Gimelfarb #interactive #multi: Non-Markov Gibbs texture model with multiple pairwise pixel interactions (GLG), pp. 591–595.
ICPR-1996-HillCT: Least-squares solution of absolute orientation with non-scalar weights (AH, TFC, CJT), pp. 461–465.
ICPR-1996-KervrannHP #estimation #modelling #statistics: Statistical model-based estimation and tracking of non-rigid motion (CK, FH, PP), pp. 244–248.
ICPR-1996-LanitisSTCM #image #modelling: A general non-linear method for modelling shape and locating image objects (AL, PDS, CJT, TFC, ECDM), pp. 266–270.
ICPR-1996-SerraS #image #network #using: Perceptual grouping on texture images using non-cartesian networks (JRS, JBSV), pp. 462–466.
ICPR-1996-ShaoK #fuzzy #multi: Fuzzy non-iterative ARG labeling with multiple interpretations (ZS, JK), pp. 181–185.
ICPR-1996-Syeda-Mahmood #similarity: Recognizing similarity through a constrained non-rigid transform (TFSM), pp. 617–621.
ICPR-1996-TianT #image: Shape from shading for non-Lambertian surfaces from one color image (YlT, HTT), pp. 258–262.
ICPR-1996-ValevR #recognition: Construction of Boolean decision rules for ECG recognition by non-reducible descriptors (VV, PR), pp. 111–115.
KDD-1996-IttnerS #generative: Discovery of Relevant New Features by Generating Non-Linear Decision Trees (AI, MS), pp. 108–113.
SAC-1996-HashemiSHL #identification #testing #using: Identifying and testing of signatures for non-volatile biomolecules using tandem mass spectra (RRH, TMS, WGH, JOL), pp. 44–49.
SAC-1996-MonfroyRS #constraints #implementation: Implementing non-linear constraints with cooperative solvers (EM, MR, RS), pp. 63–72.
SAC-1996-Neubauer #adaptation #algorithm #search-based: Genetic algorithms for non-linear adaptive filters in digital signal processing (AN), pp. 519–522.
CC-1996-GeserKLRS #fixpoint #higher-order: Non-monotone Fixpoint Iterations to Resolve Second Order Effects (AG, JK, GL, OR, BS), pp. 106–120.
CADE-1996-SchmittK #matrix #proving: Converting Non-Classical Matrix Proofs into Sequent-Style Systems (SS, CK), pp. 418–432.
CADE-1996-Sengler #algorithm #data type #termination: Termination of Algorithms over Non-freely Generated Data Types (CS), pp. 121–135.
JICSLP-1996-ChoU #concurrent #logic programming #source code: Diagnosing Non-Well-Moded Concurrent Logic Programs (KC, KU), pp. 215–229.
JICSLP-1996-Rao #implementation: Completeness Results for Basic Narrowing in Non-Copying Implementations (MRKKR), pp. 393–407.
RTA-1996-Kesner #confluence #λ-calculus: Confluence Properties of Extensional and Non-Extensional λ-Calculi with Explicit Substitutions (Extended Abstract) (DK), pp. 184–199.
SIGMOD-1995-Atkinson #architecture #component #relational: Use of a Component Architecture in Integrating Relational and Non-relational Storage Systems (RGA), p. 454.
VLDB-1995-BassiliadesV #database #parallel: A Non-Uniform Data Fragmentation Strategy for Parallel Main-Menory Database Systems (NB, IPV), pp. 370–381.
TACAS-1995-FrancescoFGI #approximate #finite #model checking #process: Model Checking of Non-Finite State Processes by Finite Approximations (NDF, AF, SG, PI), pp. 195–215.
ICSM-1995-Williams #analysis #case study #design #experience #object-oriented #using: Using object oriented analysis and design in a non-object oriented environment experience report (KW), p. 109–?.
SAS-1995-Coorg #clustering #code generation #concurrent #functional #multi #strict #thread: Partitioning Non-strict Functional Languages for Multi-threaded Code Generation (SRC), pp. 82–99.
FPCA-1995-AdityaAS #semantics #strict: Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language (SA, A, JES), pp. 204–215.
FPCA-1995-SchauserG #how #question #source code #strict: How Much Non-Strictness do Lenient Programs Require? (KES, SCG), pp. 216–225.
ICML-1995-SinghP #algorithm #classification #comparison #induction: A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers (MS, GMP), pp. 497–505.
POPL-1995-SansomJ #functional #higher-order #profiling #strict: Time and Space Profiling for Non-Strict Higher-Order Functional Languages (PMS, SLPJ), pp. 355–366.
POPL-1995-SchauserCG #algorithm #clustering #constraints #source code #strict #thread: Separation Constraint Partitioning — A New Algorithm for Partitioning Non-strict Programs into Sequential Threads (KES, DEC, SCG), pp. 259–271.
RE-1995-ChungNY #non-functional #requirements #using: Using non-functional requirements to systematically support change (LC, BAN, ESKY), pp. 132–139.
ESEC-1995-LandesS #non-functional #requirements: The Treatment of Non-Functional Requirements in MIKE (DL, RS), pp. 294–306.
ICSE-1995-ChungN #approach #non-functional #requirements: Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach (LC, BAN), pp. 25–37.
HPCA-1995-FarkasJC #execution #how #multi #question: How Useful Are Non-Blocking Loads, Stream Buffers and Speculative Execution in Multiple Issue Processors? (KIF, NPJ, PC), pp. 78–89.
HPCA-1995-LlosaVA: Non-Consistent Dual Register Files to Reduce Register Pressure (JL, MV, EA), pp. 22–31.
LICS-1995-KfouryW #normalisation #proving #reduction #semantics #λ-calculus: New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi (AJK, JBW), pp. 311–321.
DAC-1994-ChengC #fault #generative #quality #testing: Generation of High Quality Non-Robust Tests for Path Delay Faults (KTC, HCC), pp. 365–369.
EDAC-1994-McCoyR: Non-Tree Routing (BAM, GR), pp. 430–434.
EDAC-1994-McGowenF #case study #detection: A Study of Undetectable Non-Feedback Shorts for the Purpose of Physical-DFT (RM, FJF), pp. 371–375.
EDAC-1994-WatanabeB #automaton #nondeterminism #pseudo: State Minimization of Pseudo Non-Deterministic FSM’s (YW, RKB), pp. 184–191.
SIGMOD-1994-Englert #scalability #sql: NonStop SQL: Scalability and Availability for Decision Support (SE), p. 491.
CSEE-1994-Berztiss #design #non-functional #requirements: Non-Functional Requirements in the Design of Software (ATB), pp. 375–386.
SAS-1994-GrasH #independence #strict #using: Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information (DCG, MVH), pp. 297–313.
STOC-1994-BellareS: Improved non-approximability results (MB, MS), pp. 184–193.
STOC-1994-MuthukrishnanP #algorithm #complexity #standard #string: Non-standard stringology: algorithms and complexity (SM, KVP), pp. 770–779.
TAGT-1994-SkodinisW #bound #graph grammar #problem: The Bounded Degree Problem for Non-Obstructing eNCE Graph Grammars (KS, EW), pp. 211–224.
CSCW-1994-EphratiZR: Meet your Destiny: A Non-Manipulable Meeting Scheduler (EE, GZ, JSR), pp. 359–371.
KR-1994-DuboisP94a #information management #nondeterminism #reasoning #representation #standard: Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning (DD, HP), pp. 634–645.
LOPSTR-1994-SemeraroEMBP #case study #learning #logic #source code: Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL (GS, FE, DM, CB, MJP), pp. 183–198.
SAC-1994-LeeL #concurrent #constraints #incremental #logic programming #named #nondeterminism #query #towards: IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming (JHML, HfL), pp. 405–409.
ASPLOS-1994-WuZ #in memory #memory management #named: eNVy: A Non-Volatile, Main Memory Storage System (MW, WZ), pp. 86–97.
CADE-1994-Bruning #detection: Detecting Non-Provable Goals (SB), pp. 222–236.
CADE-1994-DomenjoudKR #equation: Combination Techniques for Non-Disjoint Equational Theories (ED, FK, CR), pp. 267–281.
LICS-1994-BaazFL #proving: A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation (MB, CGF, AL), pp. 213–219.
DAC-1993-ChickermaneRBP: Non-Scan Design-for-Testability Techniques for Sequential Circuits (VC, EMR, PB, JHP), pp. 236–241.
DAC-1993-LeeJW #behaviour #synthesis: Behavioral Synthesis of Highly Testable Data Paths under the Non-Scan and Partial Scan Environments (TCL, NKJ, WW), pp. 292–297.
DAC-1993-PomeranzRU #fault #generative #named #testing: NEST: A Non-Enumerative Test Generation Method for Path Delay Faults in Combinational Circuits (IP, SMR, PU), pp. 439–445.
DAC-1993-PullelaMP #optimisation #reliability #using: Reliable Non-Zero Skew Clock Trees Using Wire Width Optimization (SP, NM, LTP), pp. 165–170.
DAC-1993-YangLYD #performance #simulation: An Efficient Non-Quasi-Static Diode Model for Circuit Simulation (ATY, YL, JTY, RRD), pp. 720–725.
PODS-1993-RastogiMBKS #correctness #on the: On Correctness of Non-serializable Executions (RR, SM, YB, HFK, AS), pp. 97–108.
PODS-1993-Schaerf #database: Negation and Minimality in Non-Horn Databases (MS), pp. 147–157.
STOC-1993-KarchmerW #nondeterminism: Characterizing non-deterministic circuit size (MK, AW), pp. 532–540.
FPCA-1993-Liu #evaluation #functional #lazy evaluation #logic #nondeterminism #towards: Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages (FL), pp. 201–209.
INTERCHI-1993-AlmTEN #people: Computer aided conversation for severely physically impaired non-speaking people (NA, JT, LE, AFN), pp. 236–241.
INTERCHI-1993-KabbashMB #performance #using: Human performance using computer input devices in the preferred and non-preferred hands (PK, ISM, WB), pp. 474–481.
INTERCHI-1993-NeerincxG #how: How to aid non-experts (MAN, PdG), pp. 165–171.
CIKM-1993-Anderson #approach #database #deduction #knowledge base #multi #problem #statistics: A Dynamic Knowledge Based Approach to the Problem of Deduction in a Non-Statistical Multilevel Secure Database (MA), pp. 154–163.
SEKE-1993-Ameur #development #non-functional #source code: Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs (YAA), pp. 703–710.
LOPSTR-1993-OlmedillaBH #automation #independence: Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model (MO, FB, MVH), pp. 177–195.
HPDC-1993-BiswasRTK #analysis #distributed #file system #performance: Performance Analysis of Distributed File Systems with Non-Volatile Caches (PB, KKR, DFT, CMK), pp. 252–262.
PPoPP-1993-MasticolaR #analysis: Non-concurrency Analysis (SPM, BGR), pp. 129–138.
ILPS-1993-BoerKPR #concurrent #constraints #programming: Non-monotonic Concurrent Constraint Programming (FSdB, JNK, CP, JJMMR), pp. 315–334.
ILPS-1993-Drabent #query: Completeness of SLDNF-Resolution for Non-Floundering Queries (WD), p. 643.
ILPS-1993-NystromJ #concurrent #constraints #fixpoint #programming #semantics: Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations (SON, BJ), pp. 335–352.
ILPS-1993-SudarshanR #bottom-up #evaluation #optimisation: Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.
IWPTS-1993-GhrigaF #adaptation #communication #nondeterminism #protocol #testing: Adaptive Testing of Non-Deterministic Communication Protocols (MG, PGF), pp. 347–362.
SIGMOD-1992-Celis #parallel #sql: Distribution, Parallelism, and Availability in NonStop SQL (PC), p. 225.
LFP-1992-TraubCS #analysis #clustering #source code #strict #thread: Global Analysis for Partitioning Non-Strict Programs into Sequential Threads (KRT, DEC, KES), pp. 324–334.
KR-1992-CroccoL #logic #on the: On the Connection between Non-monotonic Inference Systems and Conditional Logics (GC, PL), pp. 565–571.
KR-1992-Lamarre #proving #theorem proving: A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover (PL), pp. 572–580.
ML-1992-OliveiraS #feature model #induction #using: Constructive Induction Using a Non-Greedy Strategy for Feature Selection (ALO, ALSV), pp. 355–360.
ALP-1992-Hong #constraints #logic programming: Non-linear Real Constraints in Constraint Logic Programming (HH), pp. 201–212.
ASPLOS-1992-BakerADOS #file system #memory management #performance #reliability: Non-Volatile Memory for Fast, Reliable File Systems (MB, SA, ED, JKO, MIS), pp. 10–22.
ASPLOS-1992-ChenB #latency #memory management: Reducing Memory Latency via Non-blocking and Prefetching Caches (TFC, JLB), pp. 51–61.
CADE-1992-CaferraD #logic #proving #semantics: Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic (RC, SD), pp. 385–399.
CADE-1992-Voronkov #logic #proving #standard #theorem proving: Theorem Proving in Non-Standard Logics Based on the Inverse Method (AV), pp. 648–662.
IWPTS-1992-GhedamsiDB #fault #finite #nondeterminism #state machine #testing: Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines (AG, RD, GvB), pp. 105–116.
IWPTS-1992-Kloosterman #finite #nondeterminism #state machine: Test Derivation from Non-Deterministic Finite State Machines (HK), pp. 297–308.
IWPTS-1992-WittemanWB #behaviour #nondeterminism: Non-Deterministic and Default Behaviour (MFW, RCvW, SRB), pp. 275–288.
HT-1991-Bieber #hypermedia #interface #modelling: Issues in Modeling a “Dynamic” Hypertext Interface for Non-Hypertext Systems (MB), pp. 203–217.
PODS-1991-Garcia-MolinaS #nondeterminism #queue: Non-Deterministic Queue Operations (HGM, KS), pp. 53–62.
SIGMOD-1991-AgrawalK #execution #multi #transaction #using: Using Multiversion Data for Non-interfering Execution of Write-only Transactions (DA, VK), pp. 98–107.
SIGMOD-1991-Sheng #database #deduction #nondeterminism: A Non-deterministic Deductive Database Language (YHS), pp. 188–197.
STOC-1991-DolevDN #encryption: Non-Malleable Cryptography (Extended Abstract) (DD, CD, MN), pp. 542–552.
STOC-1991-Nisan #bound #commutative: Lower Bounds for Non-Commutative Computation (Extended Abstract) (NN), pp. 410–418.
WSA-1991-Ameur #functional: Non Functional Properties Can Guide Program Developments (YAA), pp. 189–196.
FPCA-1991-BarthNA #functional #named #parallel #strict: M-Structures: Extending a Parallel, Non-strict, Functional Language with State (PSB, RSN, A), pp. 538–568.
FPCA-1991-JonesL #functional #strict: Unboxed Values as First Class Citizens in a Non-Strict Functional Language (SLPJ, JL), pp. 636–666.
FPCA-1991-Traub #architecture #code generation #data flow #multi #source code #strict #thread: Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs (KRT), pp. 73–101.
CHI-1991-WenzelWK #locality: Localization with non-individualized virtual acoustic display cues (EMW, FLW, DJK), pp. 351–359.
CAiSE-1991-Chung #design #information management #non-functional #representation #requirements: Representation and Utilization of Non-Functional Requirements for Information System Design (LC), pp. 5–30.
KR-1991-DuboisP #reasoning: Conditional Objects and Non-Monontonic Reasoning (DD, HP), pp. 175–185.
ML-1991-Bain #learning: Experiments in Non-Monotonic Learning (MB), pp. 380–384.
ML-1991-Jones #refinement #using: Knowledge Refinement Using a High Level, Non-Technical Vocabulary (EKJ), pp. 18–22.
ML-1991-KijsirikulNS #learning #logic programming #performance #source code: Efficient Learning of Logic Programs with Non-determinant, Non-discriminating Literals (BK, MN, MS), pp. 417–421.
LOPSTR-1991-Ameur #evaluation #functional #program transformation: Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract) (YAA), pp. 297–299.
LOPSTR-1991-Antoy #evaluation #lazy evaluation #logic programming #nondeterminism: Non-Determinism and Lazy Evaluation in Logic Programming (SA), pp. 318–331.
ICSE-1991-Curtis #question #re-engineering: Techies as Non-Technological Factors in Software Engineering? (BC), pp. 147–148.
ICSE-1991-DeMarco #re-engineering: Non-Technological Issues in Software Engineering (TD), pp. 149–150.
ICSE-1991-KellnerCDKST #re-engineering: Non-Technological Issues in Software Engineering (MIK, BC, TD, KK, MS, CT), pp. 144–146.
ICLP-1991-CasanovaHG: Explaining SLDNF Resolution with Non-Normal Defaults (MAC, ASH, RAdTG), pp. 18–31.
ISLP-1991-Przymusinski #logic programming #reasoning: Non-Monotonic Reasoning and Logic Programming (TCP), pp. 735–736.
IWPTS-1991-FujiwaraB #fault #nondeterminism #state machine #testing: Testing Non-Deterministic State Machines with Fault Coverage (SF, GvB), pp. 267–280.
ECHT-1990-IrlerB #hypermedia: Non-Intrusive Hypertext Anchors and Individual Colour Markings (WJI, GB), pp. 261–273.
PODS-1990-AbiteboulSV #nondeterminism: Non-Deterministic Languages to Express Deterministic Transformations (SA, ES, VV), pp. 218–229.
PODS-1990-SaccaZ #logic programming #modelling #nondeterminism #source code: Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.
VLDB-1990-Esculier #evolution: Non-Monotonic Knowledge Evolution in VLKDBs (CE), pp. 638–649.
ICALP-1990-LucaV #on the: On Non-Counting Regular Classes (AdL, SV), pp. 74–87.
ALP-1990-Batarekh #fixpoint: Fixpoint Techniques for Non-Monotone Maps (AB), pp. 132–143.
PLILP-1990-Queinnec #compilation #higher-order #lisp: Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.
POPL-1990-Gunter #correctness #nondeterminism #source code: Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs (CAG), pp. 306–319.
WAGA-1990-AttaliC #evaluation #functional #specification: Functional Evaluation of Strongly Non Circular Typol Specifications (IA, JC), pp. 157–176.
CLP-1990-HermenegildoR90 #independence #strict: Non-Strict Independent And-Parallelism (MVH, FR), pp. 237–252.
CLP-1990-SchreyeVB90 #detection #graph #horn clause #query #strict #using: A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs (DDS, KV, MB), pp. 649–663.
CSL-1990-Stark #fixpoint #logic #on the: On the Existence of Fixpoints in Moore’s Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle (RFS), pp. 354–365.
NACLP-1990-MarriottSD #logic programming #source code: A Characterization of Non-Floundering Logic Programs (KM, HS, PWD), pp. 661–680.
DAC-1989-OgiharaMYM #effectiveness #generative #named #reliability #testing: MULTES/IS: An Effective and Reliable Test Generation System for Partial Scan and Non-Scan Synchronous Circuits (TO, KM, GY, SM), pp. 519–524.
DAC-1989-WaterkampWBRS #layout: Technology Tracking of Non Manhattan VLSI Layout (JW, RW, RB, MR, GS), pp. 296–301.
PODS-1989-Borgida #inheritance #query #strict #type system: Type Systems for Querying Class Hierarchies with Non-strict Inheritance (AB), pp. 394–400.
SIGMOD-1989-SalzaT #database #dependence #probability #query #relational: Evaluating the Size of Queries on Relational Databases with non Uniform Distribution and Stochastic Dependence (SS, MT), pp. 8–14.
ICALP-1989-MehlhornP #source code: Two Versus One Index Register and Modifiable Versus Non-modifiable Programs (KM, WJP), pp. 603–609.
FPCA-1989-Traub #approach #clustering #compilation #functional #strict: Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages (KRT), pp. 75–88.
KR-1989-BacchusTK #logic: A Non-Reified Temporal Logic (FB, JDT, JAGMK), pp. 2–10.
KR-1989-Cohn #framework #hybrid #on the #reasoning: On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning (AGC), pp. 55–66.
KR-1989-Przymusinski #formal method #logic programming #reasoning: Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming (TCP), pp. 341–348.
LICS-1989-BoseCLM #horn clause #named #parallel #proving #theorem proving: PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses (SB, EMC, DEL, SM), pp. 80–89.
LICS-1989-Fernando #on the #recursion #set: On Substitutional Recursion Over Non-Well-Founded Sets (RTPF), pp. 273–282.
LICS-1989-MisloveMO #fixpoint #set: Non-Well-Founded Sets Obtained from Ideal Fixed Points (MWM, LSM, FJO), pp. 263–272.
LICS-1989-Pitts #polymorphism #type system: Non-trivial Power Types Can’t Be Subtypes of Polymorphic Types (AMP), pp. 6–13.
NACLP-1989-Batarekh #convergence #fixpoint: Convergence Issues and Fixed Points of Non-Monotone Maps (AB), pp. 257–273.
NACLP-1989-DungK #on the #source code: On the Generalized Predicate Completion of Non-Horn Programs (PMD, KK), pp. 587–603.
RTA-1989-Narain #lazy evaluation #nondeterminism #optimisation: Optimization by Non-Deterministic, Lazy Rewriting (SN), pp. 326–342.
PODS-1988-Kelter #concurrent #protocol #queue: The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol (UK), pp. 142–151.
SIGMOD-1988-Group #benchmark #metric #sql #transaction: A Benchmark of NonStop SQL on the Debit Credit Transaction (Invited Paper) (TTPG), pp. 337–341.
VLDB-1988-Lozinskii #deduction: Computing Facts in Non-Horn Deductive Systems (ELL), pp. 273–279.
VLDB-1988-MaindrevilleS #database #deduction #modelling #query: Modelling Non Deterministic Queries and Updates in Deductive Databases (CdM, ES), pp. 395–406.
STOC-1988-Ben-OrGW #distributed #fault tolerance #theorem: Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation (Extended Abstract) (MBO, SG, AW), pp. 1–10.
STOC-1988-BlumFM: Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract) (MB, PF, SM), pp. 103–112.
STOC-1988-DolevGS #testing #towards: Toward a Non-Atomic Era: 𝓁-Exclusion as a Test Case (DD, EG, NS), pp. 78–92.
STOC-1988-FiatNSS: Non-Oblivious Hashing (Extended Abstract) (AF, MN, JPS, AS), pp. 367–376.
PLILP-1988-BarbutiM #logic programming #source code: A Tool to Check the Non-Floundering Logic Programs and Goals (RB, MM), pp. 58–67.
POPL-1988-HorwitzPR #source code: Integrating Non-Interfering Versions of Programs (SH, JP, TWR), pp. 133–145.
PPEALS-1988-AralG #interactive #profiling: Non-Intrusive and Interactive Profiling in Parasight (ZA, IG), pp. 21–30.
CADE-1988-AllenBCM #horn clause #named #parallel #proving #theorem proving: PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses (PEA, SB, EMC, SM), pp. 764–765.
CADE-1988-ChiH #horn clause #query #recursion: Recursive Query Answering with Non-Horn Clauses (SC, LJH), pp. 294–312.
CADE-1988-McRobbieMT #automation #knowledge-based #logic #performance #proving #standard #theorem proving #towards: Towards Efficient “Knowledge-Based” Automated Theorem Proving for Non-Standard Logics (MAM, RKM, PBT), pp. 197–217.
CADE-1988-MinkerR #logic programming #source code: Procedural Interpretation of Non-Horn Logic Programs (JM, AR), pp. 278–293.
JICSCP-1988-BatarekhS88 #logic programming #semantics #source code: Semantical Equivalences of (Non-Classical) Logic Programs (AB, VSS), pp. 960–977.
JICSCP-1988-LoboMR88 #source code: Weak Completion Theory for Non-Horn Programs (JL, JM, AR), pp. 828–842.
JICSCP-1988-Port88 #approach: A Simple Approach to Finding the Cause of Non-Unifiability (GSP), pp. 651–665.
JICSCP-1988-TrehanW88 #commit #logic #nondeterminism #parallel #parsing: A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages (RT, PFW), pp. 212–232.
HT-1987-BeemanABLMMS #hypermedia: Hypertext and Pluralism: From Lineal to Non-Lineal Thinking (WOB, KTA, GB, JL, APM, PM, MS), pp. 67–88.
HT-1987-Charney: Comprehending Non-Linear Text: The Role of Discourse Cues and Reading Strategies (DC), pp. 109–120.
SIGMOD-1987-AlyO #database #deduction #logic #modelling #nondeterminism #query: Non-deterministic Modelling of Logical Queries in Deductive Databases (HA, ZMÖ), pp. 60–72.
ICALP-1987-BarringtonT #automaton: Non-Uniform Automata Over Groups (DAMB, DT), pp. 163–173.
ICALP-1987-Metivier #algorithm #automaton #graph: An Algorithm for Computing Asynchronous Automata in the Case of Acyclic Non-Commutation Graphs (YM), pp. 226–236.
SIGIR-1987-Fagan #automation #documentation #retrieval: Automatic Phrase Indexing for Document Retrieval: An Examination of Syntactic and Non-Syntactic Methods (JLF), pp. 91–101.
SIGIR-1987-RasmussenW #array #clustering #distributed #documentation #using: Non-Hierarchic Document Clustering Using the ICL Distributed Array Processor (EMR, PW), pp. 132–139.
ICLP-1987-Conery87 #execution #implementation #nondeterminism: Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.
LICS-1987-Allen: A Non-Type-Theoretic Definition of Martin-Löf’s Types (SA), pp. 215–221.
RTA-1987-DauchetC #linear #term rewriting: A Gap Between Linear and Non Linear Term-Rewriting Systems (1) (MD, FDC), pp. 95–104.
SLP-1987-Conery87 #logic programming #memory management #parallel #source code: Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors (JSC), pp. 457–467.
DAC-1986-Ng #industrial: An industrial world channel router for non-rectangular channels (CHN), pp. 490–494.
PODS-1986-Su #safety: Safety of Non-Well-Locked Trasnaction Systems (JS), pp. 47–52.
STOC-1986-FeldmanFP #network: Non-Blocking Networks (Preliminary Version) (PF, JF, NP), pp. 247–254.
ICALP-1986-Lai #communication #detection #distributed #termination: A Termination Detector for Static and Dynamic Distributed Systems with Asynchronous Non-first-in-first-out Communication (Extended Abstract) (THL), pp. 196–205.
LFP-1986-WandF: The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower (MW, DPF), pp. 298–307.
GG-1986-KreowskiW #concurrent #graph grammar #parallel #process: Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars (HJK, AW), pp. 361–377.
SIGIR-1986-YuL #independence: Non-Binary Independence Model (CTY, TCL), pp. 265–268.
CADE-1986-Plaisted: A Simple Non-Termination Test for the Knuth-Bendix Method (DAP), pp. 79–88.
SLP-1986-Crammond86 #execution #nondeterminism: An Execution Model for Committed-Choice Non-Deterministic Languages (JAC), pp. 148–158.
DAC-1985-ZaraRNS #automaton #data type #functional #modelling: An abstract machine data structure for non-procedural functional models (RVZ, KR, GN, HS), pp. 753–756.
VLDB-1985-FaloutsosC #design #query: Design of a Signature File Method that Accounts for Non-Uniform Occurrence and Query Frequencies (CF, SC), pp. 165–170.
FPCA-1985-Turner85 #functional #named #polymorphism #strict: Miranda: A Non-Strict Functional language with Polymorphic Types (DAT), pp. 1–16.
DAC-1984-AlaliDM #logic: A model for non interpreted structures of logical systems (RA, CD, JJM), pp. 258–264.
PODS-1984-AbiteboulB #normalisation: Non First Normal Form Relations to Represent Hierarchical Organized Data (SA, NB), pp. 191–200.
PODS-1984-Burkhard #maintenance: Index Maintenance for Non-Uniform Record Distributions (WAB), pp. 173–179.
VLDB-1984-Borr #approach #database #distributed #multi #robust: Robustness to Crash in a Distributed Database: A Non Shared-memory Multi-Processor Approach (AJB), pp. 445–453.
SCC-1984-Jourdan #attribute grammar #evaluation #recursion: Strongly non-circular attribute grammars and their recursive evaluation (MJ), pp. 81–93.
CADE-1984-Gelder #calculus #satisfiability: A Satisfiability Tester for Non-Clausal Propositional Calculus (AVG), pp. 101–112.
CADE-1984-Pfenning #proving: Analytic and Non-analytic Proofs (FP), pp. 394–413.
DAC-1983-KirkCSBT #array: Placement of irregular circuit elements on non-uniform gate arrays (HK, PDC, JAS, JDB, GLT), pp. 637–643.
VLDB-1983-ArisawaMM #database #relational: Operations and the Properties on Non-First-Normal-Form Relational Databases (HA, KM, TM), pp. 197–204.
VLDB-1983-DasguptaK #concurrent #database #protocol: A Non-Two-Phase Locking Protocol for Concurrency Control in General Databases (PD, ZMK), pp. 92–94.
ICALP-1983-HsiangD #proving #theorem proving: Rewrite Methods for Clausal and Non-Clausal Theorem Proving (JH, ND), pp. 331–346.
DAC-1982-Kaplan #strict #verification: A “non-restrictive” artwork verification program for printed circuit boards (DK), pp. 551–558.
PODS-1982-JaeschkeS #algebra #normalisation: Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.
PODS-1982-MohanFS #commutative #protocol: Compatibility and Commutativity in Non-two-phase Locking Protocols (CM, DSF, AS), pp. 283–292.
PODS-1982-ReissPD #privacy: Non-reversible Privacy Transformations (SPR, MJP, TD), pp. 139–146.
VLDB-1982-KedemMS #concurrent #performance #protocol: An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols (ZMK, CM, AS), pp. 91–97.
ICALP-1982-Lingas #power of: The Power of Non-Rectilinear Holes (AL), pp. 369–383.
ICALP-1982-Plotkin #nondeterminism: A Powerdomain for Countable Non-Determinism (Extended Abstract) (GDP), pp. 418–428.
POPL-1982-JohnsonF #editing: Non-Syntactic Attribute Flow in Language Based Editors (GFJ, CNF), pp. 185–195.
CADE-1982-Gabbay #logic: Intuitonistic Basis for Non-Monotonic Logic (DMG), pp. 260–273.
ICALP-1981-Pettorossi #order #proving #recursion #term rewriting #termination: Comparing and Putting Together Recursive Path Ordering, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems (AP), pp. 432–447.
SOSP-1981-Bartlett #kernel: A NonStop Kernel (JFB), pp. 22–19.
VLDB-1980-KedemS #protocol: Non-Two-Phase Locking Protocols with Shared and Exclusive Locks (ZMK, AS), pp. 309–317.
STOC-1980-Ukkonen #automaton #equivalence #realtime: A Decision Method for the Equivalence of some Non-Real-Time Deterministic Pushdown Automata (EU), pp. 29–38.
VLDB-1979-Pirotte #design #relational: Fundamental and Secondary Issues in the Design of Non-Procedural Relational Languages (AP), pp. 239–250.
ICALP-1979-Nijholt #recursion: Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version) (AN), pp. 446–459.
DAC-1978-DoreauA #algorithm #distance: A topologically based non-minimum distance routing algorithm (MTD, LCA), pp. 92–99.
POPL-1978-Kosinki #data flow #semantics #source code: A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs (PRK), pp. 214–221.
DAC-1977-Peterson #automation #interactive: Computer/interactive cleanup of non-gridded PWB’s after automatic routing (DPP), pp. 43–57.
STOC-1977-Tarjan #maintenance #set: Reference Machines Require Non-linear Time to Maintain Disjoint Sets (RET), pp. 18–29.
ICALP-1977-PazM #approximate #nondeterminism #optimisation #polynomial #problem: Non-Deterministic Polynomial Optimization Problems and Their Approximation (AP, SM), pp. 370–379.
DAC-1976-PiscatelliT: A solution to closeness checking of non-orthogonal printed circuit board wiring (RNP, PT), pp. 172–178.
DAC-1976-Rutman: Non-gridded graphic input (RR), pp. 392–398.
DAC-1976-Ulrich #logic #simulation: Non-integral event timing for digital logic simulation (EGU), pp. 61–67.
STOC-1975-Valiant #bound #complexity #on the: On Non-linear Lower Bounds in Computational Complexity (LGV), pp. 45–53.
ICALP-1974-Hayes #nondeterminism: Simple and Structural Redundancy in Non-Deterministic Computation (PJH), pp. 601–611.
ICALP-1974-Lang #nondeterminism #parsing #performance: Deterministic Techniques for Efficient Non-Deterministic Parsers (BL), pp. 255–269.
DAC-1969-Haas: Trw’s extended sceptre software-dc program (TESS-DC) a non-linear worst case program (BAH), pp. 185–191.
STOC-1969-Savitch #nondeterminism #simulation #turing machine: Deterministic Simulation of Non-Deterministic Turing Machines (Detailed Abstract) (WJS), pp. 247–248.