BibSLEIGH — continu stem

Used together with:

queri (75)
time (67)
model (55)
system (52)
process (49)

Stem continu$ (all stems)

594 papers:

CBSE-2015-KimBNMLSLP #analysis #probability #scheduling: Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context (JHK, AB, UN, MM, KGL, AS, IL, LTXP), pp. 91–100.
WICSA-2015-Chen #architecture #towards: Towards Architecting for Continuous Delivery (LC), pp. 131–134.
CASE-2015-LyuWC #algorithm #heuristic #integer #programming: Mixed integer programming model and heuristic algorithm for production planning of continuous casting and hot rolling (ML, ZW, FTSC), pp. 1503–1508.
CASE-2015-MaedaK #algorithm #hybrid: Inverse kinematics solution algorithm for continuous/binary hybrid manipulator (KM, EK), pp. 483–488.
DAC-2015-Engblom #integration #using: Virtual to the (near) end: using virtual platforms for continuous integration (JE), p. 6.
SIGMOD-2015-GuoZLTB #query: Location-Aware Pub/Sub System: When Continuous Moving Queries Meet Dynamic Event Streams (LG, DZ, GL, KLT, ZB), pp. 843–857.
SIGMOD-2015-JiZJNHF #data type #execution #quality #query: Quality-Driven Continuous Query Execution over Out-of-Order Data Streams (YJ, HZ, ZJ, AN, GH, CF), pp. 889–894.
CSEET-2015-Bagert #challenge: The Continuing Challenge of Delivering SE Content to CS Majors (DJB), p. 1.
TACAS-2015-Immler #analysis #reachability: Verified Reachability Analysis of Continuous Systems (FI), pp. 37–51.
SANER-2015-BrandtnerMLG #integration #named #process #rule-based: SQA-Profiles: Rule-based activity profiles for Continuous Integration environments (MB, SCM, PL, HCG), pp. 301–310.
DLT-2015-EsikFL #algebra: *-Continuous Kleene ω-Algebras (ZÉ, UF, AL), pp. 240–251.
ICALP-v2-2015-BenesBLS #automaton #parametricity: Language Emptiness of Continuous-Time Parametric Timed Automata (NB, PB, KGL, JS), pp. 69–81.
FM-2015-SogokonJ #hybrid #liveness #verification: Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
ICFP-2015-LeF #continuation #transaction: Partial aborts for transactions via first-class continuations (ML, MF), pp. 230–242.
CHI-2015-McMillanLB #speech: Repurposing Conversation: Experiments with the Continuous Speech Stream (DM, AL, BATB), pp. 3953–3962.
HCI-IT-2015-ZhaoH #concept #game studies #online: A Conceptual Model of Online Game Continuance Playing (FZ, QH), pp. 660–669.
HIMI-IKC-2015-ZhangT #design #game studies: Considering a New Nanbu Fuurin Design that Play a Healing Sound — Including Innovations in Appearance and Texture, and Continually Improving- (YZ, TT), pp. 675–684.
LCT-2015-FardounAC #education #evaluation: Creation of Meaningful-Learning and Continuous Evaluation Education System (HMF, AA, APC), pp. 218–226.
SCSM-2015-FilhoPV15a #chat #mobile: Enabling Continuous Emotional Status Display in Mobile Text Chat (JFF, WP, TV), pp. 12–19.
ICEIS-v1-2015-BorgesDRAS #approach #generative #using: An Economic Approach for Generation of Train Driving Plans using Continuous Case-based Planning (APB, OBD, RR, BCÁ, EES), pp. 440–451.
ICML-2015-LakshmananOR #bound #learning: Improved Regret Bounds for Undiscounted Continuous Reinforcement Learning (KL, RO, DR), pp. 524–532.
KDD-2015-DuFASS #clustering #documentation #process: Dirichlet-Hawkes Processes with Applications to Clustering Continuous-Time Document Streams (ND, MF, AA, AJS, LS), pp. 219–228.
RecSys-2015-JannachLK #continuation #generative #music: Beyond “Hitting the Hits”: Generating Coherent Music Playlist Continuations with the Right Tracks (DJ, LL, IK), pp. 187–194.
SEKE-2015-GomedeSB #approach #lifecycle: A Practical Approach to Software Continuous Delivery Focused on Application Lifecycle Management (EG, RTDS, RMdB), pp. 320–325.
SIGIR-2015-CormackG #bibliography #learning #multi #perspective: Multi-Faceted Recall of Continuous Active Learning for Technology-Assisted Review (GVC, MRG), pp. 763–766.
MoDELS-2015-Moawad0FNKT #modelling #performance: Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
SAC-2015-Grossl #modelling #network: Modeling dependable systems with continuous time Bayesian networks (MG), pp. 436–441.
SAC-2015-PreuveneersJ #authentication #named: SmartAuth: dynamic context fingerprinting for continuous user authentication (DP, WJ), pp. 2185–2191.
SAC-2015-SugiyamaS #learning #multi: Meta-strategy for cooperative tasks with learning of environments in multi-agent continuous tasks (AS, TS), pp. 494–500.
ESEC-FSE-2015-MatinnejadNBB #effectiveness #testing: Effective test suites for mixed discrete-continuous stateflow controllers (RM, SN, LCB, TB), pp. 84–95.
ESEC-FSE-2015-VasilescuYWDF #git #integration #quality: Quality and productivity outcomes relating to continuous integration in GitHub (BV, YY, HW, PTD, VF), pp. 805–816.
ESEC-FSE-2015-Vost #industrial #integration: Vehicle level continuous integration in the automotive industry (SV), pp. 1026–1029.
ICSE-v2-2015-GoldsteinS #architecture #automation #validation: Automatic and Continuous Software Architecture Validation (MG, IS), pp. 59–68.
CAV-2015-BeyerW #invariant: Boosting k-Induction with Continuously-Refined Invariants (DB, MD, PW), pp. 622–640.
ICST-2015-BrajnikBF #integration #latency #modelling #testing #web: Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.
ISSTA-2015-MusluBM #fault #testing: Preventing data errors with continuous testing (KM, YB, AM), pp. 373–384.
TLCA-2015-EscardoX #consistency #nondeterminism: The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.
WICSA-2014-ChenB #agile #architecture #comprehension #development #refactoring #towards: Towards an Evidence-Based Understanding of Emergence of Architecture through Continuous Refactoring in Agile Software Development (LC, MAB), pp. 195–204.
ASE-2014-CamposAFA #automation #generative #integration #testing: Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.
ASE-2014-MatinnejadNBB #configuration management #modelling #scalability #testing #using: MiL testing of highly configurable continuous controllers: scalable search using surrogate models (RM, SN, LCB, TB), pp. 163–174.
ASE-2014-MatinnejadNBB14a #named #testing: CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.
SIGMOD-2014-MondalD #graph #named #query #scalability: EAGr: supporting continuous ego-centric aggregate queries over large dynamic graphs (JM, AD), pp. 1335–1346.
VLDB-2014-GhashamiPL #approximate #distributed #matrix: Continuous Matrix Approximation on Distributed Data (MG, JMP, FL), pp. 809–820.
VLDB-2015-YangZTCM14 #distributed #named #navigation: CANDS: Continuous Optimal Navigation via Distributed Stream Processing (DY, DZ, KLT, JC, FLM), pp. 137–148.
VLDB-2015-ZhangWWY14 #behaviour #predict #social: Inferring Continuous Dynamic Social Influence and Personal Preference for Temporal Behavior Prediction (JZ, CW, JW, JXY), pp. 269–280.
FoSSaCS-2014-Fu #bound #markov #probability #process #reachability: Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes (HF), pp. 73–87.
CSMR-WCRE-2014-BrandtnerGG #integration #quality: Supporting continuous integration by mashing-up software quality information (MB, EG, HCG), pp. 184–193.
CSMR-WCRE-2014-VosTPKBHS #automation #internet #named #process #testing: FITTEST: A new continuous and automated testing process for future Internet applications (TEJV, PT, WP, PMK, AB, MH, OS), pp. 407–410.
ICSME-2014-SteidlDPHU #quality: Continuous Software Quality Control in Practice (DS, FD, MP, RH, BUM), pp. 561–564.
ICSME-2014-VasilescuSWSB #empirical #git #integration: Continuous Integration in a Social-Coding World: Empirical Evidence from GitHub (BV, SvS, JW, AS, MvdB), pp. 401–405.
AFL-2014-MignotSZ14a #automaton #equation: $k$-Position, Follow, Equation and $k$-C-Continuation Tree Automata Constructions (LM, NOS, DZ), pp. 327–341.
ICFP-2014-DownenA #composition #continuation #semantics: Compositional semantics for composable continuations: from abortive to delimited control (PD, ZMA), pp. 109–122.
DHM-2014-GaoH #approach #fault #nondeterminism #research: Research on the Continuous Descent Approach (CDA) Operational Error of Pilot Base on Cloud Model and Uncertainty Theory (YG, YH), pp. 91–100.
HCI-AIMT-2014-RoyC #artificial reality #detection #invariant #markov #using: View-Invariant Human Detection from RGB-D Data of Kinect Using Continuous Hidden Markov Model (SR, TC), pp. 325–336.
HCI-AS-2014-YoungCGC #metric #mobile #performance #physics #process: Snappy App: A Mobile Continuous Performance Test with Physical Activity Measurement for Assessing Attention Deficit Hyperactivity Disorder (ZY, MPC, MG, JC), pp. 363–373.
HIMI-AS-2014-YamaguchiTT #learning #process #visualisation: Visualizing Mental Learning Processes with Invisible Mazes for Continuous Learning (TY, KT, KT), pp. 137–148.
HILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling: Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
CIKM-2014-VouzoukidouAC #named #query #ranking #realtime: MeowsReader: Real-Time Ranking and Filtering of News with Generalized Continuous Top-k Queries (NV, BA, VC), pp. 2066–2068.
ICML-c1-2014-HajiaghayiKWB #estimation #markov #performance: Efficient Continuous-Time Markov Chain Estimation (MH, BK, LW, ABC), pp. 638–646.
ICML-c1-2014-LinX #adaptation #continuation #optimisation: An Adaptive Accelerated Proximal Gradient Method and its Homotopy Continuation for Sparse Optimization (QL, LX), pp. 73–81.
ICML-c2-2014-CelikkayaS #markov #probability #process: Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes (EBC, CRS), pp. 1962–1970.
KR-2014-BelleL #how: How to Progress Beliefs in Continuous Domains (VB, HJL).
SIGIR-2014-ZhangKQH #detection #semantics #word: Continuous word embeddings for detecting local text reuses at the semantic level (QZ, JK, JQ, XH), pp. 797–806.
OOPSLA-2014-DavidTLM #profiling: Continuously measuring critical section pressure with the free-lunch profiler (FD, GT, JL, GM), pp. 291–307.
PPDP-2014-DownenMAV #continuation #process: Continuations, Processes, and Sharing (PD, LM, ZMA, DV), pp. 69–80.
PPDP-2014-Ilik #continuation #normalisation #proving #tutorial: Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
FSE-2014-ElbaumRP #development #integration #testing: Techniques for improving regression testing in continuous integration development environments (SGE, GR, JP), pp. 235–245.
LICS-CSL-2014-BilokonE #approach #probability #process: A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.
VMCAI-2014-Song0G #bisimulation #logic #markov #process: Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
CBSE-2013-WindmullerNSHB #quality: Active continuous quality control (SW, JN, BS, FH, OB), pp. 111–120.
ECSA-2013-BuchgeherW #analysis #architecture #consistency #towards: Towards Continuous Reference Architecture Conformance Analysis (GB, RW), pp. 332–335.
ASE-2013-ZhangPXJWZ #monitoring #on-demand #towards: Towards contextual and on-demand code clone management by continuous monitoring (GZ, XP, ZX, SJ, HW, WZ), pp. 497–507.
CASE-2013-FantiIRU #analysis #scheduling #simulation: A simulation based analysis of production scheduling in a steelmaking and continuous casting plant (MPF, GI, GR, WU), pp. 150–155.
DAC-2013-ColmenaresEHBMCGRBMAK #adaptation #named #refactoring: Tessellation: refactoring the OS around explicit resource containers with continuous adaptation (JAC, GE, SAH, SB, MM, DC, BG, ER, DBB, NM, KA, JK), p. 10.
DAC-2013-KarthikR #approximate #linear #modelling #named #using: ABCD-L: approximating continuous linear systems using boolean models (KVA, JSR), p. 9.
ICDAR-2013-StammLD #analysis #approach #documentation #multi #partial order: Continuous Partial-Order Planning for Multichannel Document Analysis: A Process-Driven Approach (KS, ML, AD), pp. 626–630.
SIGMOD-2013-AnanthanarayananBDGJQRRSV #data type #fault tolerance #named #scalability: Photon: fault-tolerant and scalable joining of continuous data streams (RA, VB, SD, AG, HJ, TQ, AR, DR, MS, SV), pp. 577–588.
SIGMOD-2013-GeorgiadisKGPTM #algorithm #data type #detection #framework #state of the art: Continuous outlier detection in data streams: an extensible framework and state-of-the-art algorithms (DG, MK, AG, ANP, KT, YM), pp. 1061–1064.
SIGMOD-2013-LimB #execution #optimisation #query: Execution and optimization of continuous queries with cyclops (HL, SB), pp. 1069–1072.
VLDB-2013-BellareCMMRS #framework #knowledge base #multitenancy #named #scalability #synthesis: WOO: A Scalable and Multi-tenant Platform for Continuous Knowledge Base Synthesis (KB, CC, AM, PM, MR, AS), pp. 1114–1125.
VLDB-2013-BrunoJZ #optimisation #query: Continuous Cloud-Scale Query Optimization and Processing (NB, SJ, JZ), pp. 961–972.
ITiCSE-2013-BillingsleyS #comparison #integration: A comparison of two iterations of a software studio course based on continuous integration (WB, JS), pp. 213–218.
ICPC-2013-BernhartG #code review #comprehension #on the #source code: On the understanding of programs with continuous code reviews (MB, TG), pp. 192–198.
ICSM-2013-MarijanGS #case study #industrial #testing: Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study (DM, AG, SS), pp. 540–543.
PLDI-2013-BurckhardtFHMMTK #exclamation #feedback #programming #user interface: It’s alive! continuous feedback in UI programming (SB, MF, PdH, SM, MM, NT, JK), pp. 95–104.
SAS-2013-Sankaranarayanan #static analysis: Static Analysis in the Continuously Changing World (SS), pp. 4–5.
STOC-2013-CadekKMVW: Extending continuous maps: polynomiality and undecidability (MC, MK, JM, LV, UW), pp. 595–604.
ICFP-2013-DelbiancoN #algebra #continuation #hoare #reasoning: Hoare-style reasoning with (algebraic) continuations (GAD, AN), pp. 363–376.
GT-VMT-2013-Giese #behaviour #graph transformation #probability: Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
DHM-SET-2013-LiauLJ #assessment #development: Development of Human Balance Assessment System with Continuous Center of Gravity Tracking (BYL, CWL, YKJ), pp. 332–337.
DUXU-NTE-2013-AbujaradSDP #monitoring #safety: Rap Backs: Continuous Workforce Monitoring to Improve Patient Safety in Long-Term Care (FA, SJS, TAD, LAP), pp. 3–9.
HCI-UC-2013-ZhaoK #empirical #enterprise #on-demand: Continuing On-Premise or Adopt On-Demand? An Empirical Study of ERP Adoption in SMEs (FZ, EK), pp. 492–500.
HIMI-D-2013-TakemoriYST #interactive #learning #modelling #process: Modeling a Human’s Learning Processes to Support Continuous Learning on Human Computer Interaction (KT, TY, KS, KT), pp. 555–564.
ICML-c3-2013-BrechtelGD #incremental #learning #performance #representation: Solving Continuous POMDPs: Value Iteration with Incremental Learning of an Efficient Space Representation (SB, TG, RD), pp. 370–378.
SIGIR-2013-ShouW00 #evolution #named #summary #twitter: Sumblr: continuous summarization of evolving tweet streams (LS, ZW, KC, GC), pp. 533–542.
OOPSLA-2013-KansalSBMMZ #abstraction #energy #latency #mobile #performance: The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing (AK, TSS, AJBB, KSM, TM, RZ), pp. 661–676.
POPL-2013-SuenagaSH #modelling #standard: Hyperstream processing systems: nonstandard modeling of continuous-time signals (KS, HS, IH), pp. 417–430.
SAC-2013-OyamadaKK #concurrent #query: Continuous query processing with concurrency control: reading updatable resources consistently (MO, HK, HK), pp. 788–794.
ESEC-FSE-2013-MusluBEN #analysis: Making offline analyses continuous (KM, YB, MDE, DN), pp. 323–333.
ESEC-FSE-2013-MusluBM #debugging #testing: Data debugging with continuous testing (KM, YB, AM), pp. 631–634.
SPLC-2013-XuCMR #product line #testing: Continuous test suite augmentation in software product lines (ZX, MBC, WM, GR), pp. 52–61.
CSL-2013-Materzok #axiom #continuation: Axiomatizing Subtyped Delimited Continuations (MM), pp. 521–539.
ICLP-J-2013-SchrijversDDW #continuation #prolog: Delimited continuations for prolog (TS, BD, BD, JW), pp. 533–546.
ICST-2013-MossigeGM #constraints #generative #integration #programming #testing #using: Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.
TLCA-2013-Schopp #continuation #interactive #on the: On Interaction, Continuations and Defunctionalization (US), pp. 205–220.
TLCA-2013-XuE: A Constructive Model of Uniform Continuity (CX, MHE), pp. 236–249.
ASE-2012-DosingerMB #automation #communication #effectiveness #integration #testing: Communicating continuous integration servers for increasing effectiveness of automated testing (SD, RM, SB), pp. 374–377.
CASE-2012-SawadaS #design #feedback #on the #optimisation: On numerical optimization design of continuous-time feedback type quantizer for networked control systems (KS, SS), pp. 1144–1149.
CASE-2012-XieLSD12a #agile #case study: Improving rapid response operations in acute care delivery — part II: Continuous improvement and case study (XX, JL, CHS, PD), pp. 309–314.
DAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named: DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.
PODS-2012-LiuRV #distributed: Continuous distributed counting for non-monotonic streams (ZL, BR, MV), pp. 307–318.
SIGMOD-2012-YuAY #query #scalability: Processing a large number of continuous preference top-k queries (AY, PKA, JY), pp. 397–408.
FASE-2012-GuimaraesS #integration: Making Software Integration Really Continuous (MLG, ARS), pp. 332–346.
CSMR-2012-CohenDA #composition #maintenance: Invertible Program Restructurings for Continuing Modular Maintenance (JC, RD, AA), pp. 347–352.
ICSM-2012-Pezze #maintenance #online: From off-Line to continuous on-line maintenance (MP), pp. 2–3.
STOC-2012-BoyleGJK #memory management #multi: Multiparty computation secure against continual memory leakage (EB, SG, AJ, YTK), pp. 1235–1254.
CIKM-2012-HuangCLL #predict #probability #process #social #using: Predicting aggregate social activities using continuous-time stochastic process (SH, MC, BL, DL), pp. 982–991.
CIKM-2012-JinCKLZ #protocol #query: A filter-based protocol for continuous queries over imprecise location data (YJ, RC, BK, KyL, YZ), pp. 365–374.
CIKM-2012-PanZ #correlation #data type #graph #named #query: CGStream: continuous correlated graph query for data streams (SP, XZ), pp. 1183–1192.
CIKM-2012-PanZ12a #graph #query: Continuous top-k query for graph streams (SP, XZ), pp. 2659–2662.
CIKM-2012-VouzoukidouAC #query: Processing continuous text queries featuring non-homogeneous scoring functions (NV, BA, VC), pp. 1065–1074.
ICML-2012-Gomez-RodriguezS #network: Influence Maximization in Continuous Time Diffusion Networks (MGR, BS), p. 78.
ICML-2012-LevineK: Continuous Inverse Optimal Control with Locally Optimal Examples (SL, VK), p. 65.
ICPR-2012-CruzBT #recognition #video: Facial emotion recognition in continuous video (ACC, BB, NT), pp. 1880–1883.
ICPR-2012-DuanHC #approach #image #segmentation: Shape prior regularized continuous max-flow approach to image segmentation (YD, WH, HC), pp. 2516–2519.
SIGIR-2012-AgichteinWDB #comprehension #continuation #predict: Search, interrupted: understanding and predicting search task continuation (EA, RWW, STD, PNB), pp. 315–324.
PPDP-2012-Thielecke #continuation #functional #parsing #recursion #semantics: Functional semantics of parsing actions, and left recursion elimination as continuation passing (HT), pp. 91–102.
SAC-2012-BookGB #continuation #web: Process-aware continuation management in web applications (MB, VG, MB), pp. 717–724.
SAC-2012-LeeOKC: Grid-based cloaking area creation scheme supporting continuous location-based services (HL, BSO, HIK, JWC), pp. 537–543.
SAC-2012-ParraRMRDS #adaptation #constraints #optimisation #self #using #variability: Using constraint-based optimization and variability to support continuous self-adaptation (CAP, DR, SM, RR, LD, LS), pp. 486–491.
ICSE-2012-Murphy-Hill #social: Continuous social screencasting to facilitate software tool discovery (ERMH), pp. 1317–1320.
ICSE-2012-SusB #education #integration #re-engineering #using: Using continuous integration of code and content to teach software engineering with limited resources (JGS, WB), pp. 1175–1184.
ASPLOS-2012-OdairaN #memory management #optimisation #profiling: Continuous object access profiling and optimizations to overcome the memory wall and bloat (RO, TN), pp. 147–158.
CAV-2012-GuetGHMS #markov #search-based: Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits (CCG, AG, TAH, MM, AS), pp. 294–309.
ICLP-J-2012-IslamRR #logic programming #probability #random #source code: Inference in probabilistic logic programs with continuous random variables (MAI, CRR, IVR), pp. 505–523.
CASE-2011-Aguayo-LaraRR #invariant #petri net: Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.
CASE-2011-GhomriA #hybrid #petri net #using: Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.
DAC-2011-AadithyaVDR #impact analysis #named #predict #probability #random: MUSTARD: a coupled, stochastic/deterministic, discrete/continuous technique for predicting the impact of random telegraph noise on SRAMs and DRAMs (KVA, SV, AD, JSR), pp. 292–297.
DATE-2011-LiuS #continuation #optimisation #performance: An efficient mask optimization method based on homotopy continuation technique (FL, XS), pp. 1053–1058.
ICDAR-2011-HebertPN #multi: Continuous CRF with Multi-scale Quantization Feature Functions Application to Structure Extraction in Old Newspaper (DH, TP, SN), pp. 493–497.
SIGMOD-2011-EsmailiSFT #query: Changing flights in mid-air: a model for safely modifying continuous queries (KSE, TS, PMF, NT), pp. 613–624.
SIGMOD-2011-OlstonCCLHLNRSSTZW #named #workflow: Nova: continuous Pig/Hadoop workflows (CO, GC, LC, FL, YH, ML, AN, VBNR, VS, SS, CT, TZ, XW), pp. 1081–1090.
VLDB-2011-PengDL #nondeterminism #optimisation #probability #query: Optimizing Probabilistic Query Processing on Continuous Uncertain Data (LP, YD, AL), pp. 1169–1180.
VLDB-2011-ZeitlerR #query: Massive Scale-out of Expensive Continuous Queries (EZ, TR), pp. 1181–1188.
CSEET-2011-EngM #assessment #communication #experience #learning #student: Continued assessment of students’ learning experience in an oral communication course at MIT for EECS majors (TLE, RM), pp. 439–443.
ITiCSE-2011-BowerM #comparison #learning: Continual and explicit comparison to promote proactive facilitation during second computer language learning (MB, AM), pp. 218–222.
CSMR-2011-Mordal-ManetLDABBBVM #empirical #metric: An Empirical Model for Continuous and Weighted Metric Aggregation (KMM, JL, SD, NA, FB, FB, LB, PV, TJM), pp. 141–150.
PEPM-2011-VardoulakisS #continuation #multi #stack: Ordering multiple continuations on the stack (DV, OS), pp. 13–22.
ICALP-v1-2011-FeldmanNS #algorithm: Nonmonotone Submodular Maximization via a Structural Continuous Greedy Algorithm — (Extended Abstract) (MF, JN, RS), pp. 342–353.
ICFP-2011-MaterzokB #continuation #type system: Subtyping delimited continuations (MM, DB), pp. 81–93.
CHI-2011-DearmanST #process: Opportunities exist: continuous discovery of places to perform activities (DD, TS, KNT), pp. 2429–2438.
CHI-2011-GettyCGNWH #facebook: I said your name in an empty room: grieving and continuing bonds on facebook (EG, JC, MG, CN, EW, JTH), pp. 997–1000.
CHI-2011-KarrerWLHB #interactive #named: Pinstripe: eyes-free continuous input on interactive clothing (TK, MW, LL, FH, JOB), pp. 1313–1322.
HCI-MIIE-2011-AoyagiOIS #behaviour #communication: Proposal of a Method for Promotion of Continuous Pro-Environmental Behavior with Easy Communication (SA, TO, HI, HS), pp. 465–473.
HCI-MIIE-2011-MajimaNMHNHA #evaluation #learning #mobile: Evaluation of Continuous Practice by Mobile Learning in Nursing Practical Training (YM, YN, YM, MH, YN, SH, HA), pp. 84–91.
CIKM-2011-ChenWDZ #correlation #monitoring: Continuously monitoring the correlations of massive discrete streams (YC, WW, XD, XZ), pp. 1571–1576.
CIKM-2011-GuirguisSCL #multi #query: Optimized processing of multiple aggregate continuous queries (SG, MAS, PKC, AL), pp. 1515–1524.
CIKM-2011-LiZTLG #data type #in the cloud #query: Continuous data stream query in the cloud (JL, PZ, JT, PL, LG), pp. 2389–2392.
CIKM-2011-ParkL #data type #detection #evaluation #query: A continuous query evaluation scheme for a detection-only query over data streams (HKP, WSL), pp. 2405–2408.
CIKM-2011-ShastriDRW #multi #named #scalability: MTopS: scalable processing of continuous top-k multi-query workloads (AS, DY, EAR, MOW), pp. 1107–1116.
CIKM-2011-TomasATV #named #query #scalability: RoSeS: a continuous query processor for large-scale RSS filtering and aggregation (JCT, BA, NT, DV), pp. 2549–2552.
KDIR-2011-DoquireV #approach #category theory #feature model #hybrid: An Hybrid Approach to Feature Selection for Mixed Categorical and Continuous Data (GD, MV), pp. 394–401.
KEOD-2011-OngenaeBSVGJZVAT #design #ontology #towards: Participatory Design of a Continuous Care Ontology — Towards a User-driven Ontology Engineering Methodology (FO, LB, NS, MV, MvG, AJ, SDZ, PV, AA, FDT), pp. 81–90.
SEKE-2011-AlmeidaMA #analysis #execution #process #using: Analysis of the continuity of software processes execution in software organizations assessed in MPS.BR using Grounded Theory (CDAdA, TCM, AA), pp. 792–797.
SEKE-2011-ComanSS: Ensuring Continuous Data Accuracy in AISEMA Systems (IDC, AS, GS), pp. 640–645.
Onward-2011-Stangl: Continuous demonstration (HS), pp. 107–108.
SAC-2011-AdaikkalavanP #query: Secure shared continuous query processing (RA, TP), pp. 1000–1005.
SAC-2011-LiuS: Tracking continuous topological changes of complex moving regions (HL, MS), pp. 833–838.
ICSE-2011-Nakakoji #experience #sketching: Interactivity, continuity, sketching, and experience: (keynote abstract) (KN), p. 621.
ISMM-2011-TeneIW #concurrent #named: C4: the continuously concurrent compacting collector (GT, BI, MW), pp. 79–88.
CAV-2011-SankaranarayananT #abstraction #hybrid #relational: Relational Abstractions for Continuous and Hybrid Systems (SS, AT), pp. 686–702.
CSL-2011-BeauxisM #network #semantics #standard: A Non-Standard Semantics for Kahn Networks in Continuous Time (RB, SM), pp. 35–50.
CSL-2011-CardelliLM #axiom #logic #markov #metric: Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.
LICS-2011-Goubault-LarrecqV #random: Continuous Random Variables (JGL, DV), pp. 97–106.
ECSA-2010-ChristensenHL #architecture #assurance #lightweight #quality #using: Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique (HBC, KMH, BL), pp. 118–132.
ASE-2010-AroonvatanapornSB #assessment #estimation #nondeterminism: Reducing estimation uncertainty with continuous assessment: tracking the “cone of uncertainty” (PA, CS, BWB), pp. 337–340.
ASE-2010-BalzSG #maintenance #modelling #state machine #tool support: Tool support for continuous maintenance of state machine models in program code (MB, MS, MG), pp. 175–176.
CASE-2010-Hsu #bound #markov #safety: Control of continuous-time Markov chains with safety upper bounds (SPH), pp. 990–993.
CASE-2010-Julius #design #hybrid: Trajectory-based controller design for hybrid systems with affine continuous dynamics (AAJ), pp. 1007–1012.
CASE-2010-SunCL #algorithm #scheduling #using: Scheduling of steel-making and continuous casting system using the surrogate subgradient algorithm for lagrangian relaxation (LS, TC, PBL), pp. 885–890.
SIGMOD-2010-CondieCAHGTES #online #pipes and filters #query: Online aggregation and continuous query support in MapReduce (TC, NC, PA, JMH, JG, JT, KE, RS), pp. 1115–1118.
SIGMOD-2010-KrishnamurthyFDFGLT: Continuous analytics over discontinuous streams (SK, MJF, JD, DF, PG, AL, NT), pp. 1081–1092.
SIGMOD-2010-SternBB #approach #network #query: Processing continuous join queries in sensor networks: a filtering approach (MS, KB, EB), pp. 267–278.
SIGMOD-2010-WuOT #multi #online #query: Continuous sampling for online aggregation over multiple queries (SW, BCO, KLT), pp. 651–662.
VLDB-2010-AkdereCU #predict #query #streaming: Database-support for Continuous Prediction Queries over Streaming Data (MA, UÇ, EU), pp. 1291–1301.
VLDB-2010-LiD #dataset #probability #ranking: Ranking Continuous Probabilistic Datasets (JL, AD), pp. 638–649.
FoSSaCS-2010-EggerMS #calculus #continuation: Linearly-Used Continuations in the Enriched Effect Calculus (JE, REM, AS), pp. 18–32.
FoSSaCS-2010-Saurin #call-by #continuation: A Hierarchy for Delimited Continuations in Call-by-Name (AS), pp. 374–388.
CSMR-2010-MarinescuGV #assessment #named #quality: InCode: Continuous Quality Assessment and Improvement (RM, GG, IV), pp. 274–275.
STOC-2010-DworkNPR #difference #privacy: Differential privacy under continual observation (CD, MN, TP, GNR), pp. 715–724.
ICALP-v2-2010-ChanSS #statistics: Private and Continual Release of Statistics (THHC, ES, DS), pp. 405–417.
LATA-2010-SaeedloeiG #induction #realtime #verification: Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) (NS, GG), pp. 536–548.
SEFM-2010-Ghezzi #adaptation #verification: Adaptive Software Needs Continuous Verification (CG), pp. 3–4.
ILC-2010-YasugiKHU #continuation #recursion: Managing continuations for proper tail recursion (MY, TK, TH, SU), pp. 65–72.
ICML-2010-DondelingerLH #flexibility #information management #network: Heterogeneous Continuous Dynamic Bayesian Networks with Flexible Structure and Inter-Time Segment Information Sharing (FD, SL, DH), pp. 303–310.
ICML-2010-El-HayCFK: Continuous-Time Belief Propagation (TEH, IC, NF, RK), pp. 343–350.
ICPR-2010-CaiHTP #multi: Recovering the Topology of Multiple Cameras by Finding Continuous Paths in a Trellis (YC, KH, TT, MP), pp. 3541–3544.
ICPR-2010-ErdoganG #using: Semi-blind Speech-Music Separation Using Sparsity and Continuity Priors (HE, EMG), pp. 4573–4576.
ICPR-2010-HuoF #online #recognition #video: Online Boosting OC for Face Recognition in Continuous Video Stream (HH, JF), pp. 1233–1236.
ICPR-2010-KimL #markov #monte carlo #optimisation #random #using: Continuous Markov Random Field Optimization Using Fusion Move Driven Markov Chain Monte Carlo Technique (WK, KML), pp. 1364–1367.
SEKE-2010-ChangH #multi #network: A Multi-Agent Model for a Business Continuity Information Network (LC, XH), pp. 657–663.
OOPSLA-2010-HerzeelC #control flow #interactive #parallel #recursion: Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator (CH, PC), pp. 377–396.
OOPSLA-2010-McCarthy #continuation: The two-state solution: native and serializable continuations accord (JAM), pp. 567–582.
PPDP-2010-AsaiK #continuation #functional #virtual machine: Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.
POPL-2010-ChaudhuriGL #analysis #source code: Continuity analysis of programs (SC, SG, RL), pp. 57–70.
SAC-2010-AveiroST #enterprise #generative #modelling #towards: Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise (DA, ARS, JMT), pp. 150–157.
ICSE-2010-Bodden #analysis #hybrid #performance #type system: Efficient hybrid typestate analysis by determining continuation-equivalent states (EB), pp. 5–14.
ICSE-2010-Hill #execution #integration #modelling #named #testing: CUTS: a system execution modeling tool for realizing continuous system integration testing (JHH), pp. 309–310.
PPoPP-2010-ZhangDGKBF #parallel: Continuous speculative program parallelization in software (CZ, CD, XG, KK, TB, XF), pp. 335–336.
LICS-2010-EisentrautHZ #automaton #on the #probability: On Probabilistic Automata in Continuous Time (CE, HH, LZ), pp. 342–351.
LICS-2010-Zeilberger #continuation #logic: Polarity and the Logic of Delimited Continuations (NZ), pp. 219–227.
CASE-2009-MattosC #performance #precise #visual notation: A fast and precise micropipette positioning system based on continuous camera-robot recalibration and visual servoing (LSM, DGC), pp. 609–614.
DAC-2009-YuHZ: Variational capacitance extraction of on-chip interconnects based on continuous surface model (WY, CH, WZ), pp. 758–763.
DATE-2009-OzturkK #compilation #execution #memory management #using: Using dynamic compilation for continuing execution under reduced memory availability (ÖÖ, MTK), pp. 1373–1378.
DRR-2009-MeilenderB #algorithm #documentation #segmentation: Segmentation of continuous document flow by a modified backward-forward algorithm (TM, AB), pp. 1–10.
ICDAR-2009-MaHS #case study #design #markov #modelling #online #recognition: A Study of Feature Design for Online Handwritten Chinese Character Recognition Based on Continuous-Density Hidden Markov Models (LM, QH, YS), pp. 526–530.
SIGMOD-2009-GaoZ #database #nearest neighbour #query: Continuous obstructed nearest neighbor queries in spatial databases (YG, BZ), pp. 577–590.
SIGMOD-2009-ZhangCPT #communication #maintenance: Minimizing the communication cost for continuous skyline maintenance (ZZ, RC, DP, AKHT), pp. 495–508.
VLDB-2009-CheemaLZWZ #lazy evaluation #monitoring #performance: Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN (MAC, XL, YZ, WW, WZ), pp. 1138–1149.
VLDB-2009-TzoumasYJ: Workload-Aware Indexing of Continuously Moving Objects (KT, MLY, CSJ), pp. 1186–1197.
VLDB-2009-XingSP #monitoring #nearest neighbour: Continuous Monitoring of Nearest Neighbors on Land Surface (SX, CS, BP), pp. 1114–1125.
CSEET-2009-Bourque #feedback: SWEBOK Refresh and Continuous Update: A Call for Feedback and Participation (PB), pp. 288–289.
ITiCSE-2009-PharrSS #development: Paired professional development: a methodology for continued professional development in computer science (WP, CWS, CSS), pp. 218–222.
FoSSaCS-2009-NeuhausserSK #markov #nondeterminism #process: Delayed Nondeterminism in Continuous-Time Markov Decision Processes (MRN, MS, JPK), pp. 364–379.
STOC-2009-CleveGMSY #algorithm #performance #quantum #query #simulation: Efficient discrete-time simulations of continuous-time quantum query algorithms (RC, DG, MM, RDS, DLYM), pp. 409–416.
FM-2009-HasanAATA #random #reasoning: Formal Reasoning about Expectation Properties for Continuous Random Variables (OH, NA, BA, ST, RA), pp. 435–450.
ICFP-2009-McCarthy #automation #composition #continuation #rest #web: Automatically RESTful web applications: marking modular serializable continuations (JAM), pp. 299–310.
ICFP-2009-RompfMO #continuation #implementation #polymorphism: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (TR, IM, MO), pp. 317–328.
CHI-2009-HaradaWMBL #learning #people: Longitudinal study of people learning to use continuous voice-based cursor control (SH, JOW, JM, JAB, JAL), pp. 347–356.
HCI-AUII-2009-PylaTHP #migration #user interface: Continuous User Interfaces for Seamless Task Migration (PSP, MT, JH, MAPQ), pp. 77–85.
HCI-NIMT-2009-JacksonMBHVSI #interface #paradigm: Continuous Control Paradigms for Direct Brain Interfaces (MMJ, RLMI, EB, SH, GRV, CS, AI), pp. 588–595.
CIKM-2009-ParkSNL #multi #named #query: M-COPE: a multiple continuous query processing engine (HKP, SJS, SHN, WSL), pp. 2065–2066.
CIKM-2009-XinKDL #framework #multi #random #recommendation #social: A social recommendation framework based on multi-scale continuous conditional random fields (XX, IK, HD, MRL), pp. 1247–1256.
CIKM-2009-YangLJ #monitoring #scalability: Scalable continuous range monitoring of moving objects in symbolic indoor space (BY, HL, CSJ), pp. 671–680.
ICML-2009-ChengSS #markov #matrix #modelling: Matrix updates for perceptron training of continuous density hidden Markov models (CCC, FS, LKS), pp. 153–160.
ICML-2009-FloresGMP: GAODE and HAODE: two proposals based on AODE to deal with continuous variables (MJF, JAG, AMM, JMP), pp. 313–320.
ICML-2009-PazisL #learning #policy: Binary action search for learning continuous-action control policies (JP, MGL), pp. 793–800.
SAC-2009-MaLWW #query #realtime #scheduling: Real-time scheduling for continuous queries with deadlines (LM, XL, YW, HW), pp. 1516–1517.
CAV-2009-BouissouGPTV #named #source code: HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.
LICS-2009-ChenHKM #automaton #markov #model checking #specification: Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (TC, TH, JPK, AM), pp. 309–318.
TAP-2009-HerberFG #model checking #process #testing: Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process (PH, FF, SG), pp. 121–136.
ASE-2008-KimPYL #automation #component #experience #industrial #integration: Automated Continuous Integration of Component-Based Software: An Industrial Experience (SK, SP, JY, YL), pp. 423–426.
DATE-2008-GheorgheBNB #modelling #semantics #validation: Semantics for Model-Based Validation of Continuous/Discrete Systems (LG, FB, GN, HB), pp. 498–503.
DATE-2008-YoshidaF: Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits (HY, MF), pp. 1099–1102.
SIGMOD-2008-ThiagarajanM #database #query: Querying continuous functions in a database system (AT, SM), pp. 791–804.
VLDB-2008-SharafLC #data type #query #scheduling: Scheduling continuous queries in data stream management systems (MAS, AL, PKC), pp. 1526–1527.
CSEET-2008-TaranRR #challenge #industrial: Continuing Challenges in Selecting Industry Projects for Academic Credit: Points to Consider and Pitfalls to Avoid (GT, DR, MRL), pp. 163–170.
CSMR-2008-Storm #backtracking #incremental #integration: Backtracking Incremental Continuous Integration (TvdS), pp. 233–242.
FLOPS-2008-KameyamaY #continuation: Typed Dynamic Control Operators for Delimited Continuations (YK, TY), pp. 239–254.
AFL-2008-AngB: Continuous Languages (TA, JAB), pp. 74–85.
ICALP-B-2008-EsparzaKL: Newton’s Method for ω-Continuous Semirings (JE, SK, ML), pp. 14–26.
ICFP-2008-Ley-WildFA #compilation #continuation #self #source code: Compiling self-adjusting programs with continuations (RLW, MF, UAA), pp. 321–334.
CHI-2008-DachseltFW #metadata #multi #named #navigation: FacetZoom: a continuous multi-scale widget for navigating hierarchical metadata (RD, MF, MW), pp. 1353–1356.
ICEIS-ISAS2-2008-CuzzocreaGS #information management #modelling: A Process-Driven Methodology for Continuous Information Systems Modeling (AC, AG, DS), pp. 82–88.
CIKM-2008-MukherjiRBR: SNIF TOOL: sniffing for patterns in continuous streams (AM, EAR, DCB, VR), pp. 369–378.
ICPR-2008-AgrisBK #adaptation #agile #approach #recognition #using: Rapid signer adaptation for continuous sign language recognition using a combined approach of eigenvoices, MLLR, and MAP (UvA, CB, KFK), pp. 1–4.
ICPR-2008-ElmezainAAM #gesture #markov #modelling #recognition: A Hidden Markov Model-based continuous gesture recognition system for hand motion trajectory (ME, AAH, JA, BM), pp. 1–4.
ICPR-2008-FundanaHGS #graph #segmentation: Continuous graph cuts for prior-based object segmentation (KF, AH, CG, CS), pp. 1–4.
ICPR-2008-MissaouiF08a: Optimal feature weighting for the continuous HMM (OM, HF), pp. 1–4.
PADL-2008-GuzmanCHSR #continuation #implementation: An Improved Continuation Call-Based Implementation of Tabling (PCdG, MC, MVH, CS, RR), pp. 197–213.
POPL-2008-HerbelinG #approach #call-by #continuation: An approach to call-by-name delimited continuations (HH, SG), pp. 383–394.
SAC-2008-KontakiPM #data type #multi: Continuous k-dominant skyline computation on multidimensional data streams (MK, ANP, YM), pp. 956–960.
SAC-2008-MartinottoJCGDP #generative #network #random: Generation of continuous random networks by simulated annealing (ALM, FJ, LAC, VG, RVD, CAP), pp. 48–49.
SAC-2008-MeiraM #clustering #problem: A continuous facility location problem and its application to a clustering problem (LAAM, FKM), pp. 1826–1831.
ICSE-2008-EichbergKKM #dependence: Defining and continuous checking of structural program dependencies (ME, SK, KK, MM), pp. 391–400.
CSL-2008-Fontaine #calculus #μ-calculus: Continuous Fragment of the μ-Calculus (GF), pp. 139–153.
ICLP-2008-MarekR #on the: On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (VWM, JBR), pp. 223–237.
QoSA-2007-Woodside #architecture #performance: Resource Architecture and Continuous Performance Engineering (CMW), pp. 1–14.
DATE-2007-HongSCY #adaptation: A two-tone test method for continuous-time adaptive equalizers (DH, SS, KTC, CPY), pp. 1283–1288.
DocEng-2007-LumleyGR #documentation: Endless documents: a publication as a continual function (JWL, RG, OR), pp. 174–176.
ICDAR-2007-FujimotoSTSN #documentation #image #parallel #programming #using: Curved paper rectification for digital camera document images by shape from parallel geodesics using continuous dynamic programming (KF, JS, HT, MS, SN), pp. 267–271.
PODS-2007-MunagalaSW #optimisation #query: Optimization of continuous queries with shared expensive filters (KM, US, JW), pp. 215–224.
SIGMOD-2007-TatemuraSPCCAG #query #web #web service: Mashup Feeds: : continuous queries over web services (JT, AS, OP, SC, KSC, DA, MG), pp. 1128–1130.
VLDB-2007-PapadopoulosYP #authentication #data type #named: CADS: Continuous Authentication on Data Streams (SP, YY, DP), pp. 135–146.
VLDB-2007-SubramanianBLLSSTYW #query: Continuous Queries in Oracle (SS, SB, HGL, VL, LS, WS, JT, TFY, AW), pp. 1173–1184.
TACAS-2007-PandyaKL #abstraction #logic #on the: On Sampling Abstraction of Continuous Time Logic with Durations (PKP, SNK, KL), pp. 246–260.
CSMR-2007-Storm #integration: The Sisyphus Continuous Integration System (TvdS), pp. 335–336.
DLT-2007-EsparzaKL: An Extension of Newton’s Method to ω-Continuous Semirings (JE, SK, ML), pp. 157–168.
ICALP-2007-Goubault-Larrecq: Continuous Capacities on Continuous State Spaces (JGL), pp. 764–776.
ICFP-2007-Kennedy #compilation #continuation: Compiling with continuations, continued (AK), pp. 177–190.
HCI-IPT-2007-ParkP #visual notation: The Effects of Various Visual Enhancements During Continuous Pursuit Tracking Tasks (JP, SHP), pp. 125–132.
ICEIS-DISI-2007-GorawskiG #approach #distributed #query: Distributed approach of continuous queries with knn join processing in spatial data warehouse (MG, WG), pp. 131–136.
ICEIS-DISI-2007-SantosB07a #integration #realtime: A continuous data integration methodology for supporting real-time data warehousing (RJS, JB), pp. 589–598.
SAC-2007-YuY #continuation #distributed #workflow: Continuation-passing enactment of distributed recoverable workflows (WY, JY), pp. 475–481.
CADE-2007-HasanT #formal method #probability: Formalization of Continuous Probability Distributions (OH, ST), pp. 3–18.
CAV-2007-KatoenKLW #abstraction #markov: Three-Valued Abstraction for Continuous-Time Markov Chains (JPK, DK, ML, VW), pp. 311–324.
CAV-2007-NahhalD #hybrid #test coverage: Test Coverage for Continuous and Hybrid Systems (TN, TD), pp. 449–462.
CSL-2007-Goubault-Larrecq: Continuous Previsions (JGL), pp. 542–557.
TLCA-2007-KiselyovS #continuation #type system: A Substructural Type System for Delimited Continuations (OK, CcS), pp. 223–239.
TLCA-2007-SantoMP #calculus #continuation #normalisation: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (JES, RM, LP), pp. 133–147.
CASE-2006-RecaldeMS #analysis #petri net #simulation: Improving analysis and simulation of continuous Petri Nets (LR, CM, MS), pp. 9–14.
DATE-2006-PanditKMP #hardware #higher-order #synthesis: High level synthesis of higher order continuous time state variable filters with minimum sensitivity and hardware count (SP, SK, CAM, AP), pp. 1203–1204.
DocEng-2006-HurstMA #layout #problem: Solving the simple continuous table layout problem (NH, KM, DWA), pp. 28–30.
SIGMOD-2006-DingTS #maintenance #named #query: OMCAT: optimal maintenance of continuous queries’ answers for trajectories (HD, GT, PS), pp. 748–750.
SIGMOD-2006-GedikL #query: Quality-aware dstributed data delivery for continuous query services (BG, LL), pp. 419–430.
SIGMOD-2006-LimLLWS #data type #query #using: Continuous query processing in data streams using duality of data and queries (HSL, JGL, MJL, KYW, IYS), pp. 313–324.
SIGMOD-2006-MouratidisBP #monitoring #query: Continuous monitoring of top-k queries over sliding windows (KM, SB, DP), pp. 635–646.
SIGMOD-2006-SchnaitterAMP #named #online: COLT: continuous on-line tuning (KS, SA, TM, NP), pp. 793–795.
SIGMOD-2006-SilbersteinBY #constraints #energy #monitoring #network: Constraint chaining: on energy-efficient continuous monitoring in sensor networks (AS, RB, JY), pp. 157–168.
VLDB-2006-AgarwalXYY #query #scalability: Scalable Continuous Query Processing by Tracking Hotspots (PKA, JX, JY, HY), pp. 31–42.
VLDB-2006-LiCTACH #data type #query #safety: Safety Guarantee of Continuous Join Queries over Punctuated Data Streams (HGL, SC, JT, DA, KSC, WPH), pp. 19–30.
VLDB-2006-MouratidisYPM #monitoring #nearest neighbour #network: Continuous Nearest Neighbor Monitoring in Road Networks (KM, MLY, DP, NM), pp. 43–54.
VLDB-2006-SharafCLP #performance #query #scheduling: Efficient Scheduling of Heterogeneous Continuous Queries (MAS, PKC, AL, KP), pp. 511–522.
PEPM-2006-GeayYF #assurance #quality: Continuous code-quality assurance with SAFE (EG, EY, SJF), pp. 145–149.
PLDI-2006-ShiversM #composition #continuation #transducer: Continuations and transducer composition (OS, MM), pp. 295–307.
CHI-2006-LiWL #analysis #design #testing: Design and experimental analysis of continuous location tracking techniques for Wizard of Oz testing (YL, EW, JAL), pp. 1019–1022.
CHI-2006-MandrykAI #evaluation #experience #game studies #interactive: A continuous and objective evaluation of emotional experience with interactive play environments (RLM, MSA, KMI), pp. 1027–1036.
EDOC-2006-Marcos-JorqueraPGB #component: Business Continuity Model. Regeneration System for Manufacturing Components (DMJ, FMP, VGI, JVBM), pp. 97–105.
ICEIS-DISI-2006-StojanovicDPN #mobile #network #query: Continuous Range Query Processing for Network Constrained Mobile Objects (DS, SDK, ANP, AN), pp. 63–70.
CIKM-2006-HristidisVVY #keyword #multi: Continuous keyword search on multiple text streams (VH, OV, MV, PSY), pp. 802–803.
CIKM-2006-StanoiMPL #distributed #query #throughput: Maximizing the sustained throughput of distributed continuous queries (IS, GAM, TP, CAL), pp. 834–835.
ICML-2006-ChapelleCZ #continuation: A continuation method for semi-supervised SVMs (OC, MC, AZ), pp. 185–192.
ICML-2006-ToussaintS #markov #probability #process: Probabilistic inference for solving discrete and continuous state Markov Decision Processes (MT, AJS), pp. 945–952.
ICPR-v1-2006-LinWZZ #optimisation: Continuous Optimization based-on Boosting Gaussian Mixture Model (BL, XW, RtZ, ZZ), pp. 1192–1195.
ICPR-v1-2006-RyooA #comprehension #process #recursion #semantics: Semantic Understanding of Continued and Recursive Human Activities (MSR, JKA), pp. 379–382.
ICPR-v1-2006-Solem #analysis: Geodesic Curves for Analysis of Continuous Implicit Shapes (JES), pp. 43–46.
ICPR-v1-2006-Solem06a #analysis: Geodesic Curves for Analysis of Continuous Implicit Shapes (JES), pp. 852–855.
ICPR-v1-2006-TongSS #estimation: Continuous-Discrete Filtering for Cardiac Kinematics Estimation under Spatio-Temporal Biomechanical Constrains (ST, AJS, PS), pp. 167–170.
ICPR-v1-2006-WongC #classification #gesture #recognition #using: Continuous Gesture Recognition using a Sparse Bayesian Classifier (SFW, RC), pp. 1084–1087.
ICPR-v1-2006-ZhuWCW #classification #human-computer #interface #predict: GMM-Based Classification Method for Continuous Prediction in Brain-Computer Interface (XZ, JW, YC, YW), pp. 1171–1174.
ICPR-v3-2006-YaoYLJ #algorithm #realtime #recognition #scalability: Real Time Large Vocabulary Continuous Sign Language Recognition Based on OP/Viterbi Algorithm (GY, HY, XL, FJ), pp. 312–315.
KDD-2006-WangM #roadmap #topic: Topics over time: a non-Markov continuous-time model of topical trends (XW, AM), pp. 424–433.
SEKE-2006-KhoshgoftaarSH #metric: Polishing Noise in Continuous Software Measurement Data (TMK, CS, JVH), pp. 227–231.
ECOOP-2006-Lieberman #abstraction: The Continuing Quest for Abstraction (HL), pp. 192–197.
QAPL-2005-WolfBM06 #markov: Trace Machines for Observing Continuous-Time Markov Chains (VW, CB, MEMC), pp. 259–277.
SAC-2006-ParkSH #query: Continuous spatial queries via wireless data broadcast (KP, MS, CSH), pp. 78–82.
SAC-2006-Yu #nondeterminism: A spatiotemporal uncertainty model of degree 1.5 for continuously changing data objects (BY), pp. 1150–1155.
ICSE-2006-BowyerH #agile #development #experience #integration #testing: Assessing undergraduate experience of continuous integration and test-driven development (JB, JH), pp. 691–694.
PPoPP-2006-ChristodoulopoulouMBA #clustering #performance: Fast and transparent recovery for continuous availability of cluster-based servers (RC, KM, AB, CA), pp. 221–229.
CSL-2006-Abel #termination: Semi-continuous Sized Types and Termination (AA0), pp. 72–88.
DATE-2005-MilevB #analysis: A Tool and Methodology for AC-Stability Analysis of Continuous-Time Closed-Loop Systems (MM, RB), pp. 204–208.
SIGMOD-2005-DennyF #query: Predicate Result Range Caching for Continuous Queries (MD, MJF), pp. 646–657.
SIGMOD-2005-GolabO #modelling #query: Update-Pattern-Aware Modeling and Processing of Continuous Queries (LG, MTÖ), pp. 658–669.
SIGMOD-2005-HuXL #framework #monitoring #query: A Generic Framework for Monitoring Continuous Spatial Queries over Moving Objects (HH, JX, DLL), pp. 479–490.
SIGMOD-2005-PapadiasMH #clustering #concept #monitoring #nearest neighbour #performance: Conceptual Partitioning: An Efficient Method for Continuous Nearest Neighbor Monitoring (KM, MH, DP), pp. 634–645.
VLDB-2005-LiuZJMR #adaptation #distributed #query: A Dynamically Adaptive Distributed System for Processing Complex Continuous Queries (BL, YZ, MJ, BM, EAR), pp. 1338–1341.
FoSSaCS-2005-CattaniSKN #nondeterminism #probability: Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
CSMR-2005-Caivano #process #statistics: Continuous Software Process Improvement through Statistical Process Control (DC), pp. 288–293.
ICSM-2005-Chapin #evolution: Continuous Evolution: Practices and Issues (NC), p. 717.
ICSM-2005-XieM #agile #evolution #testing: Rapid “Crash Testing” for Continuously Evolving GUI-Based Software Applications (QX, AMM), pp. 473–482.
ICSM-IT-2005-Goschl #java #refactoring: Continuous Refactoring of a Java Server Application (SG), pp. 11–15.
ICFP-2005-PettyjohnCMKF #continuation #stack: Continuations from generalized stack inspection (GP, JC, JM, SK, MF), pp. 216–227.
ICEIS-v4-2005-DaniGP05a #constraints #design: Design of Continuous Call Market with Assignment Constraints (ARD, VPG, AKP), pp. 182–187.
CIKM-2005-SutherlandLJR #distributed #named #query #self: D-CAPE: distributed and self-tuned continuous query processing (TMS, BL, MJ, EAR), pp. 217–218.
CIKM-2005-ZhouYOTZ #distributed #multi #optimisation #query: Optimizing continuous multijoin queries over distributed streams (YZ, YY, BCO, KLT, AZ), pp. 221–222.
ICML-2005-RayP: Generalized skewing for functions with continuous and nominal attributes (SR, DP), pp. 705–712.
ICML-2005-SilvaS #identification #learning #modelling: New d-separation identification results for learning continuous latent variable models (RBdAeS, RS), pp. 808–815.
PADL-2005-WangGL #code generation #continuation #logic #semantics #towards: Towards Provably Correct Code Generation via Horn Logical Continuation Semantics (QW, GG, ML), pp. 98–112.
SAC-2005-GoualardG #constraints #network: Controlled propagation in continuous numerical constraint networks (FG, LG), pp. 377–382.
SAC-2005-XiaPLCS: Indexing continuously changing data with mean-variance tree (YX, SP, SL, RC, RS), pp. 1125–1132.
ICSE-2005-SaffE05a #eclipse #testing: Continuous testing in eclipse (DS, MDE), pp. 668–669.
ICSE-2005-YilmazKMPSGN #assurance #distributed #evolution #monitoring #performance #process #quality: Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems (CY, ASK, AMM, AAP, DCS, ASG, BN), pp. 293–302.
ICLP-2005-SneyersSD #continuation #optimisation: Guard and Continuation Optimization for Occurrence Representations of CHR (JS, TS, BD), pp. 83–97.
SAT-2005-Prestwich #random: Random Walk with Continuously Smoothed Variable Weights (SDP), pp. 203–215.
TLCA-2005-SeveriV #λ-calculus: Continuity and Discontinuity in λ Calculus (PS, FJdV), pp. 369–385.
DATE-DF-2004-Ruiz-AmayaRMFRPR #matlab #synthesis: MATLAB/SIMULINK-Based High-Level Synthesis of Discrete-Time and Continuous-Time [Sigma, Delta] Modulators (JRA, JLdlR, FM, FVF, RdR, MBPV, ÁRV), pp. 150–155.
DATE-v1-2004-AboushadyLBL #automation #simulation #synthesis: Automatic Synthesis and Simulation of Continuous-Time [Sigma-Delta] Modulators (HA, LdL, NB, MML), pp. 674–675.
DATE-v1-2004-CorsiMMBD #pseudo #sequence: Pseudo-Random Sequence Based Tuning System for Continuous-Time Filters (FC, CM, GM, AB, SD), pp. 94–101.
DATE-2005-KirsteinSSHVH04 #monitoring: A CMOS-Based Tactile Sensor for Continuous Blood Pressure Monitoring (KUK, JS, TS, CH, TV, AH), pp. 210–214.
SIGMOD-2004-GargRC #monitoring #named #query #web: Web-CAM: Monitoring the dynamic Web to respond to Continual Queries (SG, KR, SC), pp. 927–928.
SIGMOD-2004-IdreosKT #ad hoc #named #network #query: P2P-DIET: An Extensible P2P Service that Unifies Ad-hoc and Continuous Querying in Super-Peer Networks (SI, MK, CT), pp. 933–934.
SIGMOD-2004-MokbelXA #database #incremental #named #query #scalability: SINA: Scalable Incremental Processing of Continuous Queries in Spatio-temporal Databases (MFM, XX, WGA), pp. 623–634.
SIGMOD-2004-ZhuRH #data type #migration #query: Dynamic Plan Migration for Continuous Queries Over Data Streams (YZ, EAR, GTH), pp. 431–442.
VLDB-2004-ArasuW #resource management: Resource Sharing in Continuous Sliding-Window Aggregates (AA, JW), pp. 336–347.
VLDB-2004-Baeza-YatesC #integration: The Continued Saga of DB-IR Integration (RABY, MPC), p. 1245.
VLDB-2004-RundensteinerDSZPM #adaptation #named #query: CAPE: Continuous Query Engine with Heterogeneous-Grained Adaptivity (EAR, LD, TMS, YZ, BP, NKM), pp. 1353–1356.
ESOP-2004-Thielecke #call-by #continuation #morphism #polymorphism: Answer Type Polymorphism in Call-by-Name Continuation Passing (HT), pp. 279–293.
TACAS-2004-BaierHHK #bound #markov #performance #process #reachability: Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (CB, BRH, HH, JPK), pp. 61–76.
FLOPS-2004-Hasegawa #call-by #continuation #linear #semantics: Semantics of Linear Continuation-Passing in Call-by-Name (MH), pp. 229–243.
ICFP-2004-AriolaHS #continuation: A type-theoretic foundation of continuations and prompts (ZMA, HH, AS), pp. 40–53.
CHI-2004-SchianoES #category theory #imperative: Categorical imperative NOT: facial affect is perceived continuously (DJS, SME, KS), pp. 49–56.
CSCW-2004-CrabtreeRM #development: Collaborating around collections: informing the continued development of photoware (AC, TR, JAM), pp. 396–405.
ICEIS-v1-2004-Gilb #metric #multi #performance #project management #quality: Evolutionary Project Management: Multiple Performance, Quality and Cost Metrics for Early and Continuous Stakeholder Value Delivery (TG), p. VII.
CIKM-2004-GedikWYL #adaptation #query: Motion adaptive indexing for moving continual queries over moving objects (BG, KLW, PSY, LL), pp. 427–436.
ICML-2004-SminchisescuJ #embedded #generative #modelling #visual notation: Generative modeling for continuous non-linearly embedded visual inference (CS, ADJ).
ICSE-2004-MemonPYNSN #assurance #distributed #named #quality: Skoll: Distributed Continuous Quality Assurance (AMM, AAP, CY, AN, DCS, BN), pp. 459–468.
ASPLOS-2004-SrinivasanRAGU #pipes and filters: Continual flow pipelines (STS, RR, HA, AG, MU), pp. 107–119.
CSL-2004-Kameyama #axiom #continuation: Axioms for Delimited Continuations in the CPS Hierarchy (YK), pp. 442–457.
DATE-2003-MartensG: A Model of Computation for Continuous-Time ?-? Modulators (EM, GGEG), pp. 10162–10167.
SIGMOD-2003-ChandrasekaranCDFHHKMRS #data flow #named: TelegraphCQ: Continuous Dataflow Processing (SC, OC, AD, MJF, JMH, WH, SK, SM, FR, MAS), p. 668.
SIGMOD-2003-GangulyGR #set: Processing Set Expressions over Continuous Update Streams (SG, MNG, RR), pp. 265–276.
SIGMOD-2003-OlstonJW #adaptation #data type #distributed #query: Adaptive Filters for Continuous Queries over Distributed Data Streams (CO, JJ, JW), pp. 563–574.
SIGMOD-2003-Zeller #data type #sql #transaction: NonStop SQL/MX Publish/Subscribe: Continuous Data Streams in Transaction Processing (HZ), p. 636.
VLDB-2003-GolabO #data type #multi #query: Processing Sliding Window Multi-Joins in Continuous Queries over Data Streams (LG, MTÖ), pp. 500–511.
VLDB-2003-IwerksSS #nearest neighbour #query: Continuous K-Nearest Neighbor Queries for Continuously Moving Points with Updates (GSI, HS, KPS), pp. 512–523.
VLDB-2003-SattlerGS #named: QUIET: Continuous Query-driven Index Tuning (KUS, IG, ES), pp. 1129–1132.
FoSSaCS-2003-Laird #continuation #game studies #semantics: A Game Semantics of Linearly Used Continuations (JL), pp. 313–327.
ICSM-2003-Ramil #estimation #evolution: Continual Resource Estimation for Evolving Software (JFR), pp. 289–292.
SAS-2003-Thiemann #continuation #partial evaluation: Continuation-Based Partial Evaluation without Continuations (PT), pp. 366–382.
DLT-2003-HolzerK #automaton #finite #monad #on the: On Deterministic Finite Automata and Syntactic Monoid Size, Continued (MH, BK), pp. 349–360.
ICFP-2003-KameyamaH #axiom #continuation: A sound and complete axiomatization of delimited continuations (YK, MH), pp. 177–188.
ICEIS-v1-2003-LeopoldP #distributed #enterprise #framework #named #query: CQServer: An Example of Applying a Distributed Object Infrastructure for Heterogeneous Enterprise Computation of Continual Queries (JLL, TP), pp. 313–320.
CIKM-2003-JiangC #analysis #data type #relational: Queueing analysis of relational operators for continuous data streams (QJ, SC), pp. 271–278.
ECIR-2003-NardielloSS #categorisation: Discretizing Continuous Attributes in AdaBoost for Text Categorization (PN, FS, AS), pp. 320–334.
MLDM-2003-Boulle #named: Khiops: A Discretization Method of Continuous Attributes with Guaranteed Resistance to Noise (MB), pp. 50–64.
LOPSTR-2003-WangG #continuation #horn clause #semantics: Continuation Semantics as Horn Clauses (QW, GG), pp. 176–177.
PADL-2003-Krishnamurthi #how: The CONTINUE Server (or, How I Administered PADL 2002 and 2003) (SK), pp. 2–16.
POPL-2003-Thielecke #continuation: From control effects to typed continuation passing (HT), pp. 139–149.
SAC-2003-DhoogeGKMR #continuation #matlab #named: Cl_matcont: A Continuation Toolbox in Matlab (AD, WG, YAK, WM, AMR), pp. 161–166.
TLCA-2003-Abel #termination: Termination and Productivity Checking with Continuous Types (AA0), pp. 1–15.
DATE-2002-BrachtendorfLLMF #continuation #using: Steady State Calculation of Oscillators Using Continuation Methods (HGB, SL, RL, RCM, PF), p. 1139.
DATE-2002-FranckenVMG #named #simulation: DAISY-CT: A High-Level Simulation Tool for Continuous-Time Delta Sigma Modulators (KF, MV, EM, GGEG), p. 1110.
PODS-2002-ArasuBBMW #data type #memory management #query #requirements: Characterizing Memory Requirements for Queries over Continuous Data Streams (AA, BB, SB, JM, JW), pp. 221–232.
SIGMOD-2002-GaoW #query #similarity #streaming: Continually evaluating similarity-based pattern queries on a streaming time series (LG, XSW), pp. 370–381.
SIGMOD-2002-MaddenSHR #adaptation #query: Continuously adaptive continuous queries over streams (SM, MAS, JMH, VR), pp. 49–60.
VLDB-2002-TaoPS #nearest neighbour: Continuous Nearest Neighbor Search (YT, DP, QS), pp. 287–298.
ITiCSE-2002-LastDHW #collaboration #learning #student: Learning from students: continuous improvement in international collaboration (MZL, MD, MLH, MW), pp. 136–140.
ESOP-2002-Laird #continuation #exception: Exceptions, Continuations and Macro-expressiveness (JL), pp. 133–146.
CIKM-2002-GaoYW #nearest neighbour #query #streaming: Evaluating continuous nearest neighbor queries for streaming time series via pre-fetching (LG, ZY, XSW), pp. 485–492.
CIKM-2002-QiaoAA #adaptation #data type #named #summary: RHist: adaptive summarization over continuous data streams (LQ, DA, AEA), pp. 469–476.
ICML-2002-LangleySTD #modelling #process: Inducing Process Models from Continuous Data (PL, JNS, LT, SD), pp. 347–354.
ICML-2002-PanangadanD #2d #correlation #learning #navigation: Learning Spatial and Temporal Correlation for Navigation in a 2-Dimensional Continuous World (AP, MGD), pp. 474–481.
ICPR-v1-2002-LeonS #process #recognition: Continuous Activity Recognition with Missing Data (RDdL, LES), pp. 439–446.
ICPR-v1-2002-YuanGYW #modelling #recognition: Recognition of Strong and Weak Connection Models in Continuous Sign Language (QY, WG, HY, CW), pp. 75–78.
ICPR-v2-2002-Sappa #segmentation: Improving Segmentation Results by Studying Surface Continuity (ADS), pp. 929–932.
ICPR-v3-2002-VinciarelliB #markov #modelling #recognition #using #word: Offline Cursive Word Recognition using Continuous Density Hidden Markov Models Trained with PCA or ICA Features (AV, SB), pp. 81–84.
KR-2002-BaralST: A Transition Function Based Characterization of Actions with Delayed and Continuous Effects (CB, TCS, LCT), pp. 291–302.
SEKE-2002-Morasca #classification #using: A proposal for using continuous attributes in classification trees (SM), pp. 417–424.
OOPSLA-2002-Manolescu #continuation #workflow: Workflow enactment with continuation and future objects (DAM), pp. 40–51.
CSL-2002-AehligJ #normalisation #on the: On Continuous Normalization (KA, FJ), pp. 59–73.
CSL-2002-BridgesIS #revisited: Compactness and Continuity, Constructively Revisited (DSB, HI, PS), pp. 89–102.
CSL-2002-Ogata #continuation #proving: A Proof Theoretical Account of Continuation Passing Style (IO), pp. 490–505.
ISSTA-2002-Hamlet: Continuity in sofware systems (DH), pp. 196–200.
ISSTA-2002-OrsoLHL #deployment #evolution: Gamma system: continuous evolution of software after deployment (AO, DL, MJH, RJL), pp. 65–69.
DAC-2001-WangC #generative #performance #testing: Generating Efficient Tests for Continuous Scan (SJW, SNC), pp. 162–165.
DATE-2001-GerfersM #design #power management: A design strategy for low-voltage low-power continuous-time sigma-delta A/D converters (FG, YM), pp. 361–369.
HT-2001-PageCR #metadata: Its about time: link streams as continuous metadata (KRP, DC, DDR), pp. 93–102.
STOC-2001-SimaO: Computing with continuous-time Liapunov systems (JS, PO), pp. 722–731.
STOC-2001-Trakhtenbrot #automaton: Automata, circuits and hybrids: facets of continuous time (BAT), pp. 754–755.
ICALP-2001-Trakhtenbrot #automaton: Automata, Circuits, and Hybrids: Facets of Continuous Time (BAT), pp. 4–23.
AdaEurope-2001-KallbergS #architecture #evolution: Ship System 2000, a Stable Architecture under Continuous Evolution (BK, RS), pp. 371–379.
SIGAda-2001-KallbergS #architecture #evolution: Ship system 2000, a stable architecture under continuous evolution (BK, RS), pp. 47–52.
ICML-2001-GhavamzadehM #learning: Continuous-Time Hierarchical Reinforcement Learning (MG, SM), pp. 186–193.
ICML-2001-SebastianiR #clustering: Clustering Continuous Time Series (PS, MR), pp. 497–504.
SIGMOD-2000-ChenJDTW #database #internet #named #query #scalability: NiagaraCQ: A Scalable Continuous Query System for Internet Databases (JC, DJD, FT, YW), pp. 379–390.
SIGMOD-2000-HellersteinA #adaptation #named #query: Eddies: Continuously Adaptive Query Processing (RA, JMH), pp. 261–272.
SIGMOD-2000-SaltenisJLL: Indexing the Positions of Continuously Moving Objects (SS, CSJ, STL, MAL), pp. 331–342.
ESOP-2000-Danvy #continuation #formal method #implementation: Formalizing Implementation Strategies for First-Class Continuations (OD), pp. 88–103.
ESOP-2000-LawallM #continuation: Sharing Continuations: Proofnets for Languages with Explicit Control (JLL, HGM), pp. 245–259.
ESOP-2000-Thielecke #continuation #exception #on the: On Exceptions Versus Continuations in the Presence of State (HT), pp. 397–411.
ICFP-2000-Queinnec #continuation #web: The influence of browsers on evaluators or, continuations to program web servers (CQ), pp. 23–33.
CHI-2000-MacLeanSL: Tagged handles: merging discrete and continuous manual control (KEM, SSS, GL), pp. 225–232.
CSCW-2000-Mauve #consistency #interactive: Consistency in replicated continuous interactive media (MM), pp. 181–190.
ICML-2000-SmartK #learning: Practical Reinforcement Learning in Continuous Spaces (WDS, LPK), pp. 903–910.
ICPR-v1-2000-ArlandisPL #distance #recognition #using: Handwritten Character Recognition using the Continuous Distance Transformation (JA, JCPC, RL), pp. 1940–1943.
ICPR-v2-2000-BauerHK #recognition #statistics #using: Video-Based Continuous Sign Language Recognition Using Statistical Methods (BB, HH, KFK), pp. 2463–2466.
ICPR-v2-2000-GuillaudBRBT #detection #multi #using: Continuity Perception Using a Multiagent System: An Application to Growth Ring Detection on Fish Otoliths (AG, AB, VR, JLB, HT), pp. 2519–2522.
ICPR-v2-2000-WuKS #gesture #programming #recognition: Improvement of Continuous Dynamic Programming for Human Gesture Recognition (HW, RK, TS), pp. 2945–2948.
ICPR-v3-2000-SekimotoNTO #query #retrieval #using #video: Continuous Retrieval of Video Using Segmentation-Free Query (NS, TN, HT, RO), pp. 3375–3378.
KDD-2000-Bay #mining #multi #set: Multivariate discretization of continuous variables for set mining (SDB), pp. 315–319.
KR-2000-Galton: Continuous Motion in Discrete Space (AG), pp. 26–37.
LOPSTR-2000-JahierDR #continuation #modelling #prolog #semantics #specification: Specifying Prolog trace models with a continuation semantics (EJ, MD, OR).
LOPSTR-J-2000-JahierDR #continuation #modelling #prolog #semantics #specification: Specifying Prolog Trace Models with a Continuation Semantics (EJ, MD, OR), pp. 165–182.
PPDP-2000-TodoranP #continuation #logic programming #parallel: Continuations for parallel logic programming (ET, NP), pp. 257–267.
HPCA-2000-MoshovosS #dependence #memory management #trade-off: Memory Dependence Speculation Tradeoffs in Centralized, Continuous-Window Superscalar Processors (AM, GSS), pp. 301–312.
OSDI-2000-YuV #consistency #design #evaluation: Design and Evaluation of a Continuous Consistency Model for Replicated Services (HY, AV), pp. 305–318.
CAV-2000-BaierHHK #analysis #markov #model checking: Model Checking Continuous-Time Markov Chains by Transient Analysis (CB, BRH, HH, JPK), pp. 358–372.
CSL-2000-BauerB #dependent type: Continuous Functionals of Dependent Types and Equilogical Spaces (AB, LB), pp. 202–216.
LICS-2000-BussK #bound: Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (SRB, BMK), pp. 77–83.
DAC-1999-QiuP #markov #power management #process: Dynamic Power Management Based on Continuous-Time Markov Decision Processes (QQ, MP), pp. 555–561.
DATE-1999-Junkkari #challenge #complexity #design #development #testing: Higher Product Complexity and Shorter Development Time — Continuous Challenge to Design and Test Environment (JJ), pp. 2–3.
ICDAR-1999-MiletzkiBS #learning: Continuous Learning Systems: Postal Address Readers with Built-In Learning Capability (UM, TB, HS), pp. 329–332.
ICDAR-1999-UchidaS #2d #recognition #using: Handwritten Character Recognition using Monotonic and Continuous Two-dimensional Warping (SU, HS), pp. 499–502.
FASE-1999-Weber #communication #information management: Continuous Engineering of Information and Communication Infrastructures (Extended Abstract) (HW), pp. 22–29.
ICALP-1999-RieckeT #continuation: Typed Exeptions and Continuations Cannot Macro-Express Each Other (JGR, HT), pp. 635–644.
FM-v2-1999-Nadjm-TehraniA #design #modelling #proving #theorem proving: Combining Theorem Proving and Continuous Models in Synchronous Design (SNT, OÅ), pp. 1384–1399.
IFM-1999-Fidge #behaviour #modelling: Modelling Discrete Behaviour in a Continuous-Time Formalism (CJF), pp. 170–188.
CHI-1999-KaratHHK #recognition #scalability #speech: Patterns of Entry and Correction in Large Vocabulary Continuous Speech Recognition System (CMK, CH, DBH, JK), pp. 568–575.
CHI-1999-RekimotoS #hybrid: Augmented Surfaces: A Spatially Continuous Work Space for Hybrid Computing Environments (JR, MS), pp. 378–385.
CIKM-1999-GhandeharizadehK #comparison #multi: A Comparison of Alternative Continuous Display Techniques with Heterogeneous Multi-Zone Disks (SG, SHK), pp. 442–449.
KDD-1999-ShanmugasundaramFB #approximate #query: Compressed Data Cubes for OLAP Aggregate Query Approximation on Continuous Dimensions (JS, UMF, PSB), pp. 223–232.
POPL-1999-Ruckert: Continuous Grammars (MR), pp. 303–310.
DAC-1998-Kung #algorithm #library #optimisation #performance: A Fast Fanout Optimization Algorithm for Near-Continuous Buffer Libraries (DSK), pp. 352–355.
PODS-1998-GarofalakisIOS #database: Throughput-Competitive Admission Control for Continuous Media Databases (MNG, YEI, BÖ, AS), pp. 79–88.
SIGMOD-1998-AvnurHLORRRW #named #navigation #online #refinement: CONTROL: Continuous Output and Navigation Technology with Refinement On-Line (RA, JMH, BL, CO, BR, VR, TR, KW), pp. 567–569.
VLDB-1998-LinR #query #sequence: Querying Continuous Time Sequences (LL, TR), pp. 170–181.
FoSSaCS-1998-BukatinS #metric: Partial Metrics and Co-continuous Valuations (MAB, SYS), pp. 125–139.
ICFP-1998-SobelF #continuation: Recycling Continuations (JS, DPF), pp. 251–260.
CIKM-1998-Horvitz #policy: Continual Computation Policies for Utility-Directed Prefetching (EH), pp. 175–184.
ICML-1998-FriedmanGL #classification #network #parametricity: Bayesian Network Classification with Continuous Attributes: Getting the Best of Both Discretization and Parametric Fitting (NF, MG, TJL), pp. 179–187.
ICML-1998-MooreSBL #learning #named #optimisation: Q2: Memory-Based Active Learning for Optimizing Noisy Continuous Functions (AWM, JGS, JAB, MSL), pp. 386–394.
ICML-1998-Saul #automation #segmentation: Automatic Segmentation of Continuous Trajectories with Invariance to Nonlinear Warpings of Time (LKS), pp. 506–514.
ICPR-1998-BabaguchiJ #detection: Event detection from continuous media (NB, RJ), pp. 1209–1212.
ICPR-1998-EickelerKR #gesture #markov #modelling #online #recognition: Hidden Markov model based continuous online gesture recognition (SE, AK, GR), pp. 1206–1208.
ICPR-1998-StoddartB #multi #re-engineering #using: Surface reconstruction and compression using multiresolution arbitrary topology G1 continuous splines (AJS, MSB), pp. 788–791.
ICPR-1998-UchidaS #2d #programming: A monotonic and continuous two-dimensional warping based on dynamic programming (SU, HS), pp. 521–524.
ICPR-1998-WangIY: Recognizing degree of continuous facial expression change (MW, YI, MY), pp. 1188–1190.
SAC-1998-WangW #adaptation #multi #optimisation #performance: Efficient and adaptive Lagrange-multiplier methods for continuous nonlinear optimization (TW, BWW), pp. 361–365.
JICSLP-1998-CollavizzaDR #consistency: Relationships between Partial Consistencies over Continuous Domains (HC, FD, MR), pp. 345–346.
EDTC-1997-BenabesKK #design: A methodology for designing continuous-time sigma-delta modulators (PB, MK, RK), pp. 46–50.
PODS-1997-NerjesMW #multi #probability: Stochastic Service Guarantees for Continuous Data on Multi-Zone Disks (GN, PM, GW), pp. 154–160.
VLDB-1997-GarofalakisOS #database #scheduling: Resource Scheduling in Enhanced Pay-Per-View Continuous Media Databases (MNG, BÖ, AS), pp. 516–525.
CHI-1997-LaiV #named #recognition #speech: MedSpeak: Report Creation with Continuous Speech Recognition (JL, JV), pp. 431–438.
CHI-1997-WilcoxABCC #debugging #feedback #programming #question #visual notation: Does Continuous Visual Feedback Aid Debugging in Direct-Manipulation Programming Systems? (EMW, JWA, MMB, JJC, CRC), pp. 258–265.
HCI-CC-1997-ZauchnerKVW #implementation: The Second Vienna Implementation Study: I. Contextual Factors Modifying the Effects of Continuous Implementations of Information Technology (SZ, CK, OV, AW), pp. 383–386.
CIKM-1997-LeeSWSKF #evaluation #file system: Experimental Evaluation of PFS Continuous Media File System (WL, DS, DW, JS, DRKH, MF), pp. 246–253.
CIKM-1997-NakayamaYK #constraints #regular expression: I-Regular Expression: Regular Expression with Continuous Interval Constraints (KN, KY, SK), pp. 40–50.
ICML-1997-Mansour: Pessimistic decision tree pruning based Continuous-time (YM), pp. 202–210.
KDD-1997-HoS #named: Zeta: A Global Method for Discretization of Continuous Variables (KMH, PDS), pp. 191–194.
KDD-1997-ZighedRF #learning #multi: Optimal Multiple Intervals Discretization of Continuous Attributes for Supervised Learning (DAZ, RR, FF), pp. 295–298.
SAC-1997-MostafaS #collaboration #multi #protocol #reliability: A reliable multicast session protocol for collaborative continuous-feed applications (WM, MS), pp. 35–39.
ICSE-1997-FriesenJW #specification: Specification of Software Controlling a Discrete-Continuous Environment (VF, SJ, MW), pp. 315–325.
SOSP-1997-AndersonBDGHLSVWW #profiling #question: Continuous Profiling: Where Have All the Cycles Gone? (JAMA, LMB, JD, SG, MRH, STL, RLS, MTV, CAW, WEW), pp. 1–14.
LICS-1997-HofmannS #continuation #modelling #λ-calculus #μ-calculus: Continuation Models are Universal for λμ-Calculus (MH, TS), pp. 387–395.
SIGMOD-1996-OzdenRSS #architecture #fault tolerance: Fault-tolerant Architectures for Continuous Media Servers (BÖ, RR, PJS, AS), pp. 79–90.
PLDI-1996-BruggemanWD #continuation #representation: Representing Control in the Presence of One-Shot Continuations (CB, OW, RKD), pp. 99–107.
STOC-1996-BernS: Pushing Disks Together — The Continuous-Motion Case (MWB, AS), pp. 119–125.
ICML-1996-FriedmanG #learning #network: Discretizing Continuous Attributes While Learning Bayesian Networks (NF, MG), pp. 157–165.
ICML-1996-Munos #algorithm #convergence #learning: A Convergent Reinforcement Learning Algorithm in the Continuous Case: The Finite-Element Reinforcement Learning (RM), pp. 337–345.
ICPR-1996-RigollKRN #comparison #markov #modelling #recognition: A comparison between continuous and discrete density hidden Markov models for cursive handwriting recognition (GR, AK, JR, CN), pp. 205–209.
ICPR-1996-SchwartzLMRZ #independence #recognition #speech #using: Language-independent OCR using a continuous speech recognition system (RMS, CL, JM, CR, YZ), pp. 99–103.
KDD-1996-KaufmanM #information management #multi #reasoning: A Method for Reasoning with Structured and Continuous Attributes in the INLEN-2 Multistrategy Knowledge Discovery System (KAK, RSM), pp. 232–237.
KDD-1996-KohaviS: Error-Based and Entropy-Based Discretization of Continuous Features (RK, MS), pp. 114–119.
KR-1996-Reiter #calculus #concurrent: Natural Actions, Concurrency and Continuous Time in the Situation Calculus (RR), pp. 2–13.
CAV-1996-AzizSSB #markov #verification: Verifying Continuous Time Markov Chains (AA, KS, VS, RKB), pp. 269–276.
ICDAR-v1-1995-ChenWB #comparison #image #markov #modelling: A comparison of discrete and continuous hidden Markov models for phrase spotting in text images (FC, LW, DSB), pp. 398–402.
VLDB-1995-MoserKK #data flow #interactive #multi #named: L/MRP: A Buffer Management Strategy for Interactive Continuous Data Flows in a Multimedia DBMS (FM, AK, WK), pp. 275–286.
ICML-1995-DoughertyKS: Supervised and Unsupervised Discretization of Continuous Features (JD, RK, MS), pp. 194–202.
ICML-1995-Pfahringer: Compression-Based Discretization of Continuous Attributes (BP), pp. 456–463.
ICML-1995-Quinlan: MDL and Categorial Theories (Continued) (JRQ), pp. 464–470.
ILPS-1995-TarauDF #backtracking #continuation #linear: Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars (PT, VD, AF), p. 642.
ESOP-1994-Moreau #automaton #continuation #evaluation #functional #parallel #source code: The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations (LM), pp. 424–438.
ESOP-1994-MuckS #continuation #functional #logic #semantics: A Tiny Constrain Functional Logic Language and Its Continuation Semantics (AM, TS), pp. 439–453.
PLDI-1994-SabryF #analysis #continuation #data flow #question: Is Continuation-Passing Useful for Data Flow Analysis? (AS, MF), pp. 1–12.
LFP-1994-LawallD #partial evaluation: Continuation-Based Partial Evaluation (JLL, OD), pp. 227–238.
LFP-1994-Queinnec #continuation #locality: Locality, Causality and Continuations (CQ), pp. 91–102.
CIKM-1994-OzdenRS #on the #retrieval: On the Storage and Retrieval of Continuous Media Data (BÖ, RR, AS), pp. 322–328.
KR-1994-KuipersS #logic #reasoning: Reasoning in Logic about Continuous Systems (BK, BS), pp. 391–402.
LOPSTR-1994-TarauD #continuation #first-order #logic programming: Logic Programming and Logic Grammars with First-Order Continuations (PT, VD), pp. 215–230.
PLILP-1994-MoreauQ #continuation #difference: Partial Continuations as the Difference of Continuations — A Duumvirate of Control Operators (LM, CQ), pp. 182–197.
POPL-1994-HatcliffD #continuation: A Generic Account of Continuation-Passing Styles (JH, OD), pp. 458–471.
SAC-1994-BosschereT #continuation #performance #prolog: High performance continuation passing style Prolog-to-C mapping (KDB, PT), pp. 383–387.
SAC-1994-ChenB #analysis #concurrent #database #detection #performance #petri net #transaction: A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection (IRC, RB), pp. 539–544.
ICLP-1994-BelleghemDS #abduction #calculus #representation: Representing Continuous Change in the Abductive Event Calculus (KVB, MD, DDS), pp. 225–239.
ILPS-1994-Lindgren #continuation #prolog: A Continuation-Passing Style for Prolog (TL), pp. 603–617.
ICDAR-1993-BillawalaHP #continuation #image: Image continuation (NB, PEH, MP), pp. 53–57.
PLDI-1993-FlanaganSDF #compilation #continuation: The Essence of Compiling with Continuations (CF, AS, BFD, MF), pp. 237–247.
Best-of-PLDI-1993-FlanaganSDF93a #compilation #continuation: The essence of compiling with continuations (with retrospective) (CF, AS, BFD, MF), pp. 502–514.
POPL-1993-LawallD #continuation: Separating Stages in the Continuation-Passing Style Transformation (JLL, OD), pp. 124–136.
POPL-1993-Leroy #continuation #morphism #polymorphism: Polymorphism by Name for References and Continuations (XL), pp. 220–231.
ICLP-1993-BrissetR #continuation #prolog: Continuations in λ-Prolog (PB, OR), pp. 27–43.
ILPS-1993-Tarau #continuation #performance #source code: An Efficient Specialization of the WAM for Continuation Passing Binary Programs (PT), p. 652.
TLCA-1993-JungS: Studying the Fully Abstract Model of PCF within its Continuous Function Model (AJ, AS), pp. 230–244.
SIGMOD-1992-TerryGNO #database #query: Continuous Queries over Append-Only Databases (DBT, DG, DAN, BMO), pp. 321–330.
SEI-1992-Brown #education #process: Continuing Education and Training for Software Process Improvement (AWB), pp. 301–307.
SEI-1992-Lulofs #education #industrial #requirements: Industry Requirements for Academic and Continuing Education (TJL), pp. 117–118.
SEI-1992-MarijarvaH #education: (Continuing) Education of Software Professionals (JM, IJH), pp. 180–193.
WSA-1992-DanvyH: Thunks (Continued) (OD, JH), pp. 3–11.
LFP-1992-DanvyL #continuation: Back to Direct Style II: First-Class Continuations (OD, JLL), pp. 299–310.
LFP-1992-SabryF #continuation #reasoning #source code: Reasoning About Programs in Continuation-Passing Style (AS, MF), pp. 288–298.
ML-1992-Christiansen #learning #nondeterminism #predict: Learning to Predict in Uncertain Continuous Tasks (ADC), pp. 72–81.
PLILP-1992-Tarau #continuation #named #prolog: BinProlog: a Continuation Passing Style Prolog Engine (PT), pp. 479–480.
POPL-1992-Filinski #continuation #linear: Linear Continuations (AF), pp. 27–38.
ASPLOS-1992-HollandG #array #clustering: Parity Declustering for Continuous Operation in Redundant Disk Arrays (MH, GAG), pp. 23–35.
IWMM-1992-Tarau #continuation #memory management #prolog: Ecological Memory Management in a Continuation Passing Prolog Engine (PT), pp. 344–356.
SEI-1991-MeadL #education #re-engineering: Software Engineering: Graduate-Level Courses for AFIT Professional Continuing Education (NRM, PKL), pp. 114–126.
STOC-1991-CoffmanCGJMSWY #analysis #case study: Fundamental Discrepancies between Average-Case Analyses under Discrete and Continuous Distributions: A Bin Packing Case Study (EGCJ, CC, MRG, DSJ, LAM, PWS, RRW, MY), pp. 230–240.
FPCA-1991-Fradet #continuation #detection #thread #using: Syntactic Detection of Single-Threading Using Continuations (PF), pp. 241–258.
POPL-1991-DubaHM #continuation #ml #type system: Typing First-Class Continuations in ML (BFD, RH, DBM), pp. 163–173.
POPL-1991-QueinnecS #continuation: A Dynamic Extent Control Operator for Partial Continuations (CQ, BPS), pp. 174–184.
POPL-1991-SitaramF #continuation #modelling: Modeling Continuations without Continuations (DS, MF), pp. 185–196.
SOSP-1991-DravesBRD #communication #concurrent #continuation #operating system #thread #using: Using Continuations to Implement Thread Management and Communication in Operating Systems (RD, BNB, RFR, RWD), pp. 122–136.
SOSP-1991-GovindanA #scheduling: Scheduling and IPC Mechanisms for Continuous Media (RG, DPA), pp. 68–80.
SEI-1990-SmithAARS #education #re-engineering: Industry-Academic Cooperation in Software Engineering Training and Continuing Education (GS, AFA, GNA, WJGR, GS), pp. 157–164.
PLDI-1990-HiebDB #continuation #representation: Representing Control in the Presence of First-Class Continuations (RH, RKD, CB), pp. 66–77.
ICALP-1990-Kuich #algebra #automaton: ω-Continuous Semirings, Algebraic Systems and Pushdown Automata (WK), pp. 103–110.
LFP-1990-GiorgiM #functional #implementation #parallel #programming language: Continuation-Based Parallel Implementation of Functional Programming Languages (JFG, DLM), pp. 209–217.
LFP-1990-KatzW #continuation #interactive: Continuing into the Future: On the Interaction of Futures and First-Class Continuations (MK, DW), pp. 176–184.
LFP-1990-SitaramF #abstraction #continuation #modelling #reasoning: Reasoning with Continuations II: Full Abstraction for Models of Control (DS, MF), pp. 161–175.
CHI-1990-Grudin #design #interface: The computer reaches out: the historical continuity of interface design (JG), pp. 261–268.
CC-1990-Pettersson #continuation #generative #performance #semantics: Generating Efficient Code from Continuation Semantics (MP), pp. 165–178.
PPoPP-1990-HiebD #concurrent #continuation: Continuations and Concurrency (RH, RKD), pp. 128–136.
LICS-1990-Jung #classification: The Classification of Continuous Domains (Extended Abstract) (AJ), pp. 35–40.
PLDI-1989-JouvelotG #continuation #reasoning: Reasoning about Continuations with Control Effects (PJ, DKG), pp. 218–226.
POPL-1989-AppelJ #continuation: Continuation-Passing, Closure-Passing Style (AWA, TJ), pp. 293–302.
SEI-1988-SigillitoBL #re-engineering #source code: Software Engineering in the Johns Hopkins University Continuing Professional Programs (VGS, BIB, PHL), pp. 20–31.
LFP-1988-ClingerHO #continuation #implementation: Implementation Strategies for Continuations (WDC, AH, EO), pp. 124–131.
LFP-1988-FelleisenWFD #continuation #semantics: Abstract Continuations: A Mathematical Semantics for Handling Full Jumps (MF, MW, DPF, BFD), pp. 52–62.
LFP-1988-MeyerR #continuation: Continuations May be Unreasonable (ARM, JGR), pp. 63–71.
LFP-1988-Vuillemin: Exact Real Computer Arithmetic with Continued Fractions (JV), pp. 14–27.
POPL-1988-JohnsonD #continuation: Stores and Partial Continuations as First-Class Objects in a Language and its Environment (GFJ, DD), pp. 158–168.
POPL-1988-MontenyohlW #analysis #continuation #semantics: Correct Flow Analysis in Continuation Semantics (MM, MW), pp. 204–218.
PLDI-1987-Johnson #continuation #named: GL — a denotational testbed with continuations and partial continuations as first-class objects (GFJ), pp. 165–176.
ICLP-1986-Haynes86 #continuation #logic: Logic Continuations (CTH), pp. 671–685.
LICS-1986-FelleisenFKD #continuation #reasoning: Reasoning with Continuations (MF, DPF, EEK, BFD), pp. 131–141.
LFP-1984-HaynesFW #continuation: Continuations and Coroutines (CTH, DPF, MW), pp. 293–298.
VLDB-1983-KrishnamurthyMZ #named: Query-By-Example: Operations on Piecewise Continuous Data (Extended Abstract) (RK, SPM, MMZ), pp. 305–308.
ICALP-1983-Fraenkel #fibonacci #game studies: Wythoff Games, Continued Fractions, Cedar Trees and Fibonacci Searches (ASF), pp. 203–225.
ICALP-1982-FernandezT: Some Properties of D-Continuous Causal Nets (CF, PST), pp. 225–238.
LISP-1980-Wand #multi: Continuation-Based Multiprocessing (MW), pp. 19–28.
ICALP-1979-SethiT #call-by #continuation #semantics: Constructing Call-by-Value Continuation Semantics (RS, AT), pp. 556–570.
VDM-1978-Jones78a #continuation #goto #semantics: Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations (CBJ), pp. 278–304.
ICALP-1974-Reynolds #continuation #on the #semantics: On the Relation between Direct and Continuation Semantics (JCR), pp. 141–156.
DAC-1969-Hightower #problem: A solution to line-routing problems on the continuous plane (DWH), pp. 1–24.