BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
function (151)
model (138)
use (136)
linear (121)
system (100)

Stem non$ (all stems)

1437 papers:

CASECASE-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.
DACDAC-2015-LiZHLHX #automation #compilation #performance #stack
Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-2015-SonLKYL #smarttech
A small non-volatile write buffer to reduce storage writes in smartphones (MS, SL, KK, SY, SL), pp. 713–718.
DATEDATE-2015-VijayakumarK #design #modelling #novel
A novel modeling attack resistant PUF design based on non-linear voltage transfer characteristics (AV, SK), pp. 653–658.
DATEDATE-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.
DATEDATE-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.
PODSPODS-2015-AlvianoP
Default Negation for Non-Guarded Existential Rules (MA, AP), pp. 79–90.
SIGMODSIGMOD-2015-ArulrajPD #database #memory management
Let’s Talk About Storage & Recovery Methods for Non-Volatile Memory Database Systems (JA, AP, SD), pp. 707–722.
SIGMODSIGMOD-2015-Viglas #data transformation #memory management
Data Management in Non-Volatile Memory (SDV), pp. 1707–1711.
VLDBVLDB-2015-ChatzistergiouCV #in memory #named
REWIND: Recovery Write-Ahead System for In-Memory Non-Volatile Data-Structures (AC, MC, SDV), pp. 497–508.
VLDBVLDB-2015-ChenJ #in memory #memory management #persistent
Persistent B+-Trees in Non-Volatile Main Memory (SC, QJ), pp. 786–797.
ESOPESOP-2015-DavidKL #source code #strict #termination
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs (CD, DK, ML), pp. 183–204.
TACASTACAS-2015-AlbertFR #analysis #cumulative
Non-cumulative Resource Analysis (EA, JCF, GRD), pp. 85–100.
MSRMSR-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.
SANERSANER-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.
SANERSANER-2015-MattsenWS #abstract domain #analysis
A non-convex abstract domain for the value analysis of binaries (SM, AW, SS), pp. 271–280.
PEPMPEPM-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.
PEPMPEPM-2015-VerstoepH #analysis #functional #higher-order #strict
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.
PLDIPLDI-2015-LeQC #specification #termination
Termination and non-termination specification inference (TCL, SQ, WNC), pp. 489–498.
SASSAS-2015-AldousM #low level #static analysis
Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.
STOCSTOC-2015-AggarwalDKO #reduction
Non-malleable Reductions and Applications (DA, YD, TK, MO), pp. 459–468.
STOCSTOC-2015-ChenDST #adaptation #query #testing
Boolean Function Monotonicity Testing Requires (Almost) n 1/2 Non-adaptive Queries (XC, AD, RAS, LYT), pp. 519–528.
STOCSTOC-2015-KesselheimKN #order #problem
Secretary Problems with Non-Uniform Arrival Order (TK, RDK, RN), pp. 879–888.
CIAACIAA-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.
ICALPICALP-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.
ICALPICALP-v1-2015-AzarC
Serving in the Dark should be done Non-Uniformly (YA, IRC), pp. 91–102.
ICALPICALP-v2-2015-MazzaT
Parsimonious Types and Non-uniform Computation (DM, KT), pp. 350–361.
ICALPICALP-v2-2015-StatonU #algebra
Effect Algebras, Presheaves, Non-locality and Contextuality (SS, SU), pp. 401–413.
LATALATA-2015-ChoHK #mining
Frequent Pattern Mining with Non-overlapping Inversions (DJC, YSH, HK), pp. 121–132.
LATALATA-2015-LopezN
Coding Non-orientable Laminations (LML, PN), pp. 340–352.
CHICHI-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.
CHICHI-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.
CHICHI-2015-GuerreiroRMGN0 #physics #tablet
TabLETS Get Physical: Non-Visual Text Entry on Tablet Devices (JG, AR, KM, TJVG, HN, DG), pp. 39–42.
CHICHI-2015-PatelO
Contextual Influences on the Use and Non-Use of Digital Technology While Exercising at the Gym (MP, AAO), pp. 2923–2932.
CHICHI-2015-SahooPS
Control of Non-Solid Diffusers by Electrostatic Charging (DRS, DMP, SS), pp. 11–14.
HCIDHM-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.
HCIDHM-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.
HCIDHM-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.
HCIDHM-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.
HCIDHM-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.
HCIDHM-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.
HCIDHM-HM-2015-SugimotoINYG #difference #process
Difference in Polishing Process of FRP Between Expert and Non-expert (TS, DI, HN, YY, AG), pp. 174–181.
HCIDHM-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.
HCIDUXU-DD-2015-HeidtKPR #community #human-computer
HCI and the Community of Non-users (MH, KK, LP, PR), pp. 44–52.
HCIDUXU-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.
HCIDUXU-UI-2015-WiedauGFGW #communication #named
Commiticator: Enhancing Non-verbal Communication by Means of Magnetic Vision (AW, DG, RF, TG, MW), pp. 705–714.
HCIHCI-DE-2015-Semnani-AzadN #automation #behaviour
Automatic Interpretation of Negotiators’ Affect and Involvement Based on Their Non-verbal Behavior (ZSA, EN), pp. 520–529.
HCIHCI-IT-2015-OkuboT #chat #development #visualisation
Development of Chat System Added with Visualized Unconscious Non-verbal Information (MO, HT), pp. 353–362.
CAiSECAiSE-2015-DelmasP #policy #requirements #verification
Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies (RD, TP), pp. 151–165.
ICEISICEIS-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.
ICMLICML-2015-FlaxmanWNNS #performance #process
Fast Kronecker Inference in Gaussian Processes with non-Gaussian Likelihoods (SF, AGW, DN, HN, AJS), pp. 607–616.
ICMLICML-2015-GeZ #matrix
Intersecting Faces: Non-negative Matrix Factorization With New Guarantees (RG, JZ), pp. 2295–2303.
ICMLICML-2015-LesnerS #approximate #policy
Non-Stationary Approximate Modified Policy Iteration (BL, BS), pp. 1567–1575.
ICMLICML-2015-LiuHW #collaboration
Non-Linear Cross-Domain Collaborative Filtering via Hyper-Structure Transfer (YFL, CYH, SHW), pp. 1190–1198.
ICMLICML-2015-NarasimhanK0 #metric #optimisation #performance
Optimizing Non-decomposable Performance Measures: A Tale of Two Classes (HN, PK, PJ), pp. 199–208.
ICMLICML-2015-SaRO #convergence #matrix #probability #problem
Global Convergence of Stochastic Gradient Descent for Some Non-convex Matrix Problems (CDS, CR, KO), pp. 2332–2341.
ICMLICML-2015-YuanHTLC #modelling
Non-Gaussian Discriminative Factor Models via the Max-Margin Rank-Likelihood (XY, RH, ET, RL, LC), pp. 1254–1263.
KDDKDD-2015-HouWGD #clustering #programming #rank
Non-exhaustive, Overlapping Clustering via Low-Rank Semidefinite Programming (YH, JJW, DFG, ISD), pp. 427–436.
KDDKDD-2015-OuCWW0 #component #similarity #transitive
Non-transitive Hashing with Latent Similarity Components (MO, PC, FW, JW, WZ), pp. 895–904.
SEKESEKE-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.
SEKESEKE-2015-LongoV #diagrams #interactive
Creating User Scenarios through User Interaction Diagrams by Non-Technical Customers (DHL, PV), pp. 330–335.
SEKESEKE-2015-Wang #metric #problem
Improved Metrics for Non-Classic Test Prioritization Problems (ZW), pp. 562–566.
SIGIRSIGIR-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.
SIGIRSIGIR-2015-LiomaSLH #dependence #information retrieval
Non-Compositional Term Dependence for Information Retrieval (CL, JGS, BL, NDH), pp. 595–604.
SIGIRSIGIR-2015-RenR #parametricity #process
Summarizing Contrastive Themes via Hierarchical Non-Parametric Processes (ZR, MdR), pp. 93–102.
SIGIRSIGIR-2015-WangLWZNM #behaviour #modelling
Incorporating Non-sequential Behavior into Click Models (CW, YL, MW, KZ, JYN, SM), pp. 283–292.
SIGIRSIGIR-2015-YangKML #modelling #parametricity #sentiment #topic
Parametric and Non-parametric User-aware Sentiment Topic Models (ZY, AK, AM, SL), pp. 413–422.
ECOOPECOOP-2015-BostromM #composition #finite #source code #verification
Modular Verification of Finite Blocking in Non-terminating Programs (PB, PM), pp. 639–663.
SACSAC-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.
SACSAC-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.
SACSAC-2015-LeeRH #file system #memory management #performance
Performance implications of cache flushes for non-volatile memory file systems (KL, SR, HH), pp. 2069–2071.
SACSAC-2015-Oikawa #adaptation #memory management
Exposing non-volatile memory cache for adaptive storage access (SO), pp. 2021–2026.
SACSAC-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.
SACSAC-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ASPLOSASPLOS-2015-YoungNQ #encryption #named
DEUCE: Write-Efficient Encryption for Non-Volatile Memories (VY, PJN, MKQ), pp. 33–44.
ASPLOSASPLOS-2015-ZhangYMS #memory management #named #reliability
Mojim: A Reliable and Highly-Available Non-Volatile Memory System (YZ, JY, AM, SS), pp. 3–18.
HPCAHPCA-2015-ChenZPP #towards
Power punch: Towards non-blocking power-gating of NoC routers (LC, DZ, MP, TMP), pp. 378–389.
HPCAHPCA-2015-DuZCMM #memory management #physics
Supporting superpages in non-contiguous physical memory (YD, MZ, BRC, DM, RGM), pp. 223–234.
CADECADE-2015-ChocronFR #revisited
A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (PC, PF, CR), pp. 419–433.
CADECADE-2015-SakaiOO #confluence
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (MS, MO, MO), pp. 111–126.
CAVCAV-2015-CernyCHRRST #scheduling #synthesis #using
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (PC, EMC, TAH, AR, LR, RS, TT), pp. 180–197.
CSLCSL-2015-HetzlZ
Tree Grammars for the Elimination of Non-prenex Cuts (SH, SZ), pp. 110–127.
ICLPICLP-2015-KieslST #analysis #on the #source code
On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT).
ICSTICST-2015-Haser #integration #testing
Non-Intrusive Documentation-Driven Integration Testing (FH), pp. 1–2.
RTARTA-2015-EndrullisZ #automaton #finite #proving
Proving non-termination by finite automata (JE, HZ), pp. 160–176.
ICSTSAT-2015-CaiLS #named #satisfiability
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability (SC, CL, KS), pp. 1–8.
TLCATLCA-2015-AhrensCS #type system
Non-Wellfounded Trees in Homotopy Type Theory (BA, PC, RS), pp. 17–30.
TLCATLCA-2015-BezemCP #set
Non-Constructivity in Kan Simplicial Sets (MB, TC, EP), pp. 92–106.
VMCAIVMCAI-2015-LiuR #abstraction #array
Abstraction of Arrays Based on Non Contiguous Partitions (JL, XR), pp. 282–299.
CBSECBSE-2014-BuissonCDLM #component #configuration management
Coqcots & pycots: non-stopping components for safe dynamic reconfiguration (JB, EC, FD, EL, SM), pp. 85–90.
CASECASE-2014-KeferZX #industrial
A versatile, non-linear and elasto-static stiffness model of articulated industrial robots (MK, JZ, HX), pp. 208–214.
CASECASE-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.
CASECASE-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.
DACDAC-2014-AndraudSS
One-Shot Calibration of RF Circuits Based on Non-Intrusive Sensors (MA, HGDS, ES), p. 2.
DACDAC-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.
DACDAC-2014-KoestersG #verification
Verification of Non-Mainline Functions in Todays Processor Chips (JK, AG), p. 3.
DACDAC-2014-SlijepcevicKAQC #manycore #realtime
Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems (MS, LK, JA, EQ, FJC), p. 6.
DACDAC-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.
DATEDATE-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.
DATEDATE-2014-DuanW
Exploiting narrow-width values for improving non-volatile cache lifetime (GD, SW), pp. 1–4.
DATEDATE-2014-JunsangsriLH #concurrent #detection #hybrid
A hybrid non-volatile SRAM cell with concurrent SEU detection and correction (PJ, FL, JH), pp. 1–4.
DATEDATE-2014-KimSAVG #enterprise #metric
Global fan speed control considering non-ideal temperature measurements in enterprise servers (JK, MMS, DA, KV, KCG), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-LoiB #multi
A multi banked — Multi ported — Non blocking shared L2 cache for MPSoC platforms (IL, LB), pp. 1–6.
DATEDATE-2014-MaliukM #framework #network #prototype
An analog non-volatile neural network platform for prototyping RF BIST solutions (DM, YM), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-Pomeranz #generative #testing
Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
DATEDATE-2014-QiZ #modelling #performance #simulation
Efficient simulation and modelling of non-rectangular NoC topologies (JQ, MZ), pp. 1–4.
PODSPODS-2014-FinkO #database #probability #query
A dichotomy for non-repeating queries with negation in probabilistic databases (RF, DO), pp. 144–155.
VLDBVLDB-2014-WangJ #memory management #scalability
Scalable Logging through Emerging Non-Volatile Memory (TW, RJ), pp. 865–876.
ESOPESOP-2014-BocchiMT #nondeterminism
Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.
FASEFASE-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.
FoSSaCSFoSSaCS-2014-Munch-Maccagnoni #composition #modelling
Models of a Non-associative Composition (GMM), pp. 396–410.
MSRMSR-2014-JoorabchiMM #debugging #exclamation
Works for me! characterizing non-reproducible bug reports (MEJ, MM, AM), pp. 62–71.
SCAMSCAM-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.
STOCSTOC-2014-AggarwalDL #combinator
Non-malleable codes from additive combinatorics (DA, YD, SL), pp. 774–783.
STOCSTOC-2014-ArtemenkoS #generative #pseudo
Pseudorandom generators with optimal seed length for non-boolean poly-size circuits (SA, RS), pp. 99–108.
STOCSTOC-2014-GalanisSV
Inapproximability for antiferromagnetic spin systems in the tree non-uniqueness region (AG, DS, EV), pp. 823–831.
STOCSTOC-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.
STOCSTOC-2014-GoyalOSV #black box
Black-box non-black-box zero knowledge (VG, RO, AS, IV), pp. 515–524.
STOCSTOC-2014-ImKM #algorithm #constraints #scheduling
Competitive algorithms from competitive equilibria: non-clairvoyant scheduling under polyhedral constraints (SI, JK, KM), pp. 313–322.
AFLAFL-2014-CarapelleFGQ13 #game studies #word
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 174–187.
ICALPICALP-v1-2014-CzumajV #markov
Thorp Shuffling, Butterflies, and Non-Markovian Couplings (AC, BV), pp. 344–355.
ICALPICALP-v2-2014-Mazza #λ-calculus
Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus (DM), pp. 305–317.
ICALPICALP-v2-2014-Wehar
Hardness Results for Intersection Non-Emptiness (MW), pp. 354–362.
LATALATA-2014-CarapelleFGQ #satisfiability #word
Satisfiability for MTL and TPTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 248–259.
ICFPICFP-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.
ICGTICGT-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.
CHICHI-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.
CHICHI-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.
CHICHI-2014-OKaneRB #mobile
Gaining empathy for non-routine mobile device use through autoethnography (AAO, YR, AEB), pp. 987–990.
CHICHI-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.
CHICHI-2014-ZhangGTR #interface
Non-intrusive tongue machine interface (QZ, SG, BT, RPNR), pp. 2555–2558.
CSCWCSCW-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.
CSCWCSCW-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.
HCIDHM-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.
HCIDHM-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.
HCIDUXU-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.
HCIDUXU-TMT-2014-FrancaMS #internet
Digital Self: Fiction and Non-fiction on the Internet (ACPdF, LRdLM, MMS), pp. 537–547.
HCIHCI-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.
HCIHCI-AS-2014-MwangiKK #communication #online
Textual Emotion Communication with Non-verbal Symbols in Online Environments (ENM, SK, MK), pp. 42–48.
CIKMCIKM-2014-ChenC #data type #incremental #matrix #named
GI-NMF: Group Incremental Non-Negative Matrix Factorization on Data Streams (XC, KSC), pp. 1119–1128.
CIKMCIKM-2014-CuiYH #independence
Non-independent Cascade Formation: Temporal and Spatial Effects (BC, SJY, CH), pp. 1923–1926.
ICMLICML-c1-2014-LiWLZT #dependence #modelling #on the #topic
On Modelling Non-linear Topical Dependencies (ZL, SW, JL, PZ, JT), pp. 458–466.
ICMLICML-c1-2014-RamdasP #kernel
Margins, Kernels and Non-linear Smoothed Perceptrons (AR, JP), pp. 244–252.
ICMLICML-c2-2014-ChenLX #clustering #graph #nondeterminism
Weighted Graph Clustering with Non-Uniform Uncertainties (YC, SHL, HX), pp. 1566–1574.
ICMLICML-c2-2014-Hernandez-LobatoHG14a #matrix #probability
Probabilistic Matrix Factorization with Non-random Missing Data (JMHL, NH, ZG), pp. 1512–1520.
ICMLICML-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.
ICMLICML-c2-2014-SnoekSZA #optimisation
Input Warping for Bayesian Optimization of Non-Stationary Functions (JS, KS, RSZ, RPA), pp. 1674–1682.
ICMLICML-c2-2014-TitsiasL #probability
Doubly Stochastic Variational Bayes for non-Conjugate Inference (MKT, MLG), pp. 1971–1979.
ICPRICPR-2014-AlmogahedK #game studies #named #using
NEATER: Filtering of Over-sampled Data Using Non-cooperative Game Theory (BAA, IAK), pp. 1371–1376.
ICPRICPR-2014-BrownFP #detection #self #using
Temporal Non-maximum Suppression for Pedestrian Detection Using Self-Calibration (LMGB, RSF, SP), pp. 2239–2244.
ICPRICPR-2014-ChamroukhiBG #clustering #parametricity
Bayesian Non-parametric Parsimonious Gaussian Mixture for Clustering (FC, MB, HG), pp. 1460–1465.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-ChironGM #behaviour #parametricity #using
Discovering Emergent Behaviors from Tracks Using Hierarchical Non-parametric Bayesian Methods (GC, PGK, MM), pp. 2185–2190.
ICPRICPR-2014-EnzbergA #automation #fault #recognition
A Defect Recognition System for Automated Inspection of Non-rigid Surfaces (SvE, AAH), pp. 1812–1816.
ICPRICPR-2014-FornoniC #learning #naive bayes #recognition
Scene Recognition with Naive Bayes Non-linear Learning (MF, BC), pp. 3404–3409.
ICPRICPR-2014-HtikeH #adaptation #detection #performance #video
Efficient Non-iterative Domain Adaptation of Pedestrian Detectors to Video Scenes (KKH, DCH), pp. 654–659.
ICPRICPR-2014-Kanatani #estimation #geometry #optimisation #statistics
Statistical Optimization for Geometric Estimation: Minimization vs. Non-minimization (KK), pp. 1–8.
ICPRICPR-2014-KuangLJL #3d #graph
Graph Contexts for Retrieving Deformable Non-rigid 3D Shapes (ZK, ZL, XJ, YL), pp. 2820–2825.
ICPRICPR-2014-KumarA2 #stack #using
Non-frontal Camera Calibration Using Focal Stack Imagery (AK, NA), pp. 202–207.
ICPRICPR-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.
ICPRICPR-2014-NayefGO #documentation #image
Deblurring of Document Images Based on Sparse Representations Enhanced by Non-local Means (NN, PGK, JMO), pp. 4441–4446.
ICPRICPR-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.
ICPRICPR-2014-PedersenNM #adaptation #algorithm #estimation
Adaptive Non-local Means for Cost Aggregation in a Local Disparity Estimation Algorithm (CP, KN, TBM), pp. 2442–2447.
ICPRICPR-2014-ScheltenR #estimation #image #kernel #locality #parametricity
Localized Image Blur Removal through Non-parametric Kernel Estimation (KS, SR), pp. 702–707.
ICPRICPR-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.
ICPRICPR-2014-ZouL
Calibrating Non-overlapping RGB-D Cameras (WZ, SL), pp. 4200–4205.
KDDKDD-2014-BuntineM #modelling #parametricity #topic
Experiments with non-parametric topic models (WLB, SM), pp. 881–890.
KDDKDD-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.
KDIRKDIR-2014-MohammadiMBRA #classification #graph #parametricity
A Noise Resilient and Non-parametric Graph-based Classifier (MM, SAM, EB, BR, AA), pp. 170–175.
KEODKEOD-2014-TongphuS #logic #standard
A Non-standard Instance Checking for the Description Logic ELH (ST, BS), pp. 67–74.
KRKR-2014-CabalarD #equivalence
Strong Equivalence of Non-Monotonic Temporal Theories (PC, MD).
KRKR-2014-RibeiroW #logic
Minimal Change in AGM Revision for Non-Classical Logics (MMR, RW).
RecSysRecSys-2014-KimC #collaboration #predict
Bayesian binomial mixture model for collaborative prediction with non-random missing data (YDK, SC), pp. 201–208.
SEKESEKE-2014-BenderWFPN #empirical #metric
Measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation (LB, GSW, FF, MP, KEN), pp. 478–483.
SEKESEKE-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.
SIGIRSIGIR-2014-EfronLHV #estimation #feedback #parametricity #twitter
Temporal feedback for tweet search with non-parametric density estimation (ME, JL, JH, APdV), pp. 33–42.
SIGIRSIGIR-2014-JayasingheWSDC #nondeterminism #retrieval
Evaluating non-deterministic retrieval systems (GKJ, WW, MS, LSD, JSC), pp. 911–914.
AMTAMT-2014-EramoMPR #bidirectional #nondeterminism #towards
Towards Analysing Non-Determinism in Bidirectional Transformations (RE, RM, AP, GR), pp. 76–85.
OOPSLAOOPSLA-2014-ChakrabartiBB #consistency #memory management #named
Atlas: leveraging locks for non-volatile memory consistency (DRC, HJB, KB), pp. 433–452.
PLATEAUPLATEAU-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.
QAPLQAPL-2014-MiculanP #aspect-oriented #nondeterminism #process
GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.
POPLPOPL-2014-Krebbers #axiom #c #nondeterminism #semantics #sequence
An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
RERE-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.
FSEFSE-2014-Brunink #monitoring #non-functional
Autonomous compliance monitoring of non-functional properties (MB), pp. 795–798.
FSEFSE-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.
ASPLOSASPLOS-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.
CGOCGO-2014-VenkatSHS #code generation
Non-affine Extensions to Polyhedral Code Generation (AV, MS, MWH, MMS), p. 185.
HPCAHPCA-2014-ElwellRAP #architecture #memory management
A Non-Inclusive Memory Permissions architecture for protection against cross-layer attacks (JE, RR, NBAG, DP), pp. 201–212.
HPCAHPCA-2014-ShinYCK #memory management #named
NUAT: A non-uniform access time memory controller (WS, JY, JC, LSK), pp. 464–475.
ISMMISMM-2014-ZakkakP #architecture #java #memory management #named
JDMM: a java memory model for non-cache-coherent memory architectures (FSZ, PP), pp. 83–92.
OSDIOSDI-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.
PPoPPPPoPP-2014-BrownER
A general technique for non-blocking trees (TB, FE, ER), pp. 329–342.
PPoPPPPoPP-2014-LeungBEFPRS
Task mapping stencil computations for non-contiguous allocations (VJL, DPB, JE, SPF, NWP, ZDR, MS), pp. 377–378.
CAVCAV-2014-LarrazNORR #proving #using
Proving Non-termination Using Max-SMT (DL, KN, AO, ERC, AR), pp. 779–796.
IJCARIJCAR-2014-ChocronFR #satisfiability
A Gentle Non-disjoint Combination of Satisfiability Procedures (PC, PF, CR), pp. 122–136.
LICSLICS-CSL-2014-LazicS #branch
Non-elementary complexities for branching VASS, MELL, and extensions (RL, SS), p. 10.
ECSAECSA-2013-SilvaB #architecture #automation #consistency #named
PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (LdS, DB), pp. 240–248.
QoSAQoSA-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.
ASEASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2013-ZhouKZS #analysis
Causal analysis for non-stationary time series in sensor-rich smart buildings (YZ, ZK, LZ, CJS), pp. 593–598.
DACDAC-2013-AxerE #fault #probability #scheduling
Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.
DACDAC-2013-GoncalvesPPD
Non-volatile FPGAs based on spintronic devices (OG, GP, GdP, BD), p. 3.
DACDAC-2013-KahngKL #reduction
Smart non-default routing for clock power reduction (ABK, SK, HL), p. 7.
DATEDATE-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.
DATEDATE-2013-BackesR #reachability #using
Using cubes of non-state variables with property directed reachability (JDB, MDR), pp. 807–810.
DATEDATE-2013-DeutschC #multi #using
Non-invasive pre-bond TSV test using ring oscillators and multiple voltage levels (SD, KC), pp. 1065–1070.
DATEDATE-2013-Moy #approach #modelling #parallel #programming
Parallel programming with SystemC for loosely timed models: a non-intrusive approach (MM), pp. 9–14.
DATEDATE-2013-ParkCA #energy
Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor (JP, AC, JAA), pp. 254–257.
DRRDRR-2013-DelayeL #documentation #modelling #online
Context modeling for text/non-text separation in free-form online handwritten documents (AD, CLL).
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-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.
CSEETCSEET-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.
ITiCSEITiCSE-2013-FernandesCB #learning
A pilot project on non-conventional learning (SF, AC, LSB), p. 346.
ITiCSEITiCSE-2013-Honig #education #programming #visual notation
Teaching and assessing programming fundamentals for non majors with visual programming (WLH), pp. 40–45.
ESOPESOP-2013-JeanninKS
Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
FoSSaCSFoSSaCS-2013-KrebbersW #control flow #logic
Separation Logic for Non-local Control Flow and Block Scope Variables (RK, FW), pp. 257–272.
MSRMSR-2013-ManiNMNSN #debugging #identification #repository
Bug resolution catalysts: identifying essential non-committers from bug repositories (SM, SN, DM, RN, VSS, AAN), pp. 193–202.
WCREWCRE-2013-BaysalKHG #bibliography #code review #perspective
The influence of non-technical factors on code review (OB, OK, RH, MWG), pp. 122–131.
WCREWCRE-2013-DuranBS #agile
Lehman’s laws in agile and non-agile projects (KD, GB, PS), pp. 292–300.
PLDIPLDI-2013-ApinisSV #equation #how
How to combine widening and narrowing for non-monotonic systems of equations (KA, HS, VV), pp. 377–386.
PLDIPLDI-2013-LiangF #composition #verification
Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.
SASSAS-2013-GangeNSSS #abstract domain #abstract interpretation
Abstract Interpretation over Non-lattice Abstract Domains (GG, JAN, PS, HS, PJS), pp. 6–24.
STOCSTOC-2013-ChenPY #complexity
The complexity of non-monotone markets (XC, DP, MY), pp. 181–190.
STOCSTOC-2013-ChungPS #security #simulation
Non-black-box simulation from one-way functions and applications to resettable security (KMC, RP, KS), pp. 231–240.
STOCSTOC-2013-Goyal #concurrent #simulation
Non-black-box simulation in the fully concurrent setting (VG), pp. 221–230.
LATALATA-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.
LATALATA-2013-BalaJ #automaton #nondeterminism
Limited Non-determinism Hierarchy of Counter Automata (SB, DJ), pp. 92–103.
CHICHI-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.
CHICHI-2013-SkoGM #human-computer #online #parametricity
Non-parametric decision trees and online HCI (TS, HJG, MAM), pp. 2103–2106.
CSCWCSCW-2013-Hautasaari #analysis #process #quote #wiki
“Could someone please translate this?”: activity analysis of wikipedia article translation by non-experts (AMJH), pp. 945–954.
CSCWCSCW-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.
CSCWCSCW-2013-PanLCL #process #social #what
To answer or not: what non-qa social activities can tell (YP, LL, CYC, QL), pp. 1253–1263.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-D-2013-MorodomeSAK #biology #metric #using
Non-contact Measurement of Biological Signals Using Microwave Radar (HM, SS, TA, KK), pp. 117–125.
HCIHIMI-HSM-2013-HiraokaTK #behaviour #parametricity
Proposal of Non-dimensional Parameter Indices to Evaluate Safe Driving Behavior (TH, ST, HK), pp. 470–479.
HCIHIMI-HSM-2013-HorieT
Characteristics of Touch Panel Operation with Non-Dominant Hand in Car Driving Context (YH, TT), pp. 577–584.
HCIHIMI-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.
HCIOCSC-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.
EDOCEDOC-2013-ValjaOISJ #modelling #predict
Modeling and Prediction of Monetary and Non-monetary Business Values (MV, , MEI, MvS, PJ), pp. 153–158.
CIKMCIKM-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.
ICMLICML-c1-2013-HanL13a #analysis #component
Principal Component Analysis on non-Gaussian Dependent Data (FH, HL), pp. 240–248.
ICMLICML-c1-2013-KumarSK #algorithm #matrix #performance
Fast Conical Hull Algorithms for Near-separable Non-negative Matrix Factorization (AK, VS, PK), pp. 231–239.
ICMLICML-c1-2013-PeleTGW #classification #performance
The Pairwise Piecewise-Linear Embedding for Efficient Non-Linear Classification (OP, BT, AG, MW), pp. 205–213.
ICMLICML-c1-2013-Shamir0 #convergence #optimisation #probability
Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes (OS, TZ), pp. 71–79.
ICMLICML-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.
ICMLICML-c3-2013-BaktashmotlaghHBLS #analysis #classification #video
Non-Linear Stationary Subspace Analysis with Application to Video Classification (MB, MTH, AB, BCL, MS), pp. 450–458.
ICMLICML-c3-2013-GeorgievN #collaboration #framework #strict
A non-IID Framework for Collaborative Filtering with Restricted Boltzmann Machines (KG, PN), pp. 1148–1156.
ICMLICML-c3-2013-JoseGAV #kernel #learning #performance #predict
Local Deep Kernel Learning for Efficient Non-linear SVM Prediction (CJ, PG, PA, MV), pp. 486–494.
ICMLICML-c3-2013-KhanAFS #modelling #performance
Fast Dual Variational Inference for Non-Conjugate Latent Gaussian Models (MEK, AYA, MPF, MWS), pp. 951–959.
ICMLICML-c3-2013-OgawaST
Safe Screening of Non-Support Vectors in Pathwise SVM Computation (KO, YS, IT), pp. 1382–1390.
KDDKDD-2013-NaganoITUA #modelling #parametricity
Nonparametric hierarchal bayesian modeling in non-contractual heterogeneous survival data (SN, YI, NT, TU, MA), pp. 668–676.
RecSysRecSys-2013-MouraoRKM #hybrid #recommendation
Exploiting non-content preference attributes through hybrid recommendation method (FM, LCdR, JAK, WMJ), pp. 177–184.
SEKESEKE-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.
SEKESEKE-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.
SKYSKY-2013-ExmanA #design #game studies
Knowledge-driven Game Design by Non-programmers (IE, AA), pp. 47–54.
AMTAMT-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.
PADLPADL-2013-LiangK #automation #logic programming #named #scalability #source code
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs (SL, MK), pp. 173–189.
REER-BR-2013-SerranoS #mobile #non-functional #pervasive #ubiquitous
Ubiquitous, Pervasive and Mobile Computing: A Reusable-Models-based Non-Functional Catalogue (MS, MS).
SACSAC-2013-BlondelSU #classification #constraints #learning #using
Learning non-linear classifiers with a sparsity constraint using L1 regularization (MB, KS, KU), pp. 167–169.
SACSAC-2013-Fournier-VigerT #mining #named
TNS: mining top-k non-redundant sequential rules (PFV, VST), pp. 164–166.
SACSAC-2013-GholipourHB #adaptation #data type
An adaptive regression tree for non-stationary data streams (AG, MJH, HB), pp. 815–817.
SACSAC-2013-MottaLNRJO #algorithm #clustering #relational
Comparing relational and non-relational algorithms for clustering propositional data (RM, AdAL, BMN, SOR, AMJ, MCFdO), pp. 150–155.
SACSAC-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.
SACSAC-2013-SteinbauerKK #community #on-demand
Building an on-demand virtual computing market in non-commercial communities (MS, IK, GK), pp. 351–356.
ICSEICSE-2013-GhezziPST #adaptation #modelling #non-functional #nondeterminism
Managing non-functional uncertainty via model-driven adaptivity (CG, LSP, PS, GT), pp. 33–42.
ASPLOSASPLOS-2013-SungKA #hardware #named #nondeterminism #performance
DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.
HPCAHPCA-2013-WangDXJ #named
i2WAP: Improving non-volatile cache lifetime by reducing inter- and intra-set write variations (JW, XD, YX, NPJ), pp. 234–245.
LCTESLCTES-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.
PPoPPPPoPP-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.
CAVCAV-2013-ChenAS #hybrid
Flow*: An Analyzer for Non-linear Hybrid Systems (XC, , SS), pp. 258–263.
CAVCAV-2013-DaiXZ #generative #programming
Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
CSLCSL-2013-Kikuchi #nondeterminism #normalisation #proving #λ-calculus
Proving Strong Normalisation via Non-deterministic Translations into Klop’s Extended λ-Calculus (KK), pp. 395–414.
CSLCSL-2013-Nishimura #game studies #parallel #semantics
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
CSLCSL-2013-Oitavem #nondeterminism #recursion
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.
ICLPICLP-J-2013-Balduccini
ASP with non-herbrand partial functions: a language and system for practical use (MB), pp. 547–561.
ICLPICLP-J-2013-LiangK #analysis #logic programming #scalability #source code
A practical analysis of non-termination in large logic programs (SL, MK), pp. 705–719.
ISSTAISSTA-2013-GligoricGZSAM #test coverage #testing #using
Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ISSTAISSTA-2013-Park #concurrent #debugging
Debugging non-deadlock concurrency bugs (SP), pp. 358–361.
RTARTA-2013-Schmidt-SchaussMS #lazy evaluation #λ-calculus
Extending Abramsky’s Lazy λ Calculus: (Non)-Conservativity of Embeddings (MSS, EM, DS), pp. 239–254.
ICSTSAT-2013-Toran #complexity #graph #morphism #on the
On the Resolution Complexity of Graph Non-isomorphism (JT), pp. 52–66.
TLCATLCA-2013-AschieriZ #nondeterminism #normalisation
Non-determinism, Non-termination and the Strong Normalization of System T (FA, MZ), pp. 31–47.
TLCATLCA-2013-Mazza #metric
Non-linearity as the Metric Completion of Linearity (DM), pp. 3–14.
WICSA-ECSAWICSA-ECSA-2012-PoortKWV #non-functional #requirements
Issues Dealing with Non-Functional Requirements across the Contractual Divide (ERP, AK, PHNdW, HvV), pp. 315–319.
ASEASE-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.
DACDAC-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.
DACDAC-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.
DACDAC-2012-DinglerKNHCNPBLS #logic
Making non-volatile nanomagnet logic non-volatile (AD, SK, MTN, XSH, GC, JN, WP, GHB, PL, VKS), pp. 476–485.
DACDAC-2012-HuangLWT #interface
A non-intrusive timing synchronization interface for hardware-assisted HW/SW co-simulation (YHH, YSL, HIW, RST), pp. 127–132.
DACDAC-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.
DACDAC-2012-OuCC #constraints #multi
Non-uniform multilevel analog routing with matching constraints (HCO, HCCC, YWC), pp. 549–554.
DACDAC-2012-WangDX #architecture
Point and discard: a hard-error-tolerant architecture for non-volatile last level caches (JW, XD, YX), pp. 253–258.
DATEDATE-2012-AbdallahSMA #testing
Testing RF circuits with true non-intrusive built-in sensors (LA, HGDS, SM, JA), pp. 1090–1095.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-MarinhoNPP #analysis #float #scheduling
Preemption delay analysis for floating non-preemptive region scheduling (JM, VN, SMP, IP), pp. 497–502.
DATEDATE-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.
DocEngDocEng-2012-MeixnerK #interactive #video #xml
Interactive non-linear video: definition and XML structure (BM, HK), pp. 49–58.
PODSPODS-2012-LiuRV #distributed
Continuous distributed counting for non-monotonic streams (ZL, BR, MV), pp. 307–318.
SIGMODSIGMOD-2012-Sivasubramanian #database #scalability
Amazon dynamoDB: a seamlessly scalable non-relational database service (SS), pp. 729–730.
ITiCSEITiCSE-2012-Aycock #named #programming
μPython: non-majors programming from the very first lecture (JA), pp. 345–350.
ITiCSEITiCSE-2012-FidotenS #bibliography #what
What do computer scientists do?: a survey of CS and non-CS liberal arts faculty (HF, JS), pp. 279–284.
ITiCSEITiCSE-2012-KortsartsK #component #probability #programming
Enriching introductory programming courses with non-intuitive probability experiments component (YK, YK), pp. 128–131.
ESOPESOP-2012-Ley-WildAB #self
Non-monotonic Self-Adjusting Computation (RLW, UAA, GEB), pp. 476–496.
TACASTACAS-2012-LengalSV #automaton #library #named #nondeterminism #performance
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata (OL, JS, TV), pp. 79–94.
PEPMPEPM-2012-JainZS #nondeterminism
Translating flowcharts to non-deterministic languages (SKJ, CZ, BS), pp. 155–162.
SASSAS-2012-EmmiL #distributed #source code
Finding Non-terminating Executions in Distributed Asynchronous Programs (ME, AL), pp. 439–455.
STOCSTOC-2012-Li #design #privacy
Design extractors, non-malleable condensers and privacy amplification (XL), pp. 837–854.
AFLAFL-J-2011-FazekasLS12 #context-free grammar #on the
On Non-Primitive Palindromic Context-Free Languages (SZF, PL, KST), pp. 1277–1290.
DLTDLT-2012-Okhotin #theorem
Non-erasing Variants of the Chomsky-Schützenberger Theorem (AO), pp. 121–129.
LATALATA-2012-DennunzioFP #automaton #complexity
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata (AD, EF, JP), pp. 204–215.
SFMSFM-2012-Becker #analysis #model transformation #non-functional
Model Transformations in Non-functional Analysis (SB), pp. 263–289.
CHICHI-2012-FindlaterLW #gesture #multi
Beyond QWERTY: augmenting touch screen keyboards with multi-touch gestures for non-alphanumeric input (LF, BL, JOW), pp. 2679–2682.
CSCWCSCW-2012-BossenJW
Medical secretaries’ care of records: the cooperative work of a non-clinical group (CB, LGJ, FW), pp. 921–930.
CSCWCSCW-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.
CSCWCSCW-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.
CAiSECAiSE-2012-AtzeniBR #database #framework
Uniform Access to Non-relational Database Systems: The SOS Platform (PA, FB, LR), pp. 160–174.
CAiSECAiSE-2012-SchmelingCMM #composition #non-functional #towards
Towards Conflict-Free Composition of Non-functional Concerns (BS, AC, MM, MM), pp. 80–94.
CIKMCIKM-2012-JiaZH #network #simulation
Non-stationary bayesian networks based on perfect simulation (YJ, WZ, JH), pp. 1095–1104.
CIKMCIKM-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.
CIKMCIKM-2012-LappasV
Customizing search results for non-native speakers (TL, MV), pp. 1829–1833.
CIKMCIKM-2012-VouzoukidouAC #query
Processing continuous text queries featuring non-homogeneous scoring functions (NV, BA, VC), pp. 1065–1074.
CIKMCIKM-2012-YanGLCW #clustering #matrix #using
Clustering short text using Ncut-weighted non-negative matrix factorization (XY, JG, SL, XC, YW), pp. 2259–2262.
ICMLICML-2012-HartikainenSS #modelling #predict
State-Space Inference for Non-Linear Latent Force Models with Application to Satellite Orbit Prediction (JH, MS, SS), p. 96.
ICMLICML-2012-MysoreS #markov #modelling #performance
Variational Inference in Non-negative Factorial Hidden Markov Models for Efficient Audio Source Separation (GJM, MS), p. 194.
ICPRICPR-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.
ICPRICPR-2012-GranaCBC #image #learning #segmentation
Learning non-target items for interesting clothes segmentation in fashion images (CG, SC, DB, RC), pp. 3317–3320.
ICPRICPR-2012-HouHZQ #named #paradigm #retrieval
Bag-of-feature-graphs: A new paradigm for non-rigid shape retrieval (TH, XH, MZ, HQ), pp. 1513–1516.
ICPRICPR-2012-HuynhR #segmentation
Illuminant segmentation in non-uniformly lit scenes (CPH, ARK), pp. 3664–3667.
ICPRICPR-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.
ICPRICPR-2012-KirbizG #matrix #music
Perceptually weighted Non-negative Matrix Factorization for blind single-channel music source separation (SK, BG), pp. 226–229.
ICPRICPR-2012-SouzaOT #performance
Fast global non-rigid registration for mosaic creation (RHCdS, MO, AT), pp. 2736–2739.
ICPRICPR-2012-StrucZP #normalisation #parametricity #verification
Non-parametric score normalization for biometric verification systems (VS, JZG, NP), pp. 2395–2399.
ICPRICPR-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.
ICPRICPR-2012-TopcuKYU
Fingerprint matching utilizing non-distal phalanges (BT, MK, MKY, UU), pp. 2400–2403.
ICPRICPR-2012-UchidaFOF #markov
Non-Markovian dynamic time warping (SU, MF, KO, YF), pp. 2294–2297.
ICPRICPR-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.
ICPRICPR-2012-YilmazYK #multimodal #network #process
Non-linear weighted averaging for multimodal information fusion by employing Analytical Network Process (TY, AY, MK), pp. 234–237.
ICPRICPR-2012-ZhaoYXJ #learning
A near-optimal non-myopic active learning method (YZ, GY, XX, QJ), pp. 1715–1718.
ICPRICPR-2012-ZhengQ #categorisation #semantics
Non-negative Sparse Semantic Coding for text categorization (WZ, YQ), pp. 409–412.
KDDKDD-2012-HoensC #learning
Learning in non-stationary environments with class imbalance (TRH, NVC), pp. 168–176.
KDDKDD-2012-SindhwaniG #distributed #learning #scalability #taxonomy
Large-scale distributed non-negative sparse coding and sparse dictionary learning (VS, AG), pp. 489–497.
KEODKEOD-2012-Exman #concept
A Non-concept is Not a ¬Concept (IE), pp. 401–404.
KRKR-2012-LutzW #complexity #logic #query
Non-Uniform Data Complexity of Query Answering in Description Logics (CL, FW).
MLDMMLDM-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.
RecSysRecSys-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.
SEKESEKE-2012-LiuMLS #analysis #non-functional #specification
Risk-driven Non-functional Requirement Analysis and Specification (YL, ZM, HL, WS), pp. 55–60.
SEKESEKE-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.
ECMFAECMFA-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.
TOOLSTOOLS-EUROPE-2012-OchoaJC #uml
Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.
QAPLQAPL-2012-GazeauMP #analysis #float #robust #source code
A non-local method for robustness analysis of floating point programs (IG, DM, CP), pp. 63–76.
RERE-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.
REFSQREFSQ-2012-PoortMWV #architecture #how #non-functional #requirements
How Architects See Non-Functional Requirements: Beware of Modifiability (ERP, NM, IvdW, HvV), pp. 37–51.
SACSAC-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.
SACSAC-2012-InzingerSHLD #adaptation #optimisation #policy
Non-intrusive policy optimization for dependable and adaptive service-oriented systems (CI, BS, WH, PL, SD), pp. 504–510.
SACSAC-2012-LangohrT #mining
A model for mining relevant and non-redundant information (LL, HT), pp. 132–137.
SACSAC-2012-MondalRRSKS #comparative #empirical
Comparative stability of cloned and non-cloned code: an empirical study (MM, CKR, MSR, RKS, JK, KAS), pp. 1227–1234.
SACSAC-2012-Skubch #constraints #realtime
Solving non-linear arithmetic constraints in soft realtime environments (HS), pp. 67–73.
SACSAC-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.
ICSEICSE-2012-AstromskisJM #approach #modelling #named
Egidio: A non-invasive approach for synthesizing organizational models (SA, AJ, ARM), pp. 1465–1466.
SLESLE-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.
SPLCSPLC-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.
PPoPPPPoPP-2012-ProkopecBBO #concurrent #performance
Concurrent tries with efficient non-blocking snapshots (AP, NGB, PB, MO), pp. 151–160.
PPoPPPPoPP-2012-SackG #algorithm #communication #performance
Faster topology-aware collective algorithms through non-minimal communication (PS, WG), pp. 45–54.
CAVCAV-2012-AtigBEL #detection #parallel #source code #thread
Detecting Fair Non-termination in Multithreaded Programs (MFA, AB, ME, AL), pp. 210–226.
CAVCAV-2012-PaulaHN #debugging #named #nondeterminism
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.
CSLCSL-2012-Ehrhard
Collapsing non-idempotent intersection types (TE), pp. 259–273.
ICLPICLP-2012-Balduccini #set #source code
An Answer Set Solver for non-Herbrand Programs: Progress Report (MB), pp. 49–60.
ICLPICLP-2012-Hanus #analysis #lazy evaluation #nondeterminism
Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.
ICLPICLP-2012-MorakW #preprocessor #programming #set
Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.
ICLPICLP-J-2012-LifschitzPY #modelling #null #relational
Relational theories with null values and non-herbrand stable models (VL, KP, FY), pp. 565–582.
ICSTICST-2012-CalvarTH #framework #monitoring #runtime
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
ICSTICST-2012-ParkVH #approach #concurrent #debugging
A Unified Approach for Localizing Non-deadlock Concurrency Bugs (SP, RWV, MJH), pp. 51–60.
ICTSSICTSS-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.
IJCARIJCAR-2012-EmmesEG #automation #proving
Proving Non-looping Non-termination Automatically (FE, TE, JG), pp. 225–240.
IJCARIJCAR-2012-JovanovicM
Solving Non-linear Arithmetic (DJ, LMdM), pp. 339–354.
LICSLICS-2012-CoeckeDKW #category theory #quantum
Strong Complementarity and Non-locality in Categorical Quantum Mechanics (BC, RD, AK, QW), pp. 245–254.
LICSLICS-2012-KrebsS #first-order
Non-definability of Languages by Generalized First-order Formulas over (N, +) (AK, AVS), pp. 451–460.
VMCAIVMCAI-2012-GhorbalIBMG #abstract interpretation #performance
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
VMCAIVMCAI-2012-LeeLY #clustering #static analysis #statistics
Sound Non-statistical Clustering of Static Analysis Alarms (WL, WL, KY), pp. 299–314.
ASEASE-2011-RobinsonNS #data access #flexibility #named
GitBAC: Flexible access control for non-modular concerns (MR, JN, MS), pp. 500–503.
DACDAC-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.
DACDAC-2011-DyerMK #hybrid #modelling #process
Hybrid modeling of non-stationary process variations (ELD, MM, FK), pp. 194–199.
DACDAC-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.
DACDAC-2011-ShiSW #3d #design
Non-uniform micro-channel design for stacked 3D-ICs (BS, AS, PW), pp. 658–663.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-BangaRH #testing
Design-for-test methodology for non-scan at-speed testing (MB, NPR, MSH), pp. 191–196.
DATEDATE-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.
DRRDRR-2011-XieA #classification
Boosting based text and non-text region classification (BX, GA), pp. 1–10.
HTHT-2011-ChilukuriI #algorithm
An algorithm to generate engaging narratives through non-linearity (VC, BI), pp. 291–298.
ICDARICDAR-2011-AlmazanFV #feature model #recognition
A Non-rigid Feature Extraction Method for Shape Recognition (JA, AF, EV), pp. 987–991.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-2011-WangT
Non-rigid Registration and Restoration of Double-Sided Historical Manuscripts (JW, CLT), pp. 1374–1378.
ITiCSEITiCSE-2011-BrandHW #development #education
Intelligent systems development in a non engineering curriculum (EAB, WLH, MW), pp. 48–52.
ITiCSEITiCSE-2011-LangeFL
An update on the use of community-based non-profit organizations in capstone projects (DKL, RCF, PML), p. 372.
FASEFASE-2011-MassinkLBH #modelling
Modelling Non-linear Crowd Dynamics in Bio-PEPA (MM, DL, AB, JH), pp. 96–110.
FoSSaCSFoSSaCS-2011-BernadetL #complexity #normalisation
Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (AB, SL), pp. 88–107.
TACASTACAS-2011-BertrandJSK #automaton #nondeterminism #testing
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.
CSMRCSMR-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.
STOCSTOC-2011-GentryW
Separating succinct non-interactive arguments from all falsifiable assumptions (CG, DW), pp. 99–108.
STOCSTOC-2011-Goyal #constant #protocol #using
Constant round non-malleable protocols using one way functions (VG), pp. 695–704.
STOCSTOC-2011-LinP
Constant-round non-malleable commitments from any one-way function (HL, RP), pp. 705–714.
DLTDLT-2011-GusevP #on the #set
On Non-complete Sets and Restivo’s Conjecture (VVG, EVP), pp. 239–250.
ICALPICALP-v2-2011-LibertY #adaptation
Adaptively Secure Non-interactive Threshold Cryptosystems (BL, MY), pp. 588–600.
ICFPICFP-2011-UenoOO #functional #garbage collection #performance
An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.
CHICHI-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.
CHICHI-2011-SporkaFKPHM #named #predict #using
CHANTI: predictive text entry using non-verbal vocal input (AJS, TF, SHK, OP, PH, ISM), pp. 2463–2472.
HCIDUXU-v2-2011-Hofman #modelling #statistics
Range Statistics and the Exact Modeling of Discrete Non-Gaussian Distributions on Learnability Data (RH), pp. 421–430.
HCIHCI-DDA-2011-XieDDZWC
LSCM Based Non-rigid Registration for Craniofacial Surfaces (WX, FD, QD, MZ, ZW, LC), pp. 670–676.
HCIHCI-ITE-2011-TakahashiK
Eye-Movement-Based Instantaneous Cognition Model for Non-verbal Smooth Closed Figures (YT, SK), pp. 314–322.
HCIHCI-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.
AdaSIGAda-2011-EilersK #execution #testing
Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.
ICEISICEIS-v1-2011-BiniLSSA #algorithm
Non-exhaustive Join Ordering Search Algorithms for LJQO (TAB, AL, MSS, FS, ECdA), pp. 151–156.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2011-GonzalezML #design
A Model for Designing Non Cooperative Supply Chain Where Logistics Service Providers Take Part (EDRSG, GRM, HPLL), pp. 409–417.
ICMLICML-2011-CossalterYZ #adaptation #approximate #kernel #predict #scalability
Adaptive Kernel Approximation for Large-Scale Non-Linear SVM Prediction (MC, RY, LZ), pp. 409–416.
ICMLICML-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.
KDDKDD-2011-HsiehD #coordination #matrix #performance
Fast coordinate descent methods with variable selection for non-negative matrix factorization (CJH, ISD), pp. 1064–1072.
KDIRKDIR-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.
MLDMMLDM-2011-ChenER #mining #parametricity #using
Mining Spatial Trajectories Using Non-parametric Density Functions (CSC, CFE, NJR), pp. 496–510.
SEKESEKE-2011-Krishna #approach #non-functional #process #requirements #uml
A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.
SEKESEKE-2011-LiuZH11a #classification #empirical #non-functional #requirements
An Empirical Study on Classification of Non-Functional Requirements (SL, RZ, XH), pp. 444–449.
SEKESEKE-2011-VillegasS #non-functional #requirements
Mapping non-functional requirements to cloud applications (DV, SMS), pp. 527–532.
QAPLQAPL-2011-AssouramouD #analysis #hybrid #probability
Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.
RERE-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.
SACSAC-2011-AccorsiW #modelling #workflow
Strong non-leak guarantees for workflow models (RA, CW), pp. 308–314.
SACSAC-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.
SACSAC-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.
ICSEICSE-2011-KawrykowR #version control
Non-essential changes in version histories (DK, MPR), pp. 351–360.
ICSEICSE-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.
SPLCSPLC-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.
SPLCSPLC-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.
ASPLOSASPLOS-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.
HPCAHPCA-2011-SmullenMNGS #energy #performance
Relaxing non-volatility for fast and energy-efficient STT-RAM caches (CWSI, VM, AN, SG, MRS), pp. 50–61.
HPCAHPCA-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.
CADECADE-2011-HoderV #reasoning #scalability
Sine Qua Non for Large Theory Reasoning (KH, AV), pp. 299–314.
CADECADE-2011-Horbach #horn clause #set
Predicate Completion for non-Horn Clause Sets (MH), pp. 315–330.
CSLCSL-2011-BeauxisM #network #semantics #standard
A Non-Standard Semantics for Kahn Networks in Continuous Time (RB, SM), pp. 35–50.
CSLCSL-2011-BernadetL #modelling #morphism #orthogonal #polymorphism
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism (AB, SL), pp. 51–66.
CSLCSL-2011-Eickmeyer #first-order #logic #random
Non-Definability Results for Randomised First-Order Logic (KE), pp. 218–232.
CSLCSL-2011-TatsutaB #commutative
Non-Commutative Infinitary Peano Arithmetic (MT, SB), pp. 538–552.
ICLPICLP-2011-KoninckBS #constraints
Constraints in Non-Boolean Contexts (LDK, SB, PJS), pp. 117–127.
ICLPICLP-J-2011-VoetsS #analysis #integer #logic programming #source code
Non-termination analysis of logic programs with integer arithmetics (DV, DDS), pp. 521–536.
ICSTICST-2011-Bogdanov #generative #testing
Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.
ICSTICST-2011-NandaMSHO #testing
Regression testing in the presence of non-code changes (AN, SM, SS, MJH, AO), pp. 21–30.
RTARTA-2011-AotoT #confluence #proving #term rewriting
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems (TA, YT), pp. 91–106.
ICSTSAT-2011-CreignouOS #csp
Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight (NC, FO, JS), pp. 120–133.
ICSTSAT-2011-MalitskySSS #algorithm #satisfiability
Non-Model-Based Algorithm Portfolios for SAT (YM, AS, HS, MS), pp. 369–370.
VMCAIVMCAI-2011-ChadhaSV #automaton #probability
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds (RC, APS, MV), pp. 103–117.
ECSAECSA-2010-BerniniT #architecture
Explaining Architectural Choices to Non-architects (DB, FT), pp. 352–359.
CASECASE-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.
DACDAC-2010-GuthausWR #linear #optimisation #programming
Non-uniform clock mesh optimization with linear programming buffer insertion (MRG, GW, RR), pp. 74–79.
DACDAC-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.
DATEDATE-2010-BolteSBNB #using
Non-intrusive virtualization management using libvirt (MB, MS, GB, ON, AB), pp. 574–579.
DATEDATE-2010-ChenABF #monitoring #using
Non-invasive blood oxygen saturation monitoring for neonates using reflectance pulse oximeter (WC, IA, SBO, LMGF), pp. 1530–1535.
DATEDATE-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.
DATEDATE-2010-RoxE #correlation
Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks (JR, RE), pp. 226–231.
DATEDATE-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.
SIGMODSIGMOD-2010-ChenGN #named #statistics
PR-join: a non-blocking join achieving higher early result rate with statistical guarantees (SC, PBG, SN), pp. 147–158.
SIGMODSIGMOD-2010-WongMC #privacy
Non-homogeneous generalization in privacy preserving data publishing (WKW, NM, DWLC), pp. 747–758.
VLDBVLDB-2010-PD #metric #performance #retrieval #similarity
Efficient RkNN Retrieval with Arbitrary Non-Metric Similarity Measures (DP, PD), pp. 1243–1254.
VLDBVLDB-2011-MeliouGMS #complexity #query
The Complexity of Causality and Responsibility for Query Answers and non-Answers (AM, WG, KFM, DS), pp. 34–45.
ICPCICPC-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.
PEPMPEPM-2010-RiescoR #nondeterminism #programming
Programming with singular and plural non-deterministic functions (AR, JRH), pp. 83–92.
SASSAS-2010-CheriniRB #analysis #data type
A Shape Analysis for Non-linear Data Structures (RC, LR, JOB), pp. 201–217.
SASSAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
STOCSTOC-2010-HrubesWY #commutative #problem
Non-commutative circuits and the sum-of-squares problem (PH, AW, AY), pp. 667–676.
AFLAFL-J-2008-KaminskiZ10 #automaton #nondeterminism
Finite-Memory Automata with Non-Deterministic Reassignment (MK, DZ), pp. 741–760.
DLTDLT-J-2008-Ada10 #communication #complexity #nondeterminism #on the #regular expression
On the Non-Deterministic Communication Complexity of Regular Languages (AA), pp. 479–493.
DLTDLT-2010-PorrecaLZ #on the
On a Powerful Class of Non-universal P Systems with Active Membranes (AEP, AL, CZ), pp. 364–375.
ICALPICALP-v1-2010-Cheraghchi #adaptation #testing
Improved Constructions for Non-adaptive Threshold Group Testing (MC), pp. 552–564.
ICALPICALP-v1-2010-LibertY #encryption #performance
Efficient Completely Non-malleable Public Key Encryption (BL, MY), pp. 127–139.
ICALPICALP-v1-2010-RubinfeldX #independence #testing
Testing Non-uniform k-Wise Independent Distributions over Product Spaces (RR, NX), pp. 565–581.
LATALATA-2010-Neary #bound
A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems (TN), pp. 475–487.
LATALATA-2010-Penaloza #reasoning #standard #using
Using Sums-of-Products for Non-standard Reasoning (RP), pp. 488–499.
SEFMSEFM-2010-DanHC
Non-local Choice and Implied Scenarios (HD, RMH, SC), pp. 53–62.
IFLIFL-2010-HerhutJSPG #case study #concurrent #experience
Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences (SH, CJ, SBS, RP, CG), pp. 185–202.
CHICHI-2010-McGookinRB #graph #interactive #using
Clutching at straws: using tangible interaction to provide non-visual access to graphs (DKM, ER, SAB), pp. 1715–1724.
CHICHI-2010-OHara
Interactivity and non-interactivity on tabletops (KO), pp. 2611–2614.
CHICHI-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.
CHICHI-2010-YuM #readability #web
Enhancing web page readability for non-native readers (CHY, RCM), pp. 2523–2532.
ICEISICEIS-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.
ICEISICEIS-DISI-2010-Duin #pattern matching #pattern recognition #problem #recognition
Pattern Recognition as a Human Centered non-Euclidean Problem (RPWD), p. 5.
ICEISICEIS-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.
ICEISICEIS-J-2010-Duin10a #pattern matching #pattern recognition #problem #recognition
Non-Euclidean Problems in Pattern Recognition Related to Human Expert Knowledge (RPWD), pp. 15–28.
CIKMCIKM-2010-ChiZ #framework #information management #named
FacetCube: a framework of incorporating prior knowledge into non-negative tensor factorization (YC, SZ), pp. 569–578.
ICMLICML-2010-NiuDJ #clustering #multi
Multiple Non-Redundant Spectral Clustering Views (DN, JGD, MIJ), pp. 831–838.
ICMLICML-2010-VickreyLK
Non-Local Contrastive Objectives (DV, CCYL, DK), pp. 1103–1110.
ICPRICPR-2010-AdluruTWD #re-engineering #using
Improving Undersampled MRI Reconstruction Using Non-local Means (GA, TT, RTW, EVRDB), pp. 4000–4003.
ICPRICPR-2010-BushraOEO #detection #linear
QRS Complex Detection by Non Linear Thresholding of Modulus Maxima (BJ, OB, EF, OL), pp. 4500–4503.
ICPRICPR-2010-DitzlerPC #algorithm #incremental #learning
An Incremental Learning Algorithm for Non-stationary Environments and Class Imbalance (GD, RP, NVC), pp. 2997–3000.
ICPRICPR-2010-Hillenbrand #3d #parametricity
Non-parametric 3D Shape Warping (UH), pp. 2656–2659.
ICPRICPR-2010-HuangCWC #modelling #probability
Probabilistic Modeling of Dynamic Traffic Flow across Non-overlapping Camera Views (CH, WcC, SJW, JHC), pp. 3332–3335.
ICPRICPR-2010-JammalamadakaJKM #matrix #using
Discriminative Basis Selection Using Non-negative Matrix Factorization (AJ, SJ, SK, BSM), pp. 1533–1536.
ICPRICPR-2010-JokoKY #learning #linear #modelling
Learning Non-linear Dynamical Systems by Alignment of Local Linear Models (MJ, YK, TY), pp. 1084–1087.
ICPRICPR-2010-LathenCKB #detection #linear #robust
Non-ring Filters for Robust Detection of Linear Structures (GL, OC, HK, MB), pp. 233–236.
ICPRICPR-2010-MalakutiA #monitoring #towards
Towards an Intelligent Bed Sensor: Non-intrusive Monitoring of Sleep Irregularities with Computer Vision Techniques (KM, ABA), pp. 4004–4007.
ICPRICPR-2010-RajgopalanRRM #automation #editing #video
Keyframe-Guided Automatic Non-linear Video Editing (VR, AR, RR, SPM), pp. 3236–3239.
ICPRICPR-2010-RantosonSFM #3d #metric #using
Non Contact 3D Measurement Scheme for Transparent Objects Using UV Structured light (RR, CS, DF, FM), pp. 1646–1649.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2010-SethP #independence #parametricity
A Test of Granger Non-causality Based on Nonparametric Conditional Independence (SS, JCP), pp. 2620–2623.
ICPRICPR-2010-SunHL #data-driven #detection
Data-Driven Foreground Object Detection from a Non-stationary Camera (SWS, FH, HYML), pp. 3053–3056.
ICPRICPR-2010-WangT #image
Non-rigid Image Registration for Historical Manuscript Restoration (JW, CLT), pp. 2274–2277.
ICPRICPR-2010-WanS #geometry #multi
Multiple View Geometry for Non-rigid Motions Viewed from Curvilinear Motion Projective Cameras (CW, JS), pp. 181–184.
ICPRICPR-2010-WatanabeNKI #estimation #using
Estimation of Non-rigid Surface Deformation Using Developable Surface Model (YW, TN, TK, MI), pp. 197–200.
ICPRICPR-2010-WoodardPMJR #on the
On the Fusion of Periocular and Iris Biometrics in Non-ideal Imagery (DLW, SJP, PEM, RRJ, AR), pp. 201–204.
ICPRICPR-2010-WuW #estimation #evaluation #nondeterminism
A Comprehensive Evaluation on Non-deterministic Motion Estimation (CW, QW), pp. 2333–2336.
ICPRICPR-2010-XuHW #similarity #using
Rectifying Non-Euclidean Similarity Data Using Ricci Flow Embedding (WX, ERH, RCW), pp. 3324–3327.
ICPRICPR-2010-YamanakaSS #adaptation #image #using
Adaptive Image Projection onto Non-planar Screen Using Projector-Camera Systems (TY, FS, JS), pp. 307–310.
ICPRICPR-2010-YamashitaSS #3d
Recovering 3D Shape and Light Source Positions from Non-planar Shadows (YY, FS, JS), pp. 1775–1778.
ICPRICPR-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.
KDDKDD-2010-DangB #clustering #linear
A hierarchical information theoretic technique for the discovery of non linear alternative clusterings (XHD, JB), pp. 573–582.
KDDKDD-2010-HossainTWDHR #clustering
Unifying dependent clustering and disparate clustering for non-homogeneous data (MSH, ST, LTW, ID, RFH, NR), pp. 593–602.
SEKESEKE-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.
SIGIRSIGIR-2010-WangDL #comprehension #documentation #matrix #set
Feature subset non-negative matrix factorization and its applications to document understanding (DW, CHQD, TL), pp. 805–806.
SIGIRSIGIR-2010-WanLX #named #summary
EUSUM: extracting easy-to-understand english summaries for non-native readers (XW, HL, JX), pp. 491–498.
ICMTICMT-2010-KolovosRMPPF #navigation
Constructing and Navigating Non-invasive Model Decorations (DSK, LMR, NDM, RFP, FACP, KJF), pp. 138–152.
MODELSMoDELS-v2-2010-PriegoIR #modelling
Modeling Issues: a Survival Guide for a Non-expert Modeler (ERP, FJGI, ALR), pp. 361–375.
OOPSLAOOPSLA-2010-OgataMKTO #case study #java #memory management
A study of Java’s non-Java memory (KO, DM, KK, ST, TO), pp. 191–204.
LOPSTRLOPSTR-2010-VoetsS #analysis #logic programming #source code #using
Non-termination Analysis of Logic Programs Using Types (DV, DDS), pp. 133–148.
RERE-2010-AmellerFC #development #modelling #non-functional #requirements
Dealing with Non-Functional Requirements in Model-Driven Development (DA, XF, JC), pp. 189–198.
REFSQREFSQ-2010-AmellerF #architecture #bibliography #how #non-functional #requirements
How Do Software Architects Consider Non-Functional Requirements: A Survey (DA, XF), pp. 276–277.
SACSAC-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.
SACSAC-2010-GongWWLZY #using
Recognizing affect from non-stylized body motion using shape of Gaussian descriptors (LG, TW, CW, FL, FZ, XY), pp. 1203–1206.
SACSAC-2010-IndermuhleBSB #documentation #online
Text versus non-text distinction in online handwritten documents (EI, HB, FS, TMB), pp. 3–7.
SACSAC-2010-MairizaZN #non-functional #requirements
An investigation into the notion of non-functional requirements (DM, DZ, NN), pp. 311–317.
SACSAC-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.
SPLCSPLC-2010-Nakajima #automation #diagrams #encoding #feature model
Non-clausal Encoding of Feature Diagram for Automated Diagnosis (SN), pp. 420–424.
HPCAHPCA-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.
HPCAHPCA-2010-MerinoPG #adaptation #architecture #low cost #named
ESP-NUCA: A low-cost adaptive Non-Uniform Cache Architecture (JM, VP, JÁG), pp. 1–10.
OSDIOSDI-2010-KushmanK #automation #independence
Enabling Configuration-Independent Automation by Non-Expert Users (NK, DK), pp. 223–236.
ICLPICLP-J-2010-OetschPT #debugging #source code
Catching the Ouroboros: On debugging non-ground answer-set programs (JO, JP, HT), pp. 513–529.
RTARTA-2010-AppelOS #composition #higher-order
Higher-Order (Non-)Modularity (CA, VvO, JGS), pp. 17–32.
ICSTSAT-2010-BoufkhadH #bound #satisfiability
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (YB, TH), pp. 99–112.
ICSTSAT-2010-KlieberSGC #learning
A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.
CASECASE-2009-AllenGT #logic #nondeterminism #verification
Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.
CASECASE-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.
DACDAC-2009-ChauhanGHMS #equivalence
Non-cycle-accurate sequential equivalence checking (PC, DG, GH, AM, NS), pp. 460–465.
DACDAC-2009-JainC #graph #performance #satisfiability #using
Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts (HJ, EMC), pp. 563–568.
DACDAC-2009-ShankarL #multi #profiling
Non-intrusive dynamic application profiling for multitasked applications (KS, RLL), pp. 130–135.
DACDAC-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.
DACDAC-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.
DATEDATE-2009-DabiriVPS #energy #realtime
Energy minimization for real-time systems with non-convex and discrete operation modes (FD, AV, MP, MS), pp. 1416–1421.
DATEDATE-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.
DATEDATE-2009-LombardiMB #clustering #manycore #realtime #robust #scheduling
Robust non-preemptive hard real-time scheduling for clustered multicore platforms (ML, MM, LB), pp. 803–808.
DATEDATE-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.
DATEDATE-2009-RobertsKM #energy #memory management #using
Using non-volatile memory to save energy in servers (DR, TK, TNM), pp. 743–748.
DATEDATE-2009-ViehlPBR #analysis #performance #scheduling
White box performance analysis considering static non-preemptive software scheduling (AV, MP, OB, WR), pp. 513–518.
DATEDATE-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.
ICDARICDAR-2009-FerilliBEB #analysis #layout
A Distance-Based Technique for Non-Manhattan Layout Analysis (SF, MB, FE, TMAB), pp. 231–235.
ICDARICDAR-2009-Likforman-SulemDS #documentation #preprocessor
Pre-Processing of Degraded Printed Documents by Non-local Means and Total Variation (LLS, JD, EHBS), pp. 758–762.
VLDBVLDB-2009-ZhangOPT #similarity #towards
Similarity Search on Bregman Divergence: Towards Non-Metric Indexing (ZZ, BCO, SP, AKHT), pp. 13–24.
ESOPESOP-2009-Sumii #for free #formal method #memory management
A Theory of Non-monotone Memory (Or: Contexts for free) (ES), pp. 237–251.
FASEFASE-2009-RajamaniJPR #mobile #network #nondeterminism #query
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks (VR, CJ, JP, GCR), pp. 401–416.
TACASTACAS-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.
PEPMPEPM-2009-Lopez-FraguasRS #flexibility #framework #nondeterminism #programming
A flexible framework for programming with non-deterministic functions (FJLF, JRH, JSH), pp. 91–100.
STOCSTOC-2009-DodisW #encryption #symmetry
Non-malleable extractors and symmetric key cryptography from weak secrets (YD, DW), pp. 601–610.
STOCSTOC-2009-LeeMNS #constraints
Non-monotone submodular maximization under matroid and knapsack constraints (JL, VSM, VN, MS), pp. 323–332.
STOCSTOC-2009-LinP
Non-malleability amplification (HL, RP), pp. 189–198.
STOCSTOC-2009-LinPV #concurrent #framework #security
A unified framework for concurrent security: universal composability from stand-alone non-malleability (HL, RP, MV), pp. 179–188.
LATALATA-2009-BehleKR
Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG] (CB, AK, SR), pp. 129–140.
LATALATA-2009-CattaneoDFP #automaton
Non-uniform Cellular Automata (GC, AD, EF, JP), pp. 302–313.
CEFPCEFP-2009-Divianszky #modelling
Non-monadic Models of Mutable References (PD), pp. 146–182.
ICFPICFP-2009-FischerKS #functional #lazy evaluation #nondeterminism #programming
Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.
ICFPICFP-2009-NeisDR #parametricity
Non-parametric parametricity (GN, DD, AR), pp. 135–148.
CHICHI-2009-BighamC #interface
Evaluating existing audio CAPTCHAs and an interface optimized for non-visual use (JPB, AC), pp. 1829–1838.
CHICHI-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.
CHICHI-2009-MedhiGT #comparison #mobile
A comparison of mobile money-transfer UIs for non-literate and semi-literate users (IM, SNNG, KT), pp. 1741–1750.
CHICHI-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.
HCIDHM-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.
HCIDHM-2009-ThomasDAS #evaluation #personalisation
Non-intrusive Personalized Mental Workload Evaluation for Exercise Intensity Measure (NLT, YD, TA, JHS), pp. 315–322.
HCIHCI-AUII-2009-WeissKWMF #comparison
Comparison of Different Talking Heads in Non-Interactive Settings (BW, CK, IW, SM, SF), pp. 349–357.
HCIHCI-NIMT-2009-BazarganF #3d #geometry #representation #specification
Specifying the Representation of Non-geometric Information in 3D Virtual Environments (KB, GF), pp. 773–782.
HCIHCI-NIMT-2009-OkitaNS #communication #using
Non-verbal Communication System Using Pictograms (MO, YN, HS), pp. 720–724.
HCIHIMI-II-2009-KushiroKNI #behaviour #health #monitoring
Non-intrusive Human Behavior Monitoring Sensor for Health Care System (NK, MK, MN, YI), pp. 549–558.
HCIIDGD-2009-EngleF #metric #multi #scalability #using
Rescaling Non-metric Data to Metric Data Using Multi-Dimensional Scaling (KME, GAF), pp. 245–253.
HCIOCSC-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.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2009-AchananuparpYC #using
Using negative voting to diversify answers in non-factoid question answering (PA, CCY, XC), pp. 1681–1684.
CIKMCIKM-2009-BhowmickDLN #evaluation #towards #xpath
Towards non-directional Xpath evaluation in a RDBMS (SSB, CED, EL, ZN), pp. 1501–1504.
ECIRECIR-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.
ICMLICML-2009-LawrenceU #matrix #process
Non-linear matrix factorization with Gaussian processes (NDL, RU), pp. 601–608.
ICMLICML-2009-Tillman #distributed #independence #learning
Structure learning with independent non-identically distributed data (RET), pp. 1041–1048.
ICMLICML-2009-XuJYLK #feature model
Non-monotonic feature selection (ZX, RJ, JY, MRL, IK), pp. 1145–1152.
ICMLICML-2009-ZhangSFD #learning
Learning non-redundant codebooks for classifying complex objects (WZ, AS, XF, TGD), pp. 1241–1248.
ICMLICML-2009-ZhouSL #learning #multi
Multi-instance learning by treating instances as non-I.I.D. samples (ZHZ, YYS, YFL), pp. 1249–1256.
ICMLICML-2009-ZhuangTH #kernel #learning #named #parametricity
SimpleNPKL: simple non-parametric kernel learning (JZ, IWT, SCHH), pp. 1273–1280.
KDDKDD-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.
KDIRKDIR-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.
KEODKEOD-2009-Hufflen #component #framework #non-functional #using
A Framework for Managing Components using Non-functional Properties (JMH), pp. 460–463.
MLDMMLDM-2009-CzarnowskiJ #clustering #distributed
Agent-Based Non-distributed and Distributed Clustering (IC, PJ), pp. 347–360.
MLDMMLDM-2009-LoglisciM #mining #multi
Mining Multiple Level Non-redundant Association Rules through Two-Fold Pruning of Redundancies (CL, DM), pp. 251–265.
RecSysRecSys-2009-MarlinZ #collaboration #predict #ranking
Collaborative prediction and ranking with non-random missing data (BMM, RSZ), pp. 5–12.
SEKESEKE-2009-SoriaMSDH #estimation #modelling
Software Project Effort Estimation Non Lineal Mathematical Models (PRS, BMH, MFdS, MJDA, MAH), pp. 619–624.
SEKESEKE-2009-ZhangLSDCL #scalability #verification
Formal Verification of Scalable NonZero Indicators (SJZ, YL, JS, JSD, WC, YAL), pp. 406–411.
SIGIRSIGIR-2009-SunQTW #learning #metric #rank #ranking #robust
Robust sparse rank learning for non-smooth ranking measures (ZS, TQ, QT, JW), pp. 259–266.
GPCEGPCE-2009-KuhlemannBK #composition
Safe composition of non-monotonic features (MK, DSB, CK), pp. 177–186.
QAPLQAPL-2009-MuraPPR #markov
Exploiting non-Markovian Bio-Processes (IM, DP, CP, AR), pp. 83–98.
POPLPOPL-2009-GotsmanCPV #algorithm #proving
Proving that non-blocking algorithms don’t block (AG, BC, MJP, VV), pp. 16–28.
RERE-2009-GhezziT #non-functional #reasoning #requirements
Reasoning on Non-Functional Requirements for Integrated Services (CG, GT), pp. 69–78.
REFSQREFSQ-2009-MarholdRSD #experience #non-functional #requirements
Clarifying Non-functional Requirements to Improve User Acceptance — Experience at Siemens (CM, CR, CS, JD), pp. 139–146.
SACSAC-2009-ChoudhuriG #embedded #named #nondeterminism
FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
SACSAC-2009-LiuLC #2d #mobile
Two-dimensional non-photorealistic drawings on mobile devices (DSML, CHL, CIC), pp. 1843–1844.
ESEC-FSEESEC-FSE-2009-PaveseBU #analysis #behaviour #modelling #probability
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models (EP, VAB, SU), pp. 335–344.
CGOCGO-2009-YuGS #fault tolerance #named
ESoftCheck: Removal of Non-vital Checks for Fault Tolerance (JY, MJG, MS), pp. 35–46.
CADECADE-2009-BorrallerasLNRR #linear #polynomial #satisfiability
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic (CB, SL, RNM, ERC, AR), pp. 294–305.
CSLCSL-2009-Tatsuta #calculus #commutative #first-order
Non-Commutative First-Order Sequent Calculus (MT), pp. 470–484.
ICLPICLP-2009-ChristiansenG
Non-discriminating Arguments and Their Uses (HC, JPG), pp. 55–69.
ICLPICLP-2009-Voets #analysis #logic programming #research #source code #summary
Research Summary: Non-termination Analysis of Logic Programs (DV), pp. 553–554.
ICLPICLP-2009-VoetsS #analysis #approach #logic programming #source code
A New Approach to Non-termination Analysis of Logic Programs (DV, DDS), pp. 220–234.
ICSTICST-2009-HillTES #component #distributed #non-functional #testing
Unit Testing Non-functional Concerns of Component-based Distributed Systems (JHH, HAT, JRE, DCS), pp. 406–415.
LICSLICS-2009-CreusGMT #normalisation #term rewriting
Non-linear Rewrite Closure and Weak Normalization (CC, GG, FM, AT), pp. 365–374.
MBTMBT-2009-SchumannSH #graph #nondeterminism #testing #using
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (AS, MS, JH), pp. 87–99.
VMCAIVMCAI-2009-MightM #abstract interpretation #nondeterminism
A PosterioriSoundness for Non-deterministic Abstract Interpretations (MM, PM), pp. 260–274.
ECSAECSA-2008-BernardoB #algebra #architecture #process
Non-synchronous Communications in Process Algebraic Architectural Description Languages (MB, EB), pp. 3–18.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-2008-ChoudhuryM #approximate #concurrent #detection #fault #logic
Approximate logic circuits for low overhead, non-intrusive concurrent error detection (MRC, KM), pp. 903–908.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2008-StratigopoulosTM #estimation #parametricity
A General Method to Evaluate RF BIST Techniques Based on Non-parametric Density Estimation (HGDS, JT, SM), pp. 68–73.
VLDBVLDB-2008-HuangCDN #on the #query
On the provenance of non-answers to queries over extracted data (JH, TC, AD, JFN), pp. 736–747.
VLDBVLDB-2008-PerlmanBK
Organizing and indexing non-convex regions (EAP, RCB, MMK), pp. 1500–1503.
VLDBVLDB-2008-ZhangPWN #correlation #higher-order #mining
Mining non-redundant high order correlations in binary data (XZ, FP, WW, ABN), pp. 1178–1188.
ITiCSEITiCSE-2008-Goelman #collaboration #database #learning
Databases, non-majors and collaborative learning: a ternary relationships (DG), pp. 27–31.
ESOPESOP-2008-Allamigeon #abstraction #array
Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.
FASEFASE-2008-AlrajehRU #behaviour #modelling #using
Deriving Non-zeno Behavior Models from Goal Models Using ILP (DA, AR, SU), pp. 1–15.
FoSSaCSFoSSaCS-2008-SelingerV #call-by #λ-calculus
A Linear-non-Linear Model for a Computational Call-by-Value λ Calculus (Extended Abstract) (PS, BV), pp. 81–96.
ICSMEICSM-2008-SilvaDV #robust
Non-invasive and non-scattered annotations for more robust pointcuts (LS, SD, MTdOV), pp. 67–76.
PASTEPASTE-2008-Hubert #bytecode #java
A non-null annotation inferencer for Java bytecode (LH), pp. 36–42.
SCAMSCAM-2008-Krinke #question
Is Cloned Code More Stable than Non-cloned Code? (JK), pp. 57–66.
STOCSTOC-2008-BlumLR #approach #database #learning #privacy
A learning theory approach to non-interactive database privacy (AB, KL, AR), pp. 609–618.
DLTDLT-J-2007-Freivalds08 #automaton #finite #probability
Non-Constructive Methods for Finite Probabilistic Automata (RF), pp. 565–580.
DLTDLT-J-2007-Jez08 #boolean grammar
Conjunctive Grammars Generate Non-Regular Unary Languages (AJ), pp. 597–615.
AFLAFL-2008-Cruz-ReyesK #automaton
Non-Linear Subband Coding with Cellular Automata (CCR, JK), pp. 146–157.
AFLAFL-2008-KaminskiZ #automaton #nondeterminism
Extending finite-memory automata with non-deterministic reassignment (Extended abstract) (MK, DZ), pp. 195–207.
DLTDLT-2008-Ada #communication #complexity #nondeterminism #on the #regular expression
On the Non-deterministic Communication Complexity of Regular Languages (AA), pp. 96–107.
ICALPICALP-A-2008-PoratR #adaptation #combinator #testing
Explicit Non-adaptive Combinatorial Group Testing Schemes (EP, AR), pp. 748–759.
ICALPICALP-B-2008-BodirskyG #complexity #constraints
Non-dichotomies in Constraint Satisfaction Complexity (MB, MG), pp. 184–196.
ICALPICALP-B-2008-ColcombetL #automaton #nondeterminism
The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (TC, CL), pp. 398–409.
ICALPICALP-B-2008-Jurdzinski #recursion
Leftist Grammars Are Non-primitive Recursive (TJ), pp. 51–62.
ICALPICALP-C-2008-OstrovskyPV #concurrent
Constant-Round Concurrent Non-malleable Zero Knowledge in the Bare Public-Key Model (RO, GP, IV), pp. 548–559.
ICALPICALP-C-2008-ShrimptonS
Building a Collision-Resistant Compression Function from Non-compressing Primitives (TS, MS), pp. 643–654.
GT-VMTGT-VMT-2008-LambersET #sequence
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).
ICGTICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process
Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.
CSCWCSCW-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.
CSCWCSCW-2008-SinghT #interactive
The confusion of crowds: non-dyadic help interactions (VS, MBT), pp. 699–702.
EDOCEDOC-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.
ICEISICEIS-HCI-2008-LucaB #design #implementation #navigation #recommendation
Microformats Based Navigation Assistant — A Non-intrusive Recommender Agent: Design and Implementation (APL, SCB), pp. 54–61.
ICEISICEIS-J-2008-Tarkkanen08a #modelling #process
Business Process Modeling for Non-uniform Work (KT), pp. 188–200.
CIKMCIKM-2008-BalogR
Non-local evidence for expert finding (KB, MdR), pp. 489–498.
CIKMCIKM-2008-ShawXG #approximate #dataset
Deriving non-redundant approximate association rules from hierarchical datasets (GS, YX, SG), pp. 1451–1452.
CIKMCIKM-2008-ZhuSYW #process #query #question
Can phrase indexing help to process non-phrase queries? (MZ, SS, NY, JRW), pp. 679–688.
ICMLICML-2008-HyvarinenSH #modelling
Causal modelling combining instantaneous and lagged effects: an identifiable model based on non-Gaussianity (AH, SS, POH), pp. 424–431.
ICMLICML-2008-KerstingD #parametricity #policy #relational
Non-parametric policy gradients: a unified treatment of propositional and relational domains (KK, KD), pp. 456–463.
ICMLICML-2008-SiggB
Expectation-maximization for sparse and non-negative PCA (CDS, JMB), pp. 960–967.
ICMLICML-2008-YuVGS #approach #optimisation
A quasi-Newton approach to non-smooth convex optimization (JY, SVNV, SG, NNS), pp. 1216–1223.
ICPRICPR-2008-AshrafF #robust
Robust auto-calibration of a PTZ camera with non-overlapping FOV (NA, HF), pp. 1–4.
ICPRICPR-2008-BellaviaTV #detection #parametricity
A non-parametric scale-based corner detector (FB, DT, CV), pp. 1–4.
ICPRICPR-2008-GurS #detection #invariant
Non-Abelian invariant feature detection (YG, NAS), pp. 1–4.
ICPRICPR-2008-HidakaK #feature model #optimisation #using
Non-Neighboring Rectangular Feature selection using Particle Swarm Optimization (AH, TK), pp. 1–4.
ICPRICPR-2008-HuZYWTH #case study #recognition
A study of non-frontal-view facial expressions recognition (YH, ZZ, LY, XW, JT, TSH), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-KooKC #image
Non-rigid image registration based on the globally optimized correspondences (HIK, JGK, NIC), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-OikeWW #adaptation #clustering
Adaptive selection of non-target cluster centers for K-means tracker (HO, HW, TW), pp. 1–4.
ICPRICPR-2008-SezerMAC #detection #markov #named
NorMaL: Non-compact Markovian Likelihood for change detection (OGS, JLM, YA, DBC), pp. 1–4.
KDDKDD-2008-ChakrabartiKSB #learning #ranking
Structured learning for non-smooth ranking losses (SC, RK, US, CB), pp. 88–96.
KDDKDD-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.
KRKR-2008-Balbiani #analysis #reasoning #representation #standard
Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis (PB), pp. 695–704.
KRKR-2008-ClassenL #logic #source code
A Logic for Non-Terminating Golog Programs (JC, GL), pp. 589–599.
SEKESEKE-2008-AfzalTF #non-functional #search-based #testing
A Systematic Mapping Study on Non-Functional Search-based Software Testing (WA, RT, RF), pp. 488–493.
SEKESEKE-2008-JanesSS #identification #process
Non-invasive Software Process Data Collection for Expert Identification (AJ, AS, GS), pp. 191–196.
SIGIRSIGIR-2008-Al-MaskariSC
Relevance judgments between TREC and Non-TREC assessors (AAM, MS, PDC), pp. 683–684.
SIGIRSIGIR-2008-Diaz #retrieval
A method for transferring retrieval scores between collections with non-overlapping vocabularies (FDD), pp. 805–806.
SIGIRSIGIR-2008-ElgersmaR #classification
Personal vs non-personal blogs: initial classification experiments (EE, MdR), pp. 723–724.
SIGIRSIGIR-2008-PengL #analysis #evolution #topic #using
Author-topic evolution analysis using three-way non-negative Paratucker (WP, TL), pp. 819–820.
SIGIRSIGIR-2008-Thomas #multi
Generalising multiple capture-recapture to non-uniform sample sizes (PT), pp. 839–840.
POPLPOPL-2008-GuptaHMRX #proving
Proving non-termination (AG, TAH, RM, AR, RGX), pp. 147–158.
SACSAC-2008-DennyM #lr #parsing
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 240–245.
SACSAC-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.
SACSAC-2008-RoyS #data flow #problem
Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.
SACSAC-2008-ShiguemoriVS #approach #network #retrieval
Atmospheric temperature retrieval from satellite data: new non-extensive artificial neural network approach (EHS, HFdCV, JDSdS), pp. 1688–1692.
SACSAC-2008-WebberS
Self and non-self discrimination agents (CGW, JLTdS), pp. 1987–1988.
CCCC-2008-MalePPD #bytecode #java #verification
Java Bytecode Verification for @NonNull Types (CM, DJP, AP, CD), pp. 229–244.
CAVCAV-2008-CohenPZ #memory management #transaction #verification
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (AC, AP, LDZ), pp. 121–134.
CSLCSL-2008-CreignouSS #constraints #problem
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (NC, HS, IS), pp. 109–123.
CSLCSL-2008-HodkinsonMS #axiom #logic
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (IMH, AM, GS), pp. 308–322.
ICLPICLP-2008-CasasCH #implementation #independence #nondeterminism #strict
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 651–666.
ICLPICLP-2008-OetschT #semantics
Program Correspondence under the Answer-Set Semantics: The Non-ground Case (JO, HT), pp. 591–605.
ICLPICLP-2008-Parisini #constraints
Bi-dimensional Domains for the Non-overlapping Rectangles Constraint (FP), pp. 811–812.
ICLPICLP-2008-PerezR #concurrent #constraints #nondeterminism #programming
Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.
RTARTA-2008-KobayashiO #automaton
Tree Automata for Non-linear Arithmetic (NK, HO), pp. 291–305.
RTARTA-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.
RTARTA-2008-Stratulat #induction
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (SS), pp. 351–365.
ICSTSAT-2008-StachniakB #learning #satisfiability
Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning (ZS, AB), pp. 257–270.
TAPTAP-2008-VelroyenR #imperative #source code
Non-termination Checking for Imperative Programs (HV, PR), pp. 154–170.
VMCAIVMCAI-2008-AbdullaHDR
Handling Parameterized Systems with Non-atomic Global Conditions (PAA, NBH, GD, AR), pp. 22–36.
VMCAIVMCAI-2008-Cousot #abstract interpretation #semantics
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions (RC), pp. 1–3.
WICSAWICSA-2007-CortellessaMI #architecture #modelling #non-functional #validation
Non-Functional Modeling and Validation in Model-Driven Architecture (VC, ADM, PI), p. 25.
WICSAWICSA-2007-KulkarniP #architecture #enterprise #framework #functional #requirements
An Architectural Framework for Non Functional Requirements in Enterprise SOA Adoption (NNK, SP), p. 36.
ASEASE-2007-WapplerS #testing
Improving evolutionary class testing in the presence of non-public methods (SW, IS), pp. 381–384.
DACDAC-2007-ChengXH #analysis #statistics
Non-Linear Statistical Static Timing Analysis for Non-Gaussian Variation Sources (LC, JX, LH), pp. 250–255.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DATEDATE-2007-DielissenH #implementation #parallel
Non-fractional parallelism in LDPC decoder implementations (JD, AH), pp. 337–342.
DATEDATE-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.
DATEDATE-2007-SinanogluP #approach
A non-intrusive isolation approach for soft cores (OS, TP), pp. 27–32.
DATEDATE-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.
DATEDATE-2007-ZilicRK #specification
Reversible circuit technology mapping from non-reversible specifications (ZZ, KR, AK), pp. 558–563.
DocEngDocEng-2007-ChaoGW #scalability
Preserving the aesthetics during non-fixed aspect ratio scaling of the digital border (HC, PG, AW), pp. 144–146.
ICDARICDAR-2007-BertolamiUZB #recognition
Non-Uniform Slant Correction for Handwritten Text Line Recognition (RB, SU, MZ, HB), pp. 18–22.
ICDARICDAR-2007-DasariB #identification #using
Identification of Non-Black Inks Using HSV Colour Space (HD, CB), pp. 486–490.
ICDARICDAR-2007-LuongP #image #re-engineering
Non-Local Text Image Reconstruction (HQL, WP), pp. 546–550.
ICDARICDAR-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.
PODSPODS-2007-BadiaV #query
Non-linear prefixes in query languages (AB, SV), pp. 185–194.
ESOPESOP-2007-BarthePR #bytecode #java #lightweight #verification
A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.
ESOPESOP-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.
FASEFASE-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.
ICPCICPC-2007-PetterssonL #approach #design pattern #detection
A Non-conservative Approach to Software Pattern Detection (NP, WL), pp. 189–198.
STOCSTOC-2007-BravermanY #set
Constructing non-computable Julia sets (MB, MY), pp. 709–716.
CIAACIAA-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.
DLTDLT-2007-AnselmoGM #2d #nondeterminism
From Determinism to Non-determinism in Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 36–47.
DLTDLT-2007-BertoniR #monad
Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids (AB, RR), pp. 72–83.
DLTDLT-2007-Freivalds #automaton #finite #probability
Non-constructive Methods for Finite Probabilistic Automata (RF), pp. 169–180.
DLTDLT-2007-Jez #boolean grammar
Conjunctive Grammars Can Generate Non-regular Unary Languages (AJ), pp. 242–253.
ICALPICALP-2007-KapronMS
A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) (BMK, LM, SV), pp. 328–339.
LATALATA-2007-MesserschmidtO #automaton #nondeterminism #on the
On Determinism Versus Non-Determinism for Restarting Automata (HM, FO), pp. 413–424.
IFMIFM-2007-DerrickSW #proving #refinement
Proving Linearizability Via Non-atomic Refinement (JD, GS, HW), pp. 195–214.
IFMIFM-2007-Toben #communication #data type #reduction
Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.
CHICHI-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.
HCIHCI-AS-2007-SkattorBEH #framework #mobile
A Framework for Mobile Services Supporting Mobile Non-office Workers (BS, LB, TE, PH), pp. 742–751.
HCIHCI-IDU-2007-BockKLS
The Role of Task Characteristics and Organization Culture in Non-Work Related Computing (NWRC) (GWB, HHK, PL, HS), pp. 681–690.
HCIHCI-IDU-2007-DhakhwaHGMT #interface #named
Sambad — Computer Interfaces for Non-literates (SD, PAVH, GBG, PM, IT), pp. 721–730.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-HCI-2007-MuranoGH #feedback #online #user interface
Anthropomorphic vs Non-Anthropomorphic User Interface Feedback for Online Hotel Bookings (PM, AG, POH), pp. 157–163.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICMLICML-2007-DollarRB #algorithm #analysis #learning
Non-isometric manifold learning: analysis and an algorithm (PD, VR, SJB), pp. 241–248.
ICMLICML-2007-GerberTW #reduction #robust #using
Robust non-linear dimensionality reduction using successive 1-dimensional Laplacian Eigenmaps (SG, TT, RTW), pp. 281–288.
ICMLICML-2007-KropotovV #learning #on the
On one method of non-diagonal regularization in sparse Bayesian learning (DK, DV), pp. 457–464.
KDDKDD-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.
KDDKDD-2007-ShaparenkoJ #database #documentation
Information genealogy: uncovering the flow of ideas in non-hyperlinked document databases (BS, TJ), pp. 619–628.
SIGIRSIGIR-2007-HofmannS #automation
Automatic extension of non-english wordnets (KH, EFTKS), pp. 833–834.
ECOOPECOOP-2007-ChalinJ #java
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden (PC, PRJ), pp. 227–247.
POPLPOPL-2007-ParkinsonBO #composition #stack #verification
Modular verification of a non-blocking stack (MJP, RB, PWO), pp. 297–302.
RERE-2007-Glinz #non-functional #on the #requirements
On Non-Functional Requirements (MG), pp. 21–26.
RERE-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.
REFSQREFSQ-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-FSEESEC-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.
HPCAHPCA-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.
CADECADE-2007-FalkeK #dependence
Dependency Pairs for Rewriting with Non-free Constructors (SF, DK), pp. 426–442.
MBTMBT-2007-BorodayPG #model checking #nondeterminism #question #testing
Can a Model Checker Generate Tests for Non-Deterministic Systems? (SB, AP, RG), pp. 3–19.
RTARTA-2007-EchahedP #confluence #pointer #strict #term rewriting
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers (RE, NP), pp. 137–152.
ICSTSAT-2007-Kullmann #invariant #matrix #polynomial #satisfiability
Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices (OK), pp. 314–327.
CASECASE-2006-XiaoX #modelling #monitoring #process
Monitoring of batch processes with non-linear modeling methods (YX, BX), pp. 140–143.
DACDAC-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.
DACDAC-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.
DACDAC-2006-MeiR #robust
A robust envelope following method applicable to both non-autonomous and oscillatory circuits (TM, JSR), pp. 1029–1034.
DACDAC-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.
DATEDATE-2006-AbbasIA #detection
On-chip 8GHz non-periodic high-swing noise detector (MA, MI, KA), pp. 670–671.
DATEDATE-2006-AbbaspourFP #analysis #statistics
Non-gaussian statistical interconnect timing analysis (SA, HF, MP), pp. 533–538.
DATEDATE-2006-UdayakumaranB
An integrated scratch-pad allocator for affine and non-affine code (SU, RB), pp. 925–930.
DATEDATE-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.
SIGMODSIGMOD-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.
VLDBVLDB-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.
CSEETCSEET-2006-Budgen #nondeterminism #why
Why should they believe us? Determinism, non-determinism and evidence (DB), p. 4.
ITiCSEITiCSE-2006-LeidigFL #information management
The use of community-based non-profit organizations in information systems capstone projects (PML, RCF, JL), pp. 148–152.
ITiCSEITiCSE-2006-OKellyG #approach #education #learning #problem #programming
RoboCode & problem-based learning: a non-prescriptive approach to teaching programming (JO, JPG), pp. 217–221.
CSMRCSMR-2006-Boffoli #monitoring #quality
Non-Intrusive Monitoring of Software Quality (NB), pp. 319–322.
CIAACIAA-2006-PargaGR #algorithm #product line #regular expression
A Family of Algorithms for Non Deterministic Regular Languages Inference (MVdP, PG, JR), pp. 265–274.
DLTDLT-2006-Krieger #fixpoint #morphism #on the
On Critical Exponents in Fixed Points of Non-erasing Morphisms (DK), pp. 280–291.
FMFM-2006-Mostowski #java #logic #reasoning
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.
ICGTICGT-2006-JakobKS #graph grammar #specification
Non-materialized Model View Specification with Triple Graph Grammars (JJ, AK, AS), pp. 321–335.
ICGTICGT-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.
CHICHI-2006-HamzahTIH #effectiveness
Effectiveness of annotating by hand for non-alphabetical languages (MDH, ST, MI, TH), pp. 841–850.
ICEISICEIS-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.
CIKMCIKM-2006-JainZC #adaptation #clustering #data type
Adaptive non-linear clustering in data streams (AJ, ZZ, EYC), pp. 122–131.
ICMLICML-2006-BowlingMJNW #learning #policy #predict #using
Learning predictive state representations using non-blind policies (MHB, PM, MJ, JN, DFW), pp. 129–136.
ICMLICML-2006-SilvaBBE #detection #using
Dealing with non-stationary environments using context detection (BCdS, EWB, ALCB, PME), pp. 217–224.
ICPRICPR-v1-2006-AsharafM #clustering #scalability #using
Scalable non-linear Support Vector Machine using hierarchical clustering (SA, MNM), pp. 908–911.
ICPRICPR-v1-2006-WashizawaY #kernel
Non-linear Wiener filter in reproducing kernel Hilbert space (YW, YY), pp. 967–970.
ICPRICPR-v1-2006-YouZCWT #representation #using
Face Representation By Using Non-tensor Product Wavelets (XY, DZ, QC, PSPW, YYT), pp. 503–506.
ICPRICPR-v2-2006-FangQ #classification
Car/Non-Car Classification in an Informative Sample Subspace (JF, GQ), pp. 962–965.
ICPRICPR-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.
ICPRICPR-v2-2006-InoueU #2d #analysis #linear
Non-Iterative Two-Dimensional Linear Discriminant Analysis (KI, KU), pp. 540–543.
ICPRICPR-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.
ICPRICPR-v2-2006-LahdenojaALP #parametricity #symmetry
A Shape-Preserving Non-parametric Symmetry Transform (OL, EA, ML, AP), pp. 373–377.
ICPRICPR-v2-2006-SunV #detection #linear #multi #performance #using
Fast Linear Feature Detection Using Multiple Directional Non-Maximum Suppression (CS, PV), pp. 288–291.
ICPRICPR-v2-2006-YamadaS #invariant #recognition
Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints (TY, JS), pp. 990–993.
ICPRICPR-v3-2006-LapedrizaMV #gender #recognition
Gender Recognition in Non Controlled Environments (ÀL, MJMJ, JV), pp. 834–837.
ICPRICPR-v3-2006-LeoputraTL #distributed #using
Non-overlapping Distributed Tracking using Particle Filter (WSL, TT, FLL), pp. 181–185.
ICPRICPR-v3-2006-NeubeckG #performance
Efficient Non-Maximum Suppression (AN, LJVG), pp. 850–855.
ICPRICPR-v3-2006-NishiguchiIS
Laplacian Based Non-Linear Diffusion Filtering (HN, AI, TS), pp. 838–841.
ICPRICPR-v3-2006-PetterssonKB #automation #segmentation #using
Automatic Hip Bone Segmentation Using Non-Rigid Registration (JP, HK, MB), pp. 946–949.
ICPRICPR-v3-2006-ShinT #3d #generative
Triangular Mesh Generation of Octrees of Non-Convex 3D Objects (DS, TT), pp. 950–953.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v3-2006-XueTCZ #algorithm #matrix #recognition
A Modified Non-negative Matrix Factorization Algorithm for Face Recognition (YX, CST, WSC, WZ), pp. 495–498.
ICPRICPR-v4-2006-ChenB06b
Global-to-Local Non-Rigid Shape Registration (HC, BB), pp. 57–60.
ICPRICPR-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.
ICPRICPR-v4-2006-KumarJ #visual notation
Visual Servoing in Presence of Non-Rigid Motion (DSK, CVJ), pp. 655–658.
ICPRICPR-v4-2006-MohantySK #approach
A Non-Iterative Approach to Reconstruct Face Templates from Match Scores (PM, SS, RK), pp. 598–601.
ICPRICPR-v4-2006-NiuG #network #using
Recovering Non-overlapping Network Topology Using Far-field Vehicle Tracking Data (CN, EG), pp. 944–949.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v4-2006-YuanMZL #matrix #recognition #using
Ear Recognition using Improved Non-Negative Matrix Factorization (LY, ZM, YZ, KL), pp. 501–504.
KDDKDD-2006-WangM #roadmap #topic
Topics over time: a non-Markov continuous-time model of topical trends (XW, AM), pp. 424–433.
KRKR-2006-EiterFTTW #programming
Replacements in Non-Ground Answer-Set Programming (TE, MF, HT, PT, SW), pp. 340–351.
KRKR-2006-ZamanskyA #first-order #logic #nondeterminism #semantics
Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.
SIGIRSIGIR-2006-JeonCLP #framework #predict #quality
A framework to predict the quality of answers with non-textual features (JJ, WBC, JHL, SP), pp. 228–235.
SIGIRSIGIR-2006-ShokouhiZST #distributed #retrieval
Capturing collection size for distributed non-cooperative retrieval (MS, JZ, FS, SMMT), pp. 316–323.
LOPSTRLOPSTR-2006-Payet #detection #term rewriting #using
Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator (ÉP), pp. 194–209.
PPDPPPDP-2006-GnaedigK #source code
Computing constructor forms with non terminating rewrite programs (IG, HK), pp. 121–132.
PPDPPPDP-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.
RERE-2006-CarvalloFQ #component #off the shelf #requirements
Managing Non-Technical Requirements in COTS Components Selection (JPC, XF, CQ), pp. 316–321.
RERE-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.
RERE-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.
SACSAC-2006-Goldsztejn #algorithm #approximate #branch #set
A branch and prune algorithm for the approximation of non-linear AE-solution sets (AG), pp. 1650–1654.
SACSAC-2006-LesbegueriesGL #information management
Geographical information access for non-structured data (JL, MG, PL), pp. 83–89.
SACSAC-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.
SACSAC-2006-Zanardini #bytecode #java
Abstract non-interference in a fragment of Java bytecode (DZ), pp. 1822–1826.
HPCAHPCA-2006-VenkatesanHR #agile
Retention-aware placement in DRAM (RAPID): software methods for quasi-non-volatile DRAM (RKV, SH, ER), pp. 155–165.
IJCARIJCAR-2006-BeckertP #logic
Dynamic Logic with Non-rigid Functions (BB, AP), pp. 266–280.
RTARTA-2006-Aoto #equation #induction
Dealing with Non-orientable Equations in Rewriting Induction (TA), pp. 242–256.
ICSTSAT-2006-JainBC #satisfiability #using
Satisfiability Checking of Non-clausal Formulas Using General Matings (HJ, CB, EMC), pp. 75–89.
ICTSSTestCom-2006-Ipate #bound #finite #nondeterminism #sequence #state machine #testing
Bounded Sequence Testing from Non-deterministic Finite State Machines (FI), pp. 55–70.
ICTSSTestCom-2006-RosiereJP #testing
LaTe, a Non-fully Deterministic Testing Language (EdR, CJ, BP), pp. 71–86.
VMCAIVMCAI-2006-RossignoliS #compilation #detection
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.
ASEASE-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.
CASECASE-2005-HanJBL #image #metric
Edge location of cannon barrel image based on non-contact measurement of CCD (BH, HJ, HB, ZL), pp. 290–294.
DACDAC-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.
DACDAC-2005-SuhKL #architecture
Cache coherence support for non-shared bus architecture on heterogeneous MPSoCs (TS, DK, HHSL), pp. 553–558.
DACDAC-2005-WuZN #approach #estimation #parametricity
A non-parametric approach for dynamic range estimation of nonlinear systems (BW, JZ, FNN), pp. 841–844.
DACDAC-2005-ZhangCHGC #analysis #polynomial #statistics
Correlation-preserved non-gaussian statistical timing analysis with quadratic timing model (LZ, WC, YH, JAG, CCPC), pp. 83–88.
DACDAC-2005-ZhanSLPNS #analysis #statistics
Correlation-aware statistical timing analysis with non-gaussian delay distributions (YZ, AJS, XL, LTP, DN, MS), pp. 77–82.
DATEDATE-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.
DATEDATE-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.
ICDARICDAR-2005-Aradhye
A Generic Method for Determining the Up/Down Orientation of Text in Roman and Non-roman Scripts (HBA), pp. 187–191.
ICDARICDAR-2005-Sun #documentation #layout #segmentation
Page Segmentation for Manhattan and Non-Manhattan Layout Documents via Selective CRLA (HMS), pp. 116–120.
SIGMODSIGMOD-2005-ZhuH
Fossilized Index: The Linchpin of Trustworthy Non-Alterable Electronic Records (QZ, WWH), pp. 395–406.
VLDBVLDB-2005-ChengKPKT #adaptation #query
Adaptive Stream Filters for Entity-based Queries with Non-Value Tolerance (RC, BK, SP, AK, YCT), pp. 37–48.
VLDBVLDB-2005-RamanHN #parallel #query
Parallel Querying with Non-Dedicated Computers (VR, WH, IN), pp. 61–72.
FASEFASE-2005-MooijGR
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes (AJM, NG, JR), pp. 273–288.
FoSSaCSFoSSaCS-2005-CattaniSKN #nondeterminism #probability
Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
PLDIPLDI-2005-Herlihy #re-engineering #transaction
The transactional manifesto: software engineering and non-blocking synchronization (MH), p. 280.
SASSAS-2005-HuntM
The PER Model of Abstract Non-interference (SH, IM), pp. 171–185.
STOCSTOC-2005-CharikarK #design #multi #network #on the
On non-uniform multicommodity buy-at-bulk network design (MC, AK), pp. 176–182.
STOCSTOC-2005-PassR #encryption #protocol
New and improved constructions of non-malleable cryptographic protocols (RP, AR), pp. 533–542.
CIAACIAA-2005-AbdullaDKN #automaton #nondeterminism #scalability
Minimization of Non-deterministic Automata with Large Alphabets (PAA, JD, LK, MN), pp. 31–42.
CIAACIAA-2005-SudaH #algorithm #automaton #backtracking #top-down
Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment (TS, HH), pp. 294–306.
ICALPICALP-2005-EnglertW #cost analysis #modelling #order
Reordering Buffer Management for Non-uniform Cost Models (ME, MW), pp. 627–638.
ICALPICALP-2005-Fischlin
Completely Non-malleable Schemes (MF), pp. 779–790.
CHICHI-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.
AdaEuropeAdaEurope-2005-LundqvistSG #fault tolerance
Non-intrusive System Level Fault-Tolerance (KL, JS, SG), pp. 156–166.
EDOCEDOC-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.
EDOCEDOC-2005-RobinsonCS #implementation #interactive #web #web service
Implementing Fair Non-repudiable Interactions with Web Services (PR, NC, SKS), pp. 195–206.
ICEISICEIS-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.
ICEISICEIS-v2-2005-VasconcelosSLK #information management
Knowledge Management in Non-Governmental Organisations — A Partnership for the Future (JBdV, PCS, PGL, CK), pp. 17–26.
ICEISICEIS-v3-2005-SilvaC #detection #non-functional #requirements
Functional and Non-Functional Application Software Requirements: Early Conflict Detection (PSMS, LC), pp. 343–348.
CIKMCIKM-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.
ICMLICML-2005-ShashuaH #statistics
Non-negative tensor factorization with applications to statistics and computer vision (AS, TH), pp. 792–799.
ICMLICML-2005-ZienC #scalability
Large margin non-linear embedding (AZ, JQC), pp. 1060–1067.
KDDKDD-2005-GondekH #clustering
Non-redundant clustering with conditional ensembles (DG, TH), pp. 70–77.
KDDKDD-2005-GuhaH #data type #fault
Wavelet synopsis for data streams: minimizing non-euclidean error (SG, BH), pp. 88–97.
OOPSLAOOPSLA-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.
QAPLQAPL-2004-LanotteMT05 #analysis #automation #protocol
Automatic Analysis of a Non-Repudiation Protocol (RL, AMS, AT), pp. 113–129.
LOPSTRLOPSTR-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.
RERE-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.
SACSAC-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.
SACSAC-2005-JayadevaprakashMP #generative #graph #transitive #using
Generating association graphs of non-cooccurring text objects using transitive methods (NJ, SM, MJP), pp. 141–145.
ICSEICSE-2005-Cleland-HuangSKBC #non-functional #requirements #traceability
Goal-centric traceability for managing non-functional requirements (JCH, RS, OBK, EB, SC), pp. 362–371.
PPoPPPPoPP-2005-HarrisF #programming
Revocable locks for non-blocking programming (TLH, KF), pp. 72–82.
PPoPPPPoPP-2005-WangS #source code #static analysis
Static analysis of atomicity for programs with non-blocking synchronization (LW, SDS), pp. 61–71.
ICSTSAT-J-2004-SubbarayanP05 #named #preprocessor #satisfiability
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.
ICLPICLP-2005-SaadP #hybrid #logic programming #probability #source code
Hybrid Probabilistic Logic Programs with Non-monotonic Negation (ES, EP), pp. 204–220.
TLCATLCA-2005-Zanardini #higher-order
Higher-Order Abstract Non-interference (DZ), pp. 417–432.
WICSAWICSA-2004-PoortW #composition #non-functional
Resolving Requirement Conflicts through Non-Functional Decomposition (ERP, PHNdW), pp. 145–154.
DACDAC-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.
DACDAC-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.
DATEDATE-v1-2004-LiPZSSS
State-Preserving vs. Non-State-Preserving Leakage Control in Caches (YL, DP, YZ, KS, MRS, KS), pp. 22–29.
HTHT-2004-HorieY #analysis #documentation #set #using #web
Structural analysis for web documentation using the non-well-founded set (IH, KY), pp. 42–43.
PODSPODS-2004-Tsaparas #ranking #using #web
Using Non-Linear Dynamical Systems for Web Searching and Ranking (PT), pp. 59–70.
CSEETCSEET-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.
ESOPESOP-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.
CSMRCSMR-2004-Torchiano #approach #comprehension #empirical #modelling
Empirical Investigation of a Non-Intrusive Approach to Study Comprehension Cognitive Models (MT), pp. 184–194.
SCAMSCAM-2004-RoblesG #analysis #execution #source code
Executable Source Code and Non-Executable Source Code: Analysis and Relationships (GR, JMGB), pp. 149–157.
SASSAS-2004-PayetM #constraints #logic programming #source code
Non-termination Inference for Constraint Logic Programs (ÉP, FM), pp. 377–392.
FLOPSFLOPS-2004-BuenoLH #abstract interpretation #analysis #multi #standard
Multivariant Non-failure Analysis via Standard Abstract Interpretation (FB, PLG, MVH), pp. 100–116.
CIAACIAA-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.
CHICHI-2004-PavlovychS
Model for non-expert text entry speed on 12-button phone keypads (AP, WS), pp. 351–358.
CIKMCIKM-2004-LiuZYYYCBM #learning #metric #similarity
Learning similarity measures in non-orthogonal space (NL, BZ, JY, QY, SY, ZC, FB, WYM), pp. 334–341.
ICMLICML-2004-OngMCS #kernel #learning
Learning with non-positive kernels (CSO, XM, SC, AJS).
ICMLICML-2004-SminchisescuJ #embedded #generative #modelling #visual notation
Generative modeling for continuous non-linearly embedded visual inference (CS, ADJ).
ICPRICPR-v1-2004-BuciuP #matrix #recognition
Application of non-Negative and Local non Negative Matrix Factorization to Facial Expression Recognition (IB, IP), pp. 288–291.
ICPRICPR-v1-2004-FilipH #bidirectional #synthesis
Non-linear Reflectance Model for Bidirectional Texture Function Synthesis (JF, MH), pp. 80–83.
ICPRICPR-v1-2004-KimMPJP #image #segmentation
Non-contrast Based Edge Descriptor for Image Segmentation (BGK, PSM, DJP, JHJ, JSP), pp. 572–575.
ICPRICPR-v1-2004-Strand
Surface Skeletons in Grids with Non-Cubic Voxels (RS), pp. 548–551.
ICPRICPR-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.
ICPRICPR-v1-2004-ZhangJT
Geodesic Closest Point Constrained Inter-Subject Non-Rigid Registration (ZZ, YJ, HTT), pp. 564–567.
ICPRICPR-v3-2004-BakerB
Principal Flow for Tubular Objects with Non-Circular Cross-Sections (GB, NB), pp. 750–753.
ICPRICPR-v3-2004-BogushTS #3d #re-engineering
3D Object Reconstruction from Non-Parallel Cross-Sections (ALB, AT, SS), pp. 542–545.
ICPRICPR-v3-2004-LenzB #recognition
Recognition of Non-Negative Patterns (RL, THB), pp. 498–501.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v3-2004-LiMH
New Method for Sparse Point-Sets Matching with Underlying Non-Rigidity (BL, QM, HH), pp. 8–11.
ICPRICPR-v3-2004-SprevakAW #assessment #classification
A Non-Random Data Sampling Method for Classification Model Assessment (DS, FA, HW), pp. 406–409.
ICPRICPR-v3-2004-ZengPQ #robust
Robust Carving for Non-Lambertian Objects (GZ, SP, LQ), pp. 119–122.
ICPRICPR-v4-2004-Ben-AriS
Non-Isotropic Regularization of the Correspondence Space in Stereo-Vision (RBA, NAS), pp. 293–296.
ICPRICPR-v4-2004-ChantasGL #image
Non Stationary Bayesian Image Restoration (GKC, NPG, AL), pp. 689–692.
ICPRICPR-v4-2004-GoncalvesA #estimation #image
Rigid Motion Estimation from Non-Central Catadioptric Images (NG, HA), pp. 268–271.
ICPRICPR-v4-2004-KangCM04a #2d #approach #estimation #multi
Non-Iterative Approach to Multiple 2D Motion Estimation (EYEK, IC, GGM), pp. 791–794.
ICPRICPR-v4-2004-KeysersGN #modelling #recognition
Local Context in Non-Linear Deformation Models for Handwritten Character Recognition (DK, CG, HN), pp. 511–514.
ICPRICPR-v4-2004-MizukamiWT #approximate #architecture #network
A Proposal of Neural Network Architecture for Non-Linear Function Approximation (YM, YW, KT), pp. 605–608.
ICPRICPR-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.
ICPRICPR-v4-2004-Rivera-RoveloB #approach #geometry
Non-Rigid Registration and Geometric Approach for Tracking in Neurosurgery (JRR, EBC), pp. 717–720.
ICPRICPR-v4-2004-SheyninTB
Improvements of Volume Computation from Non-Parallel Cross-Sections (SS, AT, ALB), pp. 815–818.
ICPRICPR-v4-2004-WillisC #3d #dataset #multi #symmetry
Alignment of Multiple Non-Overlapping Axially Symmetric 3D Datasets (ARW, DBC), pp. 96–99.
ICPRICPR-v4-2004-YuanL #dependence #nondeterminism
Fragile Watermarking Scheme Exploiting Non-Deterministic Block-Wise Dependency (YY, CTL), pp. 849–852.
KDDKDD-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.
KRKR-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.
SEKESEKE-2004-LiLCWL #using
Extracting Minimal Non-Redundant Implication Rules by Using Quantized Closed Itemset Lattice (YL, ZL, WC, QW, WL), pp. 402–405.
UMLUML-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.
POPLPOPL-2004-GiacobazziM #abstract interpretation
Abstract non-interference: parameterizing non-interference by abstract interpretation (RG, IM), pp. 186–197.
POPLPOPL-2004-SankaranarayananSM #generative #invariant #using
Non-linear loop invariant generation using Gröbner bases (SS, HS, ZM), pp. 318–329.
RERE-2004-HillWN #approach #non-functional #process #requirements
Quantifying Non-Functional Requirements: A Process Oriented Approach (RLH, JW, KN), pp. 352–353.
RERE-2004-SousaC #non-functional #requirements
Improving the Separation of Non-Functional Concerns in Requirements Artifacts (GMCdS, JC), pp. 350–351.
ICSEICSE-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.
ICSEICSE-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.
CAVCAV-2004-Lange #model checking
Symbolic Model Checking of Non-regular Properties (ML), pp. 83–95.
CSLCSL-2004-GiacobazziM #proving
Proving Abstract Non-interference (RG, IM), pp. 280–294.
ICLPICLP-2004-RuedaV #deduction
Non-viability Deductions in Arc-Consistency Computation (CR, FDV), pp. 343–355.
IJCARIJCAR-2004-BofillR #order
Redundancy Notions for Paramodulation with Non-monotonic Orderings (MB, AR), pp. 107–121.
IJCARIJCAR-2004-TurhanK #named #standard
Sonic — Non-standard Inferences Go OilEd (AYT, CK), pp. 321–325.
SATSAT-2004-ThiffaultBW
Solving Non-clausal Formulas with DPLL search (CT, FB, TW), pp. 147–156.
ASEASE-2003-SkeneE #analysis #approach #architecture #modelling #non-functional
A Model-Driven Approach to Non-Functional Analysis of Software Architectures (JS, WE), pp. 236–239.
ASEASE-2003-Wile #architecture #calculus #non-functional
Architecture Style-Based Calculi for Non-functional Properties (DSW), pp. 299–303.
DACDAC-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.
DACDAC-2003-ThudiB
Non-iterative switching window computation for delay-noise (BT, DB), pp. 390–395.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2003-PadmanabanT #fault
Non-Enumerative Path Delay Fault Diagnosis (SP, ST), pp. 10322–10327.
DATEDATE-2003-Pirola #hardware #memory management
A Solution for Hardware Emulation of Non Volatile Memory Macrocells (AP), pp. 20262–20267.
DATEDATE-2003-ZhuM #component #non-functional #specification
Specification of Non-Functional Intellectual Property Components (JZ, WSM), pp. 10456–10461.
ICDARICDAR-2003-JeongNK #recognition
Non-similar candidate removal method for off-line handwritten Korean character recognition (SHJ, YSN, HKK), pp. 323–328.
SIGMODSIGMOD-2003-Zeller #data type #sql #transaction
NonStop SQL/MX Publish/Subscribe: Continuous Data Streams in Transaction Processing (HZ), p. 636.
VLDBVLDB-2003-HulgeriS #cost analysis #named #optimisation #parametricity #query
AniPQO: Almost Non-intrusive Parametric Query Optimization for Nonlinear Cost Functions (AH, SS), pp. 766–777.
VLDBVLDB-2003-QianZXP #multi
The ND-Tree: A Dynamic Indexing Technique for Multidimensional Non-ordered Discrete Data Spaces (GQ, QZ, QX, SP), pp. 620–631.
VLDBVLDB-2003-ZhouS #clustering #metric
Data Bubbles for Non-Vector Data: Speeding-up Hierarchical Clustering in Arbitrary Metric Spaces (JZ, JS), pp. 452–463.
CSEETCSEET-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.
ITiCSEITiCSE-2003-Guzdial
A media computation course for non-majors (MG), pp. 104–108.
ITiCSEITiCSE-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.
ESOPESOP-2003-Tini
Rule Formats for Non Interference (ST), pp. 129–143.
FASEFASE-2003-Muccini #branch #detection
Detecting Implied Scenarios Analyzing Non-local Branching Choices (HM), pp. 372–386.
WCREWCRE-2003-BodhuinGT #migration #using #web
Migration of non-decomposable software systems to the Web using screen proxies (TB, EG, MT), pp. 165–174.
PLDIPLDI-2003-AikenFKT #alias
Checking and inferring local non-aliasing (AA, JSF, JK, TT), pp. 129–140.
STOCSTOC-2003-DamgardG #reuse
Non-interactive and reusable non-malleable commitment schemes (ID, JG), pp. 426–437.
DLTDLT-2003-FalcoGL #modelling #probability
Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models (DdF, MG, VL), pp. 242–253.
ICFPICFP-2003-EnnalsJ #adaptation #evaluation #source code #strict
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs (RE, SLPJ), pp. 287–298.
IFLIFL-2003-SeguraP #analysis #correctness #nondeterminism
Correctness of Non-determinism Analyses in a Parallel-Functional Language (CS, RP), pp. 69–85.
AdaEuropeAdaEurope-2003-JeppuKS #ada #realtime #safety #testing #using
Testing Safety Critical Ada Code Using Non Real Time Testing (YVJ, KK, PSS), pp. 382–392.
ICEISICEIS-v4-2003-NenadicZ
Non-Repudiation and Fairness in Electronic Data Exchange (AN, NZ), pp. 55–62.
ECIRECIR-2003-DejunM #categorisation
Chinese Text Categorization Based on the Binary Weighting Model with Non-binary Smoothing (XD, MS), pp. 408–419.
SIGIRSIGIR-2003-XuLG #clustering #documentation #matrix
Document clustering based on non-negative matrix factorization (WX, XL, YG), pp. 267–273.
OOPSLAOOPSLA-2003-FahndrichL #object-oriented
Declaring and checking non-null types in an object-oriented language (MF, KRML), pp. 302–312.
PADLPADL-2003-PontelliBB #reasoning
Non-monotonic Reasoning on Beowulf Platforms (EP, MB, FB), pp. 37–57.
CADECADE-2003-Ringeissen
Matching in a Class of Combined Non-disjoint Theories (CR), pp. 212–227.
CAVCAV-2003-ColonSS #constraints #generative #invariant #linear #theorem proving #using
Linear Invariant Generation Using Non-linear Constraint Solving (MC, SS, HS), pp. 420–432.
LICSLICS-2003-GradelK #fixpoint
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (EG, SK), p. 158–?.
LICSLICS-2003-KuncakR #decidability #recursion #type system
Structural Subtyping of Non-Recursive Types is Decidable (VK, MCR), pp. 96–107.
ASEASE-2002-BarberGH #architecture #evaluation #non-functional #using
Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation (KSB, TJG, JH), pp. 172–182.
DATEDATE-2002-ChuY #design
Non-Rectangular Shaping and Sizing of Soft Modules in Floorplan Design (CCNC, EFYY), p. 1101.
DATEDATE-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.
DATEDATE-2002-OzdagBSN #performance #pipes and filters
High-Speed Non-Linear Asynchronous Pipelines (ROO, PAB, MS, SMN), pp. 1000–1007.
DATEDATE-2002-PomeranzZ #fault #testing #using
Fault Isolation Using Tests for Non-Isolated Blocks (IP, YZ), p. 1123.
VLDBVLDB-2002-AshwinGG #adaptation #similarity #using
Adaptable Similarity Search using Non-Relevant Information (TVA, RG, SG), pp. 47–58.
VLDBVLDB-2002-DittrichSTW #algorithm
Progressive Merge Join: A Generic and Non-blocking Sort-based Join Algorithm (JPD, BS, DST, PW), pp. 299–310.
VLDBVLDB-2002-PalpanasSCP #incremental #maintenance
Incremental Maintenance for Non-Distributive Aggregate Functions (TP, RS, RC, HP), pp. 802–813.
CSMRCSMR-2002-JustoS #component #coordination #distributed #integration #non-functional
Non-functional Integration and Coordination of Distributed Component Services (GRRJ, AS), pp. 126–133.
CIAACIAA-2002-AnselmoGV #automaton #finite #self
Finite Automata and Non-self-Embedding Grammars (MA, DG, SV), pp. 47–56.
ICALPICALP-2002-Dalmau #constraints #nondeterminism #problem
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space (VD), pp. 414–425.
ICFPICFP-2002-GlynnSSS #analysis #exception #strict
Exception analysis for non-strict languages (KG, PJS, MS, HS), pp. 98–109.
ICMLICML-2002-YangW #classification
Non-Disjoint Discretization for Naive-Bayes Classifiers (YY, GIW), pp. 666–673.
ICPRICPR-v1-2002-Mignotte #multi #parametricity
Bayesian Rendering with Non-Parametric Multiscale Prior Model (MM), pp. 247–251.
ICPRICPR-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–?.
ICPRICPR-v1-2002-TengLCH #robust
Robust Computation of Optical Flow under Non-Uniform Illumination Variations (CHT, SHL, YSC, WHH), pp. 327–330.
ICPRICPR-v1-2002-Verges-LlahiTS #estimation #using
Estimation of Rigid and Non-Rigid Facial Motion Using Anatomical Face Model (JVL, AT, AS), pp. 381–384.
ICPRICPR-v1-2002-WangQ #complexity #recognition #using
Face Recognition Using Optimal Non-Orthogonal Wavelet Basis Evaluated by Information Complexity (XW, HQ), pp. 164–167.
ICPRICPR-v1-2002-YilmazSS #estimation #using
Estimation of Rigid and Non-Rigid Facial Motion Using Anatomical Face Model (AY, KS, MS), pp. 377–380.
ICPRICPR-v1-2002-ZhuY #classification #documentation
A New Textual/Non-Textual Classifier for Document Skew Correction (XZ, XY), pp. 480–482.
ICPRICPR-v2-2002-GuillametSV #classification #image #matrix
Analyzing Non-Negative Matrix Factorization for Image Classification (DG, BS, JV), pp. 116–119.
ICPRICPR-v2-2002-GuillametV #matrix #metric #using
Determining a Suitable Metric when Using Non-Negative Matrix Factorization (DG, JV), pp. 128–131.
ICPRICPR-v2-2002-Guskov #geometry #performance
Efficient Tracking of Regular Patterns on Non-Rigid Geometry (IG), pp. 1057–1060.
ICPRICPR-v2-2002-Perez-JimenezP #feature model
Radial Projections for Non-Linear Feature Extraction (AJPJ, JCPC), pp. 444–447.
ICPRICPR-v2-2002-SkaffAC
Active Bayesian Color Constancy with Non-Uniform Sensors (SS, TA, JJC), pp. 681–684.
ICPRICPR-v2-2002-WildenauerMB #approach
A Gradient-Based Eigenspace Approach to Dealing with Occlusions and Non-Gaussian Noise (HW, TM, HB), pp. 977–980.
ICPRICPR-v3-2002-PawlakR #image
Non-Linear Local Harmonic Filters For Edge-Preserving Image Denoising (MP, ER), pp. 895–897.
ICPRICPR-v3-2002-Smeraldi #detection #named #parametricity
Ranklets: Orientation Selective Non-Parametric Features Applied to Face Detection (FS), pp. 379–382.
ICPRICPR-v4-2002-FialaB #re-engineering #using
Panoramic Stereo Reconstruction Using Non-SVP Optics (MF, AB), p. 27–?.
ICPRICPR-v4-2002-RomaniukDRD #linear #locality #statistics
Linear and Non-Linear Model for Statistical Localization of Landmarks (BR, MD, MR, MJD), p. 393–?.
KDDKDD-2002-VlachosDGKK #classification #reduction #visualisation
Non-linear dimensionality reduction techniques for classification and visualization (MV, CD, DG, GK, NK), pp. 645–651.
KDDKDD-2002-YamanishiT #detection #framework
A unifying framework for detecting outliers and change points from non-stationary time series data (KY, JiT), pp. 676–681.
SIGIRSIGIR-2002-Gery #web
Non-linear reading for a structured web indexation (MG), pp. 379–380.
PADLPADL-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.
POPLPOPL-2002-Hofmann
The strength of non-size increasing computation (MH0), pp. 260–269.
SACSAC-2002-PollockC #standard
Fitting standard software to non-standard organisations (NP, JC), pp. 721–725.
ICSEICSE-2002-CysneirosL #elicitation #modelling #non-functional #requirements
Non-functional requirements: from elicitation to modelling languages (LMC, JCSdPL), pp. 699–700.
ASPLOSASPLOS-2002-KimBK #adaptation
An adaptive, non-uniform cache structure for wire-delay dominated on-chip caches (CK, DB, SWK), pp. 211–222.
HPCAHPCA-2002-RakvicBLS
Non-Vital Loads (RNR, BB, DL, JPS), pp. 165–174.
LCTESLCTES-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.
CSLCSL-2002-Chen #fixpoint #parallel
A Fixpoint Theory for Non-monotonic Parallelism (YC), pp. 120–134.
ICLPICLP-2002-LoyerS #database #deduction #nondeterminism
Non-uniform Hypothesis in Deductive Databases with Uncertainty (YL, US), pp. 473–474.
SATSAT-2002-Stachniak
Going non-clausal (ZS), p. 21.
DACDAC-2001-AjamiBPG #analysis #performance
Analysis of Non-Uniform Temperature-Dependent Interconnect Performance in High Performance ICs (AHA, KB, MP, LPPPvG), pp. 567–572.
DACDAC-2001-LinC #graph #named #representation #transitive
TCG: A Transitive Closure Graph-Based Representation for Non-Slicing Floorplans (JML, YWC), pp. 764–769.
ICDARICDAR-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.
STOCSTOC-2001-BecchettiL #parallel #scheduling
Non-clairvoyant scheduling to minimize the average flow time on single and parallel machines (LB, SL), pp. 94–103.
STOCSTOC-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.
STOCSTOC-2001-Trevisan #bound #optimisation #problem
Non-approximability results for optimization problems on bounded degree instances (LT), pp. 453–461.
FLOPSFLOPS-J2-1998-AbramovG01 #semantics #standard
From Standard to Non-Standard Semantics by Semantics Modifiers (SMA, RG), pp. 171–211.
DLTDLT-2001-EiterGS #higher-order #logic #string
Second-Order Logic over Strings: Regular and Non-regular Fragments (TE, GG, TS), pp. 37–56.
IFLIFL-2001-PenaS01a #analysis #nondeterminism
A Polynomial-Cost Non-determinism Analysis (RP, CS), pp. 121–137.
CHICHI-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.
AdaEuropeAdaEurope-2001-Burns #ada #policy
Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.
AdaEuropeAdaEurope-2001-SantanaGEC #legacy #reuse #robust
Building Robust Applications by Reusing Non-robust Legacy Software (FGS, FJMG, JMSE, JCRC), pp. 148–159.
ICMLICML-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.
KDDKDD-2001-LiuHM #identification
Identifying non-actionable association rules (BL, WH, YM), pp. 329–334.
LOPSTRLOPSTR-2001-PotikasRG #datalog #nondeterminism #source code
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs (PP, PR, MG), pp. 25–45.
SACSAC-2001-Leopold #optimisation #reuse
Exploiting non-uniform reuse for cache optimization (CL), pp. 560–564.
SACSAC-2001-RosaJC #architecture #framework #non-functional
A framework for building non-functional software architectures (NSR, GRRJ, PRFC), pp. 141–147.
CSLCSL-2001-GuglielmiS #calculus #commutative
Non-commutativity and MELL in the Calculus of Structures (AG, LS), pp. 54–68.
CSLCSL-2001-Mogbil #commutative #correctness #logic #polynomial
Quadratic Correctness Criterion for Non-commutative Logic (VM), pp. 69–83.
IJCARIJCAR-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.
IJCARIJCAR-2001-CerritoM #logic #quantifier
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation (SC, MCM), pp. 137–151.
RTARTA-2001-KuhnemannGK #cumulative #functional #source code
Relating Accumulative and Non-accumulative Functional Programs (AK, RG, KK), pp. 154–168.
TLCATLCA-2001-Laird #nondeterminism
A Deconstruction of Non-deterministic Classical Cut Elimination (JL), pp. 268–282.
ASEASE-2000-HillL #analysis
Non-Interference Analysis for Mixed Criticality Code in Avionics Systems (MGH, TWL), pp. 257–260.
DACDAC-2000-ChangCWW #representation
B*-Trees: a new representation for non-slicing floorplans (YCC, YWC, GMW, SWW), pp. 458–463.
DACDAC-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.
DATEDATE-2000-CarroSNJF #component
Non-Linear Components for Mixed Circuits Analog Front-End (LC, AAdSJ, MN, GPJ, DTF), pp. 544–549.
ITiCSEITiCSE-2000-Stratton #approach #education #network #protocol #quote
“Network protocols and services”: a non-specialist approach to teaching networking (poster session) (DS), p. 194.
FASEFASE-2000-FradetIR #mobile #non-functional
Analyzing Non-functional Properties of Mobile Agents (PF, VI, SR), pp. 319–333.
PEPMPEPM-2000-LeviS #analysis #linear #refinement
Non Pair-Sharing and Freeness Analysis Through Linear Refinement (GL, FS), pp. 52–61.
PEPMPEPM-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.
SASSAS-2000-BensalemBFGL #approach #generative #invariant
A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
STOCSTOC-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.
STOCSTOC-2000-RasalaW #network #strict
Strictly non-blocking WDM cross-connects for heterogeneous networks (AR, GTW), pp. 514–523.
ICALPICALP-2000-FocardiGM #analysis #encryption #protocol
Non Interference for the Analysis of Cryptographic Protocols (RF, RG, FM), pp. 354–372.
ICALPICALP-2000-Hastad #algorithm #approximate #np-hard #optimisation #performance #problem #question
Which NP-Hard Optimization Problems Admit Non-trivial Efficient Approximation Algorithms? (JH), p. 235.
ICALPICALP-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.
ICFPICFP-2000-CheadleFMJW #haskell
Non-stop Haskell (AMC, AJF, SM, SLPJ, RLW), pp. 257–267.
IFLIFL-2000-PenaS #analysis #nondeterminism
Non-determinism Analysis in a Parallel-Functional Language (RP, CS), pp. 1–18.
CHICHI-2000-PoupyrevWF #3d
Non-isomorphic 3D rotational techniques (IP, SW, SF), pp. 540–547.
CIKMCIKM-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.
CIKMCIKM-2000-FerhatosmanogluTAA #approximate #set
Vector Approximation based Indexing for Non-uniform High Dimensional Data Sets (HF, ET, DA, AEA), pp. 202–209.
ICMLICML-2000-CoelhoG #approach #learning
Learning in Non-stationary Conditions: A Control Theoretic Approach (JACJ, RAG), pp. 151–158.
ICPRICPR-v1-2000-HeikkilaSS #estimation #segmentation #using
Camera Motion Estimation from Non-Stationary Scenes Using EM-Based Motion Segmentation (JH, PS, OS), pp. 1370–1374.
ICPRICPR-v1-2000-LeeY #estimation
A Simultaneous Estimation of Rigid and Non-Rigid Face Motion (JL, HSY), pp. 5068–5071.
ICPRICPR-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.
ICPRICPR-v1-2000-MulliganD
Trinocular Stereo for Non-Parallel Configurations (JM, KD), pp. 1567–1570.
ICPRICPR-v1-2000-SatoSO #3d
3D Shape Recovery of Non-Convex Object from Rotation (TS, HS, SO), pp. 1742–1745.
ICPRICPR-v1-2000-SkocajL #image #using
Range Image Acquisition of Objects with Non-Uniform Albedo Using Structured Light Range Sensor (DS, AL), pp. 1778–1781.
ICPRICPR-v2-2000-ValevSR
Generalized Non-Reducible Descriptors (VV, BS, PR), pp. 2394–2397.
ICPRICPR-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.
ICPRICPR-v3-2000-ObertiR #adaptation #multi
Adaptive Tracking of Multiple Non Rigid Objects in Cluttered Scenes (FO, CSR), pp. 7108–7111.
ICPRICPR-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.
ICPRICPR-v4-2000-NakaiIMW #monitoring #strict #visual notation
Non-Restrictive Visual Respiration Monitoring (HN, KI, YM, MW), pp. 4647–4651.
ICPRICPR-v4-2000-UtsumiYO #adaptation #multi #using
Adaptive Human Motion Tracking Using Non-Synchronous Multiple Viewpoint Observations (AU, HY, JO), pp. 4607–4610.
KDDKDD-2000-Zaki #generative
Generating non-redundant association rules (MJZ), pp. 34–43.
SIGIRSIGIR-2000-HoashiMIH #documentation #using
Document filtering method using non-relevant information profile (KH, KM, NI, KH), pp. 176–183.
ECOOPECOOP-2000-Renaud #component #java #process
HERCULE : Non-invasively Tracking JavaTM Component-Based Application Activity (KR), pp. 447–471.
TOOLSTOOLS-EUROPE-2000-McDowellS #network
Connecting Non-Java Devices to a Jini Network (CEM, KS), pp. 45–56.
TOOLSTOOLS-EUROPE-2000-SridharanMM #corba #distributed #monitoring #testing
Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects (BS, SM, APM), p. 195–?.
LOPSTRLOPSTR-2000-SerebrenikS #analysis #logic programming #source code #termination
Non-tranformational termination analysis of logic programs, based on general term-orderings (AS, DDS).
LOPSTRLOPSTR-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.
PPDPPPDP-2000-Faggian #calculus #clustering #commutative #proving
Proof construction and non-commutativity: a cluster calculus (CF), pp. 80–91.
PADLPADL-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.
SACSAC-2000-Shaw #algorithm #equation #parallel
A Parallel Algorithm for NonLinear Volterra Integro-Differential Equations (RES), pp. 86–88.
ICLPCL-2000-BastidePTSL #mining #using
Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets (YB, NP, RT, GS, LL), pp. 972–986.
ICLPCL-2000-Pliuskevicius #deduction #on the #strict
On an ω-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL (RP), pp. 523–537.
LICSLICS-2000-AehligS #analysis #polynomial
A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation (KA, HS), pp. 84–91.
DACDAC-1999-GuoCY #representation
An O-Tree Representation of Non-Slicing Floorplan and Its Applications (PNG, CKC, TY), pp. 268–273.
DACDAC-1999-JandhyalaSBC #adaptation #performance
Efficient Capacitance Computation for Structures with Non-Uniform Adaptive Surface Meshes (VJ, SS, JEB, ZJC), pp. 543–548.
DACDAC-1999-MukherjeeSML #layout #novel #synthesis
Wave Steering in YADDs: A Novel Non-Iterative Synthesis and Layout Technique (AM, RS, MMS, SIL), pp. 466–471.
DACDAC-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.
DATEDATE-1999-ChungBBM #power management
Dynamic Power Management for non-stationary service requests (EYC, LB, AB, GDM), pp. 77–81.
HTHT-1999-ShipmanML #hypermedia
Beyond Location: Hypertext Workspaces and Non-Linear Views (FMSI, CCM, ML), pp. 121–130.
ICDARICDAR-1999-PrevostM #online #recognition
Non-supervised Determination of Allograph Sub-classes for On-line Omni-scriptor Handwriting Recognition (LP, MM), pp. 438–441.
SIGMODSIGMOD-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.
SASSAS-1999-ZaffanellaHB
Decomposing Non-redundant Sharing by Complementation (EZ, PMH, RB), pp. 69–84.
STOCSTOC-1999-Ajtai #linear #nondeterminism
Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract) (MA), pp. 632–641.
STOCSTOC-1999-Gamarnik #adaptation #network #policy
Stability of Adaptive and Non-Adaptive Packet Routing Policies in Adversarial Queueing Networks (DG), pp. 206–214.
FLOPSFLOPS-1999-BartheS #calculus #partial evaluation
Partial Evaluation and Non-inference for Object Calculi (GB, BPS), pp. 53–67.
DLTDLT-1999-Anselmo #problem
A non-ambiguous language factorization problem (MA), pp. 141–152.
DLTDLT-1999-BordihnH #component #distributed
Cooperating distributed grammar systems with non-terminating components (HB, MH), pp. 305–315.
DLTDLT-1999-JirickaK #automaton #finite #nondeterminism
Deterministic forgetting planar automata are more powerful than non-deterministic finite-state planar automata (PJ, JK), pp. 71–80.
ICALPICALP-1999-SantisCP
Non-Interactive Zero-Knowledge: A Low-Randomness Characterization of NP (ADS, GDC, GP), pp. 271–280.
FMFM-v2-1999-DerrickB #refinement
Non-atomic Refinement in Z (JD, EAB), pp. 1477–1496.
CHICHI-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.
HCIHCI-CCAD-1999-ConinxRWR #3d #interactive #modelling
Uniform interaction for immersive and non-immersive 3D object modelling (KC, CR, TDW, FVR), pp. 1080–1084.
HCIHCI-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.
HCIHCI-CCAD-1999-KarshmerPG #interface
Software technology and computer interfaces for the disabled: non-visual WWW browsing (AIK, EP, GG), pp. 792–796.
HCIHCI-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.
HCIHCI-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.
HCIHCI-EI-1999-BuckleHWH
Investigation of the Use of Non-Keyboard Input Devices (NKID) (PB, RAH, VW, SH), pp. 102–105.
AdaEuropeAdaEurope-1999-FranchPV #component #library #non-functional #using
Browsing a Component Library Using Non-functional Information (XF, JP, JV), pp. 332–343.
ICMLICML-1999-GiordanaP #behaviour #on the
On Some Misbehaviour of Back-Propagation with Non-Normalized RBFNs and a Solution (AG, RP), pp. 162–170.
ICMLICML-1999-KimuraK #linear #performance
Efficient Non-Linear Control by Combining Q-learning with Local Linear Controllers (HK, SK), pp. 210–219.
ICMLICML-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.
KDDKDD-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.
MLDMMLDM-1999-KingL #clustering #information retrieval #learning
Non-hierarchical Clustering with Rival Penalized Competitive Learning for Information Retrieval (IK, TKL), pp. 116–130.
SEKESEKE-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.
SIGIRSIGIR-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.
PPDPPPDP-1999-NeumerkelM #logic programming #source code
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices (UN, FM), pp. 328–342.
PPDPPPDP-1999-Russo #dependent type #ml #standard
Non-dependent Types for Standard ML Modules (CVR), pp. 80–97.
RERE-1999-CysneirosL #modelling #non-functional #requirements
Integrating Non-Functional Requirements into Data Modeling (LMC, JCSdPL), pp. 162–171.
SACSAC-1999-Shen #estimation
Average Diameter and Its Estimation in Non-Linear Structures (ZS), pp. 489–490.
ICLPICLP-1999-MarinoM #functional #logic programming #source code #static analysis #using
Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.
ICLPICLP-1999-ZukowskiF #semantics
Well-founded Semantics by Transformation: The Non-ground Case (UZ, BF), pp. 456–470.
LICSLICS-1999-BofillGNR #order
Paramodulation with Non-Monotonic Orderings (MB, GG, RN, AR), pp. 225–233.
LICSLICS-1999-Hofmann99a #linear #polynomial
Linear Types and Non-Size-Increasing Polynomial Time Computation (MH0), pp. 464–473.
LICSLICS-1999-MalacariaH #game studies #nondeterminism #program analysis #security
Non-Deterministic Games and Program Analysis: An Application to Security (PM, CH), pp. 443–452.
TLCATLCA-1999-Abrusci #logic
Modules in Non-communicative Logic (VMA), pp. 14–24.
TLCATLCA-1999-PolakowP #deduction #linear #logic
Natural Deduction for Intuitionistic Non-communicative Linear Logic (JP, FP), pp. 295–309.
CSEETCSEET-1998-West #lessons learnt #paradigm
Paradigm Lost: Lessons from the Object (non-)Revolution (DMW), pp. 76–87.
TACASTACAS-1998-BjornerP
Deiding Fixed and Non-fixed Size Bit-vectors (NB, MCP), pp. 376–392.
STOCSTOC-1998-CrescenzoIO
Non-Interactive and Non-Malleable Commitment (GDC, YI, RO), pp. 141–150.
STOCSTOC-1998-GoldreichG #on the #problem
On the Limits of Non-Approximability of Lattice Problems (OG, SG), pp. 1–9.
FLOPSFLOPS-1998-AbramovG #approach #programming language #semantics #standard
Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages (SMA, RG), pp. 247–270.
ICALPICALP-1998-SantisCPY #image
Image Density is Complete for Non-Interactive-SZK (Extended Abstract) (ADS, GDC, GP, MY), pp. 784–795.
ICFPICFP-1998-Ennals #finite #nondeterminism #reasoning
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.
ICFPICFP-1998-KutznerS #call-by #nondeterminism #λ-calculus
A Non-Deterministic Call-by-Need λ Calculus (AK, MSS), pp. 324–335.
IFLIFL-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.
CHICHI-1998-BalakrishnanP
The PadMouse: Facilitating Selection and Spatial Positioning for the Non-Dominant Hand (RB, PP), pp. 9–16.
AdaSIGAda-1998-ChamillardLY #ada #using
Using Ada in Non-CS Majors (ATC, RJL, RRY), pp. 61–67.
ICMLICML-1998-PendrithM #analysis #learning #markov
An Analysis of Direct Reinforcement Learning in Non-Markovian Domains (MDP, MM), pp. 421–429.
ICPRICPR-1998-WilliamsB #approach #image
A non-linear filtering approach to image matching (JAW, MB), pp. 1–3.
KDDKDD-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.
REICRE-1998-Franch #non-functional
Systematic Formulation of Non-Functional Characteristics of Software (XF), pp. 174–181.
REFSQREFSQ-1998-SutcliffeM #analysis #non-functional #requirements
Scenario-based Analysis of Non-Functional Requirements (AGS, SM), pp. 219–233.
ICSEICSE-1998-ChuangKW #architecture #c++
Non-Intrusive Object Introspection in C++: Architecture and Application (TRC, YSK, CMW), pp. 312–321.
ASPLOSASPLOS-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.
CCCC-1998-Boyland #attribute grammar #dependence
Analyzing Direct Non-local Dependencies in Attribute Grammars (JB), pp. 31–49.
HPCAHPCA-1998-MillerJL #architecture
Non-Stalling CounterFlow Architecture (MFM, KJJ, SLL), pp. 334–341.
ISMMISMM-1998-LimPB #garbage collection #realtime
A Memory-Efficient Real-Time Non-Copying Garbage Collector (TFL, PP, BNB), pp. 118–129.
ISMMISMM-1998-Rodriguez-RiveraSF #garbage collection
A Non-Fragmenting NonMmoving, Garbage Collector (GRR, MS, CF), pp. 79–85.
ISMMISMM-1998-Siebert #garbage collection #incremental #realtime
Guaranteeing Non-Disruptiveness and Real-Time Deadlines in an Incremental Garbage Collector (FS), pp. 130–137.
LCTESLCTES-1998-CooperS #scheduling
Non-local Instruction Scheduling with Limited Code Growth (KDC, PJS), pp. 193–207.
CADECADE-1998-OhtaIH #on the #testing
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing (YO, KI, RH), pp. 333–348.
LICSLICS-1998-EmersonN #infinity #model checking #nondeterminism #on the
On Model Checking for Non-Deterministic Infinite-State Systems (EAE, KSN), pp. 70–80.
ICDARICDAR-1997-JunkerH #classification #documentation #learning
Evaluating OCR and Non-OCR Text Representations for Learning Document Classifiers (MJ, RH), pp. 1060–1066.
ICDARICDAR-1997-Szmurlo #bound #normalisation #recognition
Boundary Normalization for Recognition of Non-Touching Non-Degraded Characters (MS), pp. 463–466.
ICDARICDAR-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–?.
ICDARICDAR-1997-Yamada #feature model #recognition
Non-uniformly Sampled Feature Extraction Method for Kanji Character Recognition (KY), pp. 200–205.
TACASTACAS-1997-Ben-AbdallahL #detection #process #sequence chart
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.
CSMRCSMR-1997-FranchB #maintenance #non-functional
Supporting software maintenance with non-functional information (XF, PB), pp. 10–16.
WCREWCRE-1997-BurdM #legacy #non-functional #re-engineering #requirements
The Implications of Non-Functional Requirements for the Reengineering of Legacy Code (EB, MM), p. 215–?.
SASSAS-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.
STOCSTOC-1997-EdmondsCBD #execution #multi #scheduling
Non-clairvoyant Multiprocessor Scheduling of Jobs with Changing Execution Characteristics (Extended Abstract) (JE, DDC, TB, XD), pp. 120–129.
ICALPICALP-1997-SantisCP
Randomness-Efficient Non-Interactive Zero-Knowledge (Extended Abstract) (ADS, GDC, GP), pp. 716–726.
ICALPICALP-1997-SchwiegelshohnT #equation
Periodic and Non-periodic Min-Max Equations (US, LT), pp. 379–389.
FMFME-1997-LanoBFL #nondeterminism #specification
Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
AdaEuropeAdaEurope-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.
AdaTRI-Ada-1997-ChamillardH #ada
Transitioning to Ada in an Introductory Course for Non-Majors (ATC, WCHJ), pp. 37–40.
AdaTRI-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.
ICMLICML-1997-SuematsuHL #approach #learning #markov
A Bayesian Approach to Model Learning in Non-Markovian Environments (NS, AH, SL), pp. 349–357.
PPDPALP-1997-Antoy #functional #logic #nondeterminism
Optimal Non-deterministic Functional Logic Computations (SA), pp. 16–30.
HPCAHPCA-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.
PPoPPPPoPP-1997-SodanGMST #architecture #case study #experience #parallel #thread
Experiences with Non-numeric Applications on Multithreaded Architectures (AS, GRG, OM, JUS, XT), pp. 124–135.
SOSPSOSP-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.
CADECADE-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.
CADECADE-1997-Nivelle #classification #order
A Classification of Non-liftable Orders for Resolution (HdN), pp. 336–350.
CAVCAV-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.
CAVCAV-1997-Fisler #decidability #diagrams #regular expression
Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable (KF), pp. 155–166.
CSLCSL-1997-RuetF #commutative #concurrent #constraints #logic #programming
Concurrent Constraint Programming and Non-commutative Logic (PR, FF), pp. 406–423.
ICLPICLP-1997-DebrayGH #analysis #logic programming #source code
Non-Failure Analysis for Logic Programs (SKD, PLG, MVH), pp. 48–62.
TLCATLCA-1997-RetoreL #commutative #linear #logic
A Non-commutative Extension of Classical Linear Logic (CR, PL), pp. 300–318.
DACDAC-1996-KhatriNKMBS #automaton #nondeterminism
Engineering Change in a Non-Deterministic FSM Setting (SPK, AN, SCK, KLM, RKB, ALSV), pp. 451–456.
ESOPESOP-1996-MaraninchiH #composition #nondeterminism #semantics
Compositional Semantics of Non-Deterministic Synchronous Languages (FM, NH), pp. 235–249.
ICSMEICSM-1996-GefenS #case study #maintenance
The non-homogeneous maintenance periods: a case study of software modifications (DG, SLS), pp. 134–141.
PLDIPLDI-1996-RussinovichC #concurrent #memory management #nondeterminism
Replay For Concurrent Non-Deterministic Shared Memory Applications (MR, BC), pp. 258–266.
SASSAS-1996-BorgiaDPLT #comprehension #mobile #semantics
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile (RB, PD, CP, LL, BT), pp. 98–112.
STOCSTOC-1996-LinialS
Non-Expansive Hashing (NL, OS), pp. 509–518.
CHICHI-1996-SchumannSLR #image
Assessing the Effect of Non-Photorealistic Rendered Images in CAD (JS, TS, SL, AR), pp. 35–41.
ICMLICML-1996-IttnerS
Non-Linear Decision Trees — NDT (AI, MS), pp. 252–257.
ICMLICML-1996-Saerens #fault #learning
Non Mean Square Error Criteria for the Training of Learning Machines (MS), pp. 427–434.
ICPRICPR-1996-BasuS #re-engineering
Optimal non-uniform discretization for stereo reconstruction (AB, HS), pp. 755–759.
ICPRICPR-1996-Gimelfarb #interactive #multi
Non-Markov Gibbs texture model with multiple pairwise pixel interactions (GLG), pp. 591–595.
ICPRICPR-1996-HillCT
Least-squares solution of absolute orientation with non-scalar weights (AH, TFC, CJT), pp. 461–465.
ICPRICPR-1996-KervrannHP #estimation #modelling #statistics
Statistical model-based estimation and tracking of non-rigid motion (CK, FH, PP), pp. 244–248.
ICPRICPR-1996-LanitisSTCM #image #modelling
A general non-linear method for modelling shape and locating image objects (AL, PDS, CJT, TFC, ECDM), pp. 266–270.
ICPRICPR-1996-SerraS #image #network #using
Perceptual grouping on texture images using non-cartesian networks (JRS, JBSV), pp. 462–466.
ICPRICPR-1996-ShaoK #fuzzy #multi
Fuzzy non-iterative ARG labeling with multiple interpretations (ZS, JK), pp. 181–185.
ICPRICPR-1996-Syeda-Mahmood #similarity
Recognizing similarity through a constrained non-rigid transform (TFSM), pp. 617–621.
ICPRICPR-1996-TianT #image
Shape from shading for non-Lambertian surfaces from one color image (YlT, HTT), pp. 258–262.
ICPRICPR-1996-ValevR #recognition
Construction of Boolean decision rules for ECG recognition by non-reducible descriptors (VV, PR), pp. 111–115.
KDDKDD-1996-IttnerS #generative
Discovery of Relevant New Features by Generating Non-Linear Decision Trees (AI, MS), pp. 108–113.
SACSAC-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.
SACSAC-1996-MonfroyRS #constraints #implementation
Implementing non-linear constraints with cooperative solvers (EM, MR, RS), pp. 63–72.
SACSAC-1996-Neubauer #adaptation #algorithm #search-based
Genetic algorithms for non-linear adaptive filters in digital signal processing (AN), pp. 519–522.
CCCC-1996-GeserKLRS #fixpoint #higher-order
Non-monotone Fixpoint Iterations to Resolve Second Order Effects (AG, JK, GL, OR, BS), pp. 106–120.
CADECADE-1996-SchmittK #matrix #proving
Converting Non-Classical Matrix Proofs into Sequent-Style Systems (SS, CK), pp. 418–432.
CADECADE-1996-Sengler #algorithm #data type #termination
Termination of Algorithms over Non-freely Generated Data Types (CS), pp. 121–135.
ICLPJICSLP-1996-ChoU #concurrent #logic programming #source code
Diagnosing Non-Well-Moded Concurrent Logic Programs (KC, KU), pp. 215–229.
ICLPJICSLP-1996-Rao #implementation
Completeness Results for Basic Narrowing in Non-Copying Implementations (MRKKR), pp. 393–407.
RTARTA-1996-Kesner #confluence #λ-calculus
Confluence Properties of Extensional and Non-Extensional λ-Calculi with Explicit Substitutions (Extended Abstract) (DK), pp. 184–199.
SIGMODSIGMOD-1995-Atkinson #architecture #component #relational
Use of a Component Architecture in Integrating Relational and Non-relational Storage Systems (RGA), p. 454.
VLDBVLDB-1995-BassiliadesV #database #parallel
A Non-Uniform Data Fragmentation Strategy for Parallel Main-Menory Database Systems (NB, IPV), pp. 370–381.
TACASTACAS-1995-FrancescoFGI #approximate #finite #model checking #process
Model Checking of Non-Finite State Processes by Finite Approximations (NDF, AF, SG, PI), pp. 195–215.
ICSMEICSM-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–?.
SASSAS-1995-Coorg #clustering #code generation #concurrent #functional #multi #strict #thread
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation (SRC), pp. 82–99.
FPCAFPCA-1995-AdityaAS #semantics #strict
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language (SA, A, JES), pp. 204–215.
FPCAFPCA-1995-SchauserG #how #question #source code #strict
How Much Non-Strictness do Lenient Programs Require? (KES, SCG), pp. 216–225.
ICMLICML-1995-SinghP #algorithm #classification #comparison #induction
A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers (MS, GMP), pp. 497–505.
POPLPOPL-1995-SansomJ #functional #higher-order #profiling #strict
Time and Space Profiling for Non-Strict Higher-Order Functional Languages (PMS, SLPJ), pp. 355–366.
POPLPOPL-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.
RERE-1995-ChungNY #non-functional #requirements #using
Using non-functional requirements to systematically support change (LC, BAN, ESKY), pp. 132–139.
ESECESEC-1995-LandesS #non-functional #requirements
The Treatment of Non-Functional Requirements in MIKE (DL, RS), pp. 294–306.
ICSEICSE-1995-ChungN #approach #non-functional #requirements
Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach (LC, BAN), pp. 25–37.
HPCAHPCA-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.
HPCAHPCA-1995-LlosaVA
Non-Consistent Dual Register Files to Reduce Register Pressure (JL, MV, EA), pp. 22–31.
LICSLICS-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.
DACDAC-1994-ChengC #fault #generative #quality #testing
Generation of High Quality Non-Robust Tests for Path Delay Faults (KTC, HCC), pp. 365–369.
DATEEDAC-1994-McCoyR
Non-Tree Routing (BAM, GR), pp. 430–434.
DATEEDAC-1994-McGowenF #case study #detection
A Study of Undetectable Non-Feedback Shorts for the Purpose of Physical-DFT (RM, FJF), pp. 371–375.
DATEEDAC-1994-WatanabeB #automaton #nondeterminism #pseudo
State Minimization of Pseudo Non-Deterministic FSM’s (YW, RKB), pp. 184–191.
SIGMODSIGMOD-1994-Englert #scalability #sql
NonStop SQL: Scalability and Availability for Decision Support (SE), p. 491.
CSEETCSEE-1994-Berztiss #design #non-functional #requirements
Non-Functional Requirements in the Design of Software (ATB), pp. 375–386.
SASSAS-1994-GrasH #independence #strict #using
Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information (DCG, MVH), pp. 297–313.
STOCSTOC-1994-BellareS
Improved non-approximability results (MB, MS), pp. 184–193.
STOCSTOC-1994-MuthukrishnanP #algorithm #complexity #standard #string
Non-standard stringology: algorithms and complexity (SM, KVP), pp. 770–779.
ICGTTAGT-1994-SkodinisW #bound #graph grammar #problem
The Bounded Degree Problem for Non-Obstructing eNCE Graph Grammars (KS, EW), pp. 211–224.
CSCWCSCW-1994-EphratiZR
Meet your Destiny: A Non-Manipulable Meeting Scheduler (EE, GZ, JSR), pp. 359–371.
KRKR-1994-DuboisP94a #information management #nondeterminism #reasoning #representation #standard
Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning (DD, HP), pp. 634–645.
LOPSTRLOPSTR-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.
SACSAC-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.
ASPLOSASPLOS-1994-WuZ #in memory #memory management #named
eNVy: A Non-Volatile, Main Memory Storage System (MW, WZ), pp. 86–97.
CADECADE-1994-Bruning #detection
Detecting Non-Provable Goals (SB), pp. 222–236.
CADECADE-1994-DomenjoudKR #equation
Combination Techniques for Non-Disjoint Equational Theories (ED, FK, CR), pp. 267–281.
LICSLICS-1994-BaazFL #proving
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation (MB, CGF, AL), pp. 213–219.
DACDAC-1993-ChickermaneRBP
Non-Scan Design-for-Testability Techniques for Sequential Circuits (VC, EMR, PB, JHP), pp. 236–241.
DACDAC-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.
DACDAC-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.
DACDAC-1993-PullelaMP #optimisation #reliability #using
Reliable Non-Zero Skew Clock Trees Using Wire Width Optimization (SP, NM, LTP), pp. 165–170.
DACDAC-1993-YangLYD #performance #simulation
An Efficient Non-Quasi-Static Diode Model for Circuit Simulation (ATY, YL, JTY, RRD), pp. 720–725.
PODSPODS-1993-RastogiMBKS #correctness #on the
On Correctness of Non-serializable Executions (RR, SM, YB, HFK, AS), pp. 97–108.
PODSPODS-1993-Schaerf #database
Negation and Minimality in Non-Horn Databases (MS), pp. 147–157.
STOCSTOC-1993-KarchmerW #nondeterminism
Characterizing non-deterministic circuit size (MK, AW), pp. 532–540.
FPCAFPCA-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.
CHIINTERCHI-1993-AlmTEN #people
Computer aided conversation for severely physically impaired non-speaking people (NA, JT, LE, AFN), pp. 236–241.
CHIINTERCHI-1993-KabbashMB #performance #using
Human performance using computer input devices in the preferred and non-preferred hands (PK, ISM, WB), pp. 474–481.
CHIINTERCHI-1993-NeerincxG #how
How to aid non-experts (MAN, PdG), pp. 165–171.
CIKMCIKM-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.
SEKESEKE-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.
LOPSTRLOPSTR-1993-OlmedillaBH #automation #independence
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model (MO, FB, MVH), pp. 177–195.
HPDCHPDC-1993-BiswasRTK #analysis #distributed #file system #performance
Performance Analysis of Distributed File Systems with Non-Volatile Caches (PB, KKR, DFT, CMK), pp. 252–262.
PPoPPPPoPP-1993-MasticolaR #analysis
Non-concurrency Analysis (SPM, BGR), pp. 129–138.
ICLPILPS-1993-BoerKPR #concurrent #constraints #programming
Non-monotonic Concurrent Constraint Programming (FSdB, JNK, CP, JJMMR), pp. 315–334.
ICLPILPS-1993-Drabent #query
Completeness of SLDNF-Resolution for Non-Floundering Queries (WD), p. 643.
ICLPILPS-1993-NystromJ #concurrent #constraints #fixpoint #programming #semantics
Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations (SON, BJ), pp. 335–352.
ICLPILPS-1993-SudarshanR #bottom-up #evaluation #optimisation
Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.
ICTSSIWPTS-1993-GhrigaF #adaptation #communication #nondeterminism #protocol #testing
Adaptive Testing of Non-Deterministic Communication Protocols (MG, PGF), pp. 347–362.
SIGMODSIGMOD-1992-Celis #parallel #sql
Distribution, Parallelism, and Availability in NonStop SQL (PC), p. 225.
LISPLFP-1992-TraubCS #analysis #clustering #source code #strict #thread
Global Analysis for Partitioning Non-Strict Programs into Sequential Threads (KRT, DEC, KES), pp. 324–334.
KRKR-1992-CroccoL #logic #on the
On the Connection between Non-monotonic Inference Systems and Conditional Logics (GC, PL), pp. 565–571.
KRKR-1992-Lamarre #proving #theorem proving
A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover (PL), pp. 572–580.
ICMLML-1992-OliveiraS #feature model #induction #using
Constructive Induction Using a Non-Greedy Strategy for Feature Selection (ALO, ALSV), pp. 355–360.
PPDPALP-1992-Hong #constraints #logic programming
Non-linear Real Constraints in Constraint Logic Programming (HH), pp. 201–212.
ASPLOSASPLOS-1992-BakerADOS #file system #memory management #performance #reliability
Non-Volatile Memory for Fast, Reliable File Systems (MB, SA, ED, JKO, MIS), pp. 10–22.
ASPLOSASPLOS-1992-ChenB #latency #memory management
Reducing Memory Latency via Non-blocking and Prefetching Caches (TFC, JLB), pp. 51–61.
CADECADE-1992-CaferraD #logic #proving #semantics
Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic (RC, SD), pp. 385–399.
CADECADE-1992-Voronkov #logic #proving #standard #theorem proving
Theorem Proving in Non-Standard Logics Based on the Inverse Method (AV), pp. 648–662.
ICTSSIWPTS-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.
ICTSSIWPTS-1992-Kloosterman #finite #nondeterminism #state machine
Test Derivation from Non-Deterministic Finite State Machines (HK), pp. 297–308.
ICTSSIWPTS-1992-WittemanWB #behaviour #nondeterminism
Non-Deterministic and Default Behaviour (MFW, RCvW, SRB), pp. 275–288.
HTHT-1991-Bieber #hypermedia #interface #modelling
Issues in Modeling a “Dynamic” Hypertext Interface for Non-Hypertext Systems (MB), pp. 203–217.
PODSPODS-1991-Garcia-MolinaS #nondeterminism #queue
Non-Deterministic Queue Operations (HGM, KS), pp. 53–62.
SIGMODSIGMOD-1991-AgrawalK #execution #multi #transaction #using
Using Multiversion Data for Non-interfering Execution of Write-only Transactions (DA, VK), pp. 98–107.
SIGMODSIGMOD-1991-Sheng #database #deduction #nondeterminism
A Non-deterministic Deductive Database Language (YHS), pp. 188–197.
STOCSTOC-1991-DolevDN #encryption
Non-Malleable Cryptography (Extended Abstract) (DD, CD, MN), pp. 542–552.
STOCSTOC-1991-Nisan #bound #commutative
Lower Bounds for Non-Commutative Computation (Extended Abstract) (NN), pp. 410–418.
SASWSA-1991-Ameur #functional
Non Functional Properties Can Guide Program Developments (YAA), pp. 189–196.
FPCAFPCA-1991-BarthNA #functional #named #parallel #strict
M-Structures: Extending a Parallel, Non-strict, Functional Language with State (PSB, RSN, A), pp. 538–568.
FPCAFPCA-1991-JonesL #functional #strict
Unboxed Values as First Class Citizens in a Non-Strict Functional Language (SLPJ, JL), pp. 636–666.
FPCAFPCA-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.
CHICHI-1991-WenzelWK #locality
Localization with non-individualized virtual acoustic display cues (EMW, FLW, DJK), pp. 351–359.
CAiSECAiSE-1991-Chung #design #information management #non-functional #representation #requirements
Representation and Utilization of Non-Functional Requirements for Information System Design (LC), pp. 5–30.
KRKR-1991-DuboisP #reasoning
Conditional Objects and Non-Monontonic Reasoning (DD, HP), pp. 175–185.
ICMLML-1991-Bain #learning
Experiments in Non-Monotonic Learning (MB), pp. 380–384.
ICMLML-1991-Jones #refinement #using
Knowledge Refinement Using a High Level, Non-Technical Vocabulary (EKJ), pp. 18–22.
ICMLML-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.
LOPSTRLOPSTR-1991-Ameur #evaluation #functional #program transformation
Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract) (YAA), pp. 297–299.
LOPSTRLOPSTR-1991-Antoy #evaluation #lazy evaluation #logic programming #nondeterminism
Non-Determinism and Lazy Evaluation in Logic Programming (SA), pp. 318–331.
ICSEICSE-1991-Curtis #question #re-engineering
Techies as Non-Technological Factors in Software Engineering? (BC), pp. 147–148.
ICSEICSE-1991-DeMarco #re-engineering
Non-Technological Issues in Software Engineering (TD), pp. 149–150.
ICSEICSE-1991-KellnerCDKST #re-engineering
Non-Technological Issues in Software Engineering (MIK, BC, TD, KK, MS, CT), pp. 144–146.
ICLPICLP-1991-CasanovaHG
Explaining SLDNF Resolution with Non-Normal Defaults (MAC, ASH, RAdTG), pp. 18–31.
ICLPISLP-1991-Przymusinski #logic programming #reasoning
Non-Monotonic Reasoning and Logic Programming (TCP), pp. 735–736.
ICTSSIWPTS-1991-FujiwaraB #fault #nondeterminism #state machine #testing
Testing Non-Deterministic State Machines with Fault Coverage (SF, GvB), pp. 267–280.
HTECHT-1990-IrlerB #hypermedia
Non-Intrusive Hypertext Anchors and Individual Colour Markings (WJI, GB), pp. 261–273.
PODSPODS-1990-AbiteboulSV #nondeterminism
Non-Deterministic Languages to Express Deterministic Transformations (SA, ES, VV), pp. 218–229.
PODSPODS-1990-SaccaZ #logic programming #modelling #nondeterminism #source code
Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.
VLDBVLDB-1990-Esculier #evolution
Non-Monotonic Knowledge Evolution in VLKDBs (CE), pp. 638–649.
ICALPICALP-1990-LucaV #on the
On Non-Counting Regular Classes (AdL, SV), pp. 74–87.
PPDPALP-1990-Batarekh #fixpoint
Fixpoint Techniques for Non-Monotone Maps (AB), pp. 132–143.
PPDPPLILP-1990-Queinnec #compilation #higher-order #lisp
Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.
POPLPOPL-1990-Gunter #correctness #nondeterminism #source code
Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs (CAG), pp. 306–319.
WAGAWAGA-1990-AttaliC #evaluation #functional #specification
Functional Evaluation of Strongly Non Circular Typol Specifications (IA, JC), pp. 157–176.
ICLPCLP-1990-HermenegildoR90 #independence #strict
Non-Strict Independent And-Parallelism (MVH, FR), pp. 237–252.
ICLPCLP-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.
CSLCSL-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.
ICLPNACLP-1990-MarriottSD #logic programming #source code
A Characterization of Non-Floundering Logic Programs (KM, HS, PWD), pp. 661–680.
DACDAC-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.
DACDAC-1989-WaterkampWBRS #layout
Technology Tracking of Non Manhattan VLSI Layout (JW, RW, RB, MR, GS), pp. 296–301.
PODSPODS-1989-Borgida #inheritance #query #strict #type system
Type Systems for Querying Class Hierarchies with Non-strict Inheritance (AB), pp. 394–400.
SIGMODSIGMOD-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.
ICALPICALP-1989-MehlhornP #source code
Two Versus One Index Register and Modifiable Versus Non-modifiable Programs (KM, WJP), pp. 603–609.
FPCAFPCA-1989-Traub #approach #clustering #compilation #functional #strict
Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages (KRT), pp. 75–88.
KRKR-1989-BacchusTK #logic
A Non-Reified Temporal Logic (FB, JDT, JAGMK), pp. 2–10.
KRKR-1989-Cohn #framework #hybrid #on the #reasoning
On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning (AGC), pp. 55–66.
KRKR-1989-Przymusinski #formal method #logic programming #reasoning
Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming (TCP), pp. 341–348.
LICSLICS-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.
LICSLICS-1989-Fernando #on the #recursion #set
On Substitutional Recursion Over Non-Well-Founded Sets (RTPF), pp. 273–282.
LICSLICS-1989-MisloveMO #fixpoint #set
Non-Well-Founded Sets Obtained from Ideal Fixed Points (MWM, LSM, FJO), pp. 263–272.
LICSLICS-1989-Pitts #polymorphism #type system
Non-trivial Power Types Can’t Be Subtypes of Polymorphic Types (AMP), pp. 6–13.
ICLPNACLP-1989-Batarekh #convergence #fixpoint
Convergence Issues and Fixed Points of Non-Monotone Maps (AB), pp. 257–273.
ICLPNACLP-1989-DungK #on the #source code
On the Generalized Predicate Completion of Non-Horn Programs (PMD, KK), pp. 587–603.
RTARTA-1989-Narain #lazy evaluation #nondeterminism #optimisation
Optimization by Non-Deterministic, Lazy Rewriting (SN), pp. 326–342.
PODSPODS-1988-Kelter #concurrent #protocol #queue
The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol (UK), pp. 142–151.
SIGMODSIGMOD-1988-Group #benchmark #metric #sql #transaction
A Benchmark of NonStop SQL on the Debit Credit Transaction (Invited Paper) (TTPG), pp. 337–341.
VLDBVLDB-1988-Lozinskii #deduction
Computing Facts in Non-Horn Deductive Systems (ELL), pp. 273–279.
VLDBVLDB-1988-MaindrevilleS #database #deduction #modelling #query
Modelling Non Deterministic Queries and Updates in Deductive Databases (CdM, ES), pp. 395–406.
STOCSTOC-1988-Ben-OrGW #distributed #fault tolerance #theorem
Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation (Extended Abstract) (MBO, SG, AW), pp. 1–10.
STOCSTOC-1988-BlumFM
Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract) (MB, PF, SM), pp. 103–112.
STOCSTOC-1988-DolevGS #testing #towards
Toward a Non-Atomic Era: 𝓁-Exclusion as a Test Case (DD, EG, NS), pp. 78–92.
STOCSTOC-1988-FiatNSS
Non-Oblivious Hashing (Extended Abstract) (AF, MN, JPS, AS), pp. 367–376.
PPDPPLILP-1988-BarbutiM #logic programming #source code
A Tool to Check the Non-Floundering Logic Programs and Goals (RB, MM), pp. 58–67.
POPLPOPL-1988-HorwitzPR #source code
Integrating Non-Interfering Versions of Programs (SH, JP, TWR), pp. 133–145.
PPoPPPPEALS-1988-AralG #interactive #profiling
Non-Intrusive and Interactive Profiling in Parasight (ZA, IG), pp. 21–30.
CADECADE-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.
CADECADE-1988-ChiH #horn clause #query #recursion
Recursive Query Answering with Non-Horn Clauses (SC, LJH), pp. 294–312.
CADECADE-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.
CADECADE-1988-MinkerR #logic programming #source code
Procedural Interpretation of Non-Horn Logic Programs (JM, AR), pp. 278–293.
ICLPJICSCP-1988-BatarekhS88 #logic programming #semantics #source code
Semantical Equivalences of (Non-Classical) Logic Programs (AB, VSS), pp. 960–977.
ICLPJICSCP-1988-LoboMR88 #source code
Weak Completion Theory for Non-Horn Programs (JL, JM, AR), pp. 828–842.
ICLPJICSCP-1988-Port88 #approach
A Simple Approach to Finding the Cause of Non-Unifiability (GSP), pp. 651–665.
ICLPJICSCP-1988-TrehanW88 #commit #logic #nondeterminism #parallel #parsing
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages (RT, PFW), pp. 212–232.
HTHT-1987-BeemanABLMMS #hypermedia
Hypertext and Pluralism: From Lineal to Non-Lineal Thinking (WOB, KTA, GB, JL, APM, PM, MS), pp. 67–88.
HTHT-1987-Charney
Comprehending Non-Linear Text: The Role of Discourse Cues and Reading Strategies (DC), pp. 109–120.
SIGMODSIGMOD-1987-AlyO #database #deduction #logic #modelling #nondeterminism #query
Non-deterministic Modelling of Logical Queries in Deductive Databases (HA, ZMÖ), pp. 60–72.
ICALPICALP-1987-BarringtonT #automaton
Non-Uniform Automata Over Groups (DAMB, DT), pp. 163–173.
ICALPICALP-1987-Metivier #algorithm #automaton #graph
An Algorithm for Computing Asynchronous Automata in the Case of Acyclic Non-Commutation Graphs (YM), pp. 226–236.
SIGIRSIGIR-1987-Fagan #automation #documentation #retrieval
Automatic Phrase Indexing for Document Retrieval: An Examination of Syntactic and Non-Syntactic Methods (JLF), pp. 91–101.
SIGIRSIGIR-1987-RasmussenW #array #clustering #distributed #documentation #using
Non-Hierarchic Document Clustering Using the ICL Distributed Array Processor (EMR, PW), pp. 132–139.
ICLPICLP-1987-Conery87 #execution #implementation #nondeterminism
Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.
LICSLICS-1987-Allen
A Non-Type-Theoretic Definition of Martin-Löf’s Types (SA), pp. 215–221.
RTARTA-1987-DauchetC #linear #term rewriting
A Gap Between Linear and Non Linear Term-Rewriting Systems (1) (MD, FDC), pp. 95–104.
ICLPSLP-1987-Conery87 #logic programming #memory management #parallel #source code
Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors (JSC), pp. 457–467.
DACDAC-1986-Ng #industrial
An industrial world channel router for non-rectangular channels (CHN), pp. 490–494.
PODSPODS-1986-Su #safety
Safety of Non-Well-Locked Trasnaction Systems (JS), pp. 47–52.
STOCSTOC-1986-FeldmanFP #network
Non-Blocking Networks (Preliminary Version) (PF, JF, NP), pp. 247–254.
ICALPICALP-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.
LISPLFP-1986-WandF
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower (MW, DPF), pp. 298–307.
ICGTGG-1986-KreowskiW #concurrent #graph grammar #parallel #process
Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars (HJK, AW), pp. 361–377.
SIGIRSIGIR-1986-YuL #independence
Non-Binary Independence Model (CTY, TCL), pp. 265–268.
CADECADE-1986-Plaisted
A Simple Non-Termination Test for the Knuth-Bendix Method (DAP), pp. 79–88.
ICLPSLP-1986-Crammond86 #execution #nondeterminism
An Execution Model for Committed-Choice Non-Deterministic Languages (JAC), pp. 148–158.
DACDAC-1985-ZaraRNS #automaton #data type #functional #modelling
An abstract machine data structure for non-procedural functional models (RVZ, KR, GN, HS), pp. 753–756.
VLDBVLDB-1985-FaloutsosC #design #query
Design of a Signature File Method that Accounts for Non-Uniform Occurrence and Query Frequencies (CF, SC), pp. 165–170.
FPCAFPCA-1985-Turner85 #functional #named #polymorphism #strict
Miranda: A Non-Strict Functional language with Polymorphic Types (DAT), pp. 1–16.
DACDAC-1984-AlaliDM #logic
A model for non interpreted structures of logical systems (RA, CD, JJM), pp. 258–264.
PODSPODS-1984-AbiteboulB #normalisation
Non First Normal Form Relations to Represent Hierarchical Organized Data (SA, NB), pp. 191–200.
PODSPODS-1984-Burkhard #maintenance
Index Maintenance for Non-Uniform Record Distributions (WAB), pp. 173–179.
VLDBVLDB-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.
PLDISCC-1984-Jourdan #attribute grammar #evaluation #recursion
Strongly non-circular attribute grammars and their recursive evaluation (MJ), pp. 81–93.
CADECADE-1984-Gelder #calculus #satisfiability
A Satisfiability Tester for Non-Clausal Propositional Calculus (AVG), pp. 101–112.
CADECADE-1984-Pfenning #proving
Analytic and Non-analytic Proofs (FP), pp. 394–413.
DACDAC-1983-KirkCSBT #array
Placement of irregular circuit elements on non-uniform gate arrays (HK, PDC, JAS, JDB, GLT), pp. 637–643.
VLDBVLDB-1983-ArisawaMM #database #relational
Operations and the Properties on Non-First-Normal-Form Relational Databases (HA, KM, TM), pp. 197–204.
VLDBVLDB-1983-DasguptaK #concurrent #database #protocol
A Non-Two-Phase Locking Protocol for Concurrency Control in General Databases (PD, ZMK), pp. 92–94.
ICALPICALP-1983-HsiangD #proving #theorem proving
Rewrite Methods for Clausal and Non-Clausal Theorem Proving (JH, ND), pp. 331–346.
DACDAC-1982-Kaplan #strict #verification
A “non-restrictive” artwork verification program for printed circuit boards (DK), pp. 551–558.
PODSPODS-1982-JaeschkeS #algebra #normalisation
Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.
PODSPODS-1982-MohanFS #commutative #protocol
Compatibility and Commutativity in Non-two-phase Locking Protocols (CM, DSF, AS), pp. 283–292.
PODSPODS-1982-ReissPD #privacy
Non-reversible Privacy Transformations (SPR, MJP, TD), pp. 139–146.
VLDBVLDB-1982-KedemMS #concurrent #performance #protocol
An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols (ZMK, CM, AS), pp. 91–97.
ICALPICALP-1982-Lingas #power of
The Power of Non-Rectilinear Holes (AL), pp. 369–383.
ICALPICALP-1982-Plotkin #nondeterminism
A Powerdomain for Countable Non-Determinism (Extended Abstract) (GDP), pp. 418–428.
POPLPOPL-1982-JohnsonF #editing
Non-Syntactic Attribute Flow in Language Based Editors (GFJ, CNF), pp. 185–195.
CADECADE-1982-Gabbay #logic
Intuitonistic Basis for Non-Monotonic Logic (DMG), pp. 260–273.
ICALPICALP-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.
SOSPSOSP-1981-Bartlett #kernel
A NonStop Kernel (JFB), pp. 22–19.
VLDBVLDB-1980-KedemS #protocol
Non-Two-Phase Locking Protocols with Shared and Exclusive Locks (ZMK, AS), pp. 309–317.
STOCSTOC-1980-Ukkonen #automaton #equivalence #realtime
A Decision Method for the Equivalence of some Non-Real-Time Deterministic Pushdown Automata (EU), pp. 29–38.
VLDBVLDB-1979-Pirotte #design #relational
Fundamental and Secondary Issues in the Design of Non-Procedural Relational Languages (AP), pp. 239–250.
ICALPICALP-1979-Nijholt #recursion
Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version) (AN), pp. 446–459.
DACDAC-1978-DoreauA #algorithm #distance
A topologically based non-minimum distance routing algorithm (MTD, LCA), pp. 92–99.
POPLPOPL-1978-Kosinki #data flow #semantics #source code
A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs (PRK), pp. 214–221.
DACDAC-1977-Peterson #automation #interactive
Computer/interactive cleanup of non-gridded PWB’s after automatic routing (DPP), pp. 43–57.
STOCSTOC-1977-Tarjan #maintenance #set
Reference Machines Require Non-linear Time to Maintain Disjoint Sets (RET), pp. 18–29.
ICALPICALP-1977-PazM #approximate #nondeterminism #optimisation #polynomial #problem
Non-Deterministic Polynomial Optimization Problems and Their Approximation (AP, SM), pp. 370–379.
DACDAC-1976-PiscatelliT
A solution to closeness checking of non-orthogonal printed circuit board wiring (RNP, PT), pp. 172–178.
DACDAC-1976-Rutman
Non-gridded graphic input (RR), pp. 392–398.
DACDAC-1976-Ulrich #logic #simulation
Non-integral event timing for digital logic simulation (EGU), pp. 61–67.
STOCSTOC-1975-Valiant #bound #complexity #on the
On Non-linear Lower Bounds in Computational Complexity (LGV), pp. 45–53.
ICALPICALP-1974-Hayes #nondeterminism
Simple and Structural Redundancy in Non-Deterministic Computation (PJH), pp. 601–611.
ICALPICALP-1974-Lang #nondeterminism #parsing #performance
Deterministic Techniques for Efficient Non-Deterministic Parsers (BL), pp. 255–269.
DACDAC-1969-Haas
Trw’s extended sceptre software-dc program (TESS-DC) a non-linear worst case program (BAH), pp. 185–191.
STOCSTOC-1969-Savitch #nondeterminism #simulation #turing machine
Deterministic Simulation of Non-Deterministic Turing Machines (Detailed Abstract) (WJS), pp. 247–248.

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