70 papers:
DAC-2015-Kahng #game studies- New game, new goal posts: a recent history of timing closure (ABK), p. 6.
LICS-2015-Smith #data flow #tutorial- Recent Developments in Quantitative Information Flow (Invited Tutorial) (GS), pp. 23–31.
DATE-2014-RuhrmairSB #how- Special session: How secure are PUFs really? On the reach and limits of recent PUF attacks (UR, US, WB), pp. 1–4.
VLDB-2014-LiLZ #big data #challenge #enterprise- Enterprise Search in the Big Data Era: Recent Developments and Open Challenges (YL, ZL, HZ), pp. 1717–1718.
CIAA-2014-Otto #automaton #bibliography- Restarting Automata for Picture Languages: A Survey on Recent Developments (FO), pp. 16–41.
KDD-2014-TangTL #future of #recommendation #social #social media- Recommendation in social media: recent advances and new frontiers (JT, JT, HL), p. 1977.
- DATE-2013-YakovlevVR #industrial #logic #roadmap #tool support
- Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools (AY, PV, MR), pp. 1715–1724.
CSEET-2013-ArdisBFFHHS #re-engineering #roadmap- Recent Trends in Graduate Software Engineering (MAA, SB, DF, DJF, TBH, GWH, TS), pp. 351–355.
TACAS-2013-CranenGKSVWW #bibliography #tool support- An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.
ICALP-v2-2013-Albers #problem #scheduling- Recent Advances for a Classical Scheduling Problem (SA), pp. 4–14.
ICEIS-v2-2013-CallegariJC #bibliography #challenge #health #mobile #roadmap- Technical Trends and Challenges in Mobile Health — A Systematic Review of Recent Available Literature (DAC, LCJ, ACdC), pp. 519–525.
SIGIR-2013-BicerL #challenge- Searching in the city of knowledge: challenges and recent developments (VB, VL), p. 1123.
CIKM-2012-JatowtT #analysis #scalability- Large scale analysis of changes in english vocabulary over recent time (AJ, KT), pp. 2523–2526.
- KDD-2012-BatalFHMH #detection #mining #multi
- Mining recent temporal patterns for event detection in multivariate time series data (IB, DF, JH, FM, MH), pp. 280–288.
KDIR-2012-SpiegelA #analysis #distance #invariant- An Order-invariant Time Series Distance Measure — Position on Recent Developments in Time Series Analysis (SS, SA), pp. 264–268.
PADL-2012-LooGLMMSWZ #declarative #network- Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.
CAV-2012-ArmstrongGLOPRW- Recent Developments in FDR (PJA, MG, GL, JO, HP, AWR, JW), pp. 699–704.
AFL-2011-Umeo #2d #algorithm #automaton #implementation- Recent Developments in Firing Squad Synchronization Algorithms for Two-Dimensional Cellular Automata and Their State-Efficient Implementations (HU), pp. 368–387.
OCSC-2011-KadenbachK #community #education #online #research #roadmap- Recent Trends in Software Support for Online Communities for Teaching and Research Projects in Higher Education (DK, CK), pp. 50–59.
- CIKM-2011-WangC #information retrieval #modelling #probability #ranking #statistics
- Statistical information retrieval modelling: from the probability ranking principle to recent advances in diversity, portfolio theory, and beyond (JW, KCT), pp. 2603–2604.
- SIGIR-2011-EfronG #estimation #ranking
- Estimation methods for ranking recent information (ME, GG), pp. 495–504.
- LICS-2011-Pitassi #bibliography #complexity #proving #state of the art
- Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results (TP), p. 119.
- DAC-2010-MitraSN #challenge #validation
- Post-silicon validation opportunities, challenges and recent advances (SM, SAS, NN), pp. 12–17.
SIGMOD-2010-ChiticariuLRR #challenge #enterprise #information management- Enterprise information extraction: recent developments and open challenges (LC, YL, SR, FR), pp. 1257–1258.
ECIR-2010-GurrinHKKLRRR #information retrieval- Recent Developments in Information Retrieval (CG, YH, GK, UK, SL, TR, SMR, KvR), pp. 1–9.
PPDP-2010-Bonacina #on the #proving #theorem proving- On theorem proving for program checking: historical perspective and recent developments (MPB), pp. 1–12.
SPLC-2010-JonesN #case study #experience #product line- Recent Experiences with Software Product Lines in the US Department of Defense (LGJ, LMN), pp. 486–490.
- DATE-2009-GrabBCCFLS #layout #synthesis
- Analog layout synthesis — Recent advances in topological approaches (HG, FB, RCL, YWC, FVF, MPHL, MS), pp. 274–279.
- CIAA-J-2008-HolzerK09 #automaton #complexity #finite #nondeterminism
- Nondeterministic Finite Automata — Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 563–580.
LATA-2009-BalbachZ #algorithm #education- Recent Developments in Algorithmic Teaching (FJB, TZ), pp. 1–18.
ICML-2009-BennettBC #information retrieval #machine learning #summary #tutorial- Tutorial summary: Machine learning in IR: recent successes and new opportunities (PNB, MB, KCT), p. 17.
- KDD-2009-Wasserman #network #statistics
- Network science: an introduction to recent statistical approaches (SW), pp. 9–10.
SAC-2009-BohnetVD #debugging #execution #locality- Projecting code changes onto execution traces to support localization of recently introduced bugs (JB, SV, JD), pp. 438–442.
- DAC-2008-Trihy #challenge #library
- Addressing library creation challenges from recent Liberty extensions (RT), pp. 474–479.
- AFL-2008-Paun
- Membrane Computing: Recent Developments and Applications (Extended Abstract) (GP), pp. 350–351.
- CIAA-2008-HolzerK #complexity #finite #nondeterminism
- Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 1–16.
RecSys-2008-Koren #collaboration #tutorial- Tutorial on recent progress in collaborative filtering (YK), pp. 333–334.
- SIGMOD-2007-Wang #challenge #database #integration
- Recent database challenges in China on data consolidation and integration (YW), p. 898.
ICPC-2007-Kiczales #aspect-oriented #design- Making the Code Look Like the Design — Aspects and Other Recent Work (GK), p. 14.
CHI-2007-TangLPWD #interactive #process #using- Recent shortcuts: using recent interactions to support shared activities (JCT, JL, JSP, SW, CD), pp. 1263–1272.
RE-2006-EbertB #question- Have You Spoken to Your Product Manager Recently? (CE, SB), p. 322.
ITiCSE-2005-Pohlhaus- Ethical engagement with data collection efforts related to fighting terrorists and terrorism in the context of recent events (WP), p. 401.
DLT-2005-CarpiL #word- Central Sturmian Words: Recent Developments (AC, AdL), pp. 36–56.
- CHI-2005-TollingerLMTVHP #constraints #development #modelling #multi #performance
- Supporting efficient development of cognitive models at multiple skill levels: exploring recent advances in constraint-based modeling (IT, RLL, MM, PT, AHV, AH, LP), pp. 411–420.
- ICEIS-v4-2004-MahmoudXL #evaluation #mobile #research
- Evaluation of Recent Research in Mobile Agent Platforms for Mobile Devices (QHM, ZX, XL), pp. 331–336.
- DAC-2003-Wasshuber
- Recent advances and future prospects in single-electronics (CW), pp. 274–275.
- CIKM-2003-ChangL #adaptation #data type #monitoring #named #online
- estWin: adaptively monitoring the recent change of frequent itemsets over online data streams (JHC, WSL), pp. 536–539.
- KDD-2003-ChangL #adaptation #data type #online
- Finding recent frequent itemsets adaptively over online data streams (JHC, WSL), pp. 487–492.
ICPR-v2-2002-ChenQ #2d #evaluation #roadmap- Recent Trends in 2D Blind Deconvolution for Nondestructive Evaluation (CHC, UQ), pp. 989–992.
- ICPR-v3-2002-Bourlard #pattern matching #pattern recognition #recognition #speech #statistics
- Some Recent Advances in Speech Recognition with Potential Applications in Other Statistical Pattern Recognition Areas (HB), p. 727.
- CIKM-2001-Mani #summary
- Recent Developments in Text Summarization (IM), pp. 529–531.
- ICPR-v2-2000-Bunke #graph
- Recent Developments in Graph Matching (HB), pp. 2117–2124.
- LICS-2000-Selman #challenge #problem #satisfiability #testing
- Satisfiability Testing: Recent Developments and Challenge Problems (BS), p. 178.
- LICS-1998-Thomas #automaton #logic #monad
- Monadic Logic and Automata: Recent Developments (WT), pp. 136–138.
- SAC-1996-PetkovicNFSLYHTTDGVVHHWEB #image #query
- Recent applications of IBM’s query by image content (QBIC) (DP, WN, MF, DS, DL, JY, JH, FT, HT, RD, MG, MV, PV, BJH, JH, KW, PE, CB), pp. 2–6.
- DLT-1995-Berstel #word
- Recent Results on Sturmian Words (JB), pp. 13–24.
- DLT-1995-DiekertGP #traceability
- Recent Developments in Trace Theory (VD, PG, AP), pp. 373–385.
CADE-1994-GollerLMS- SETHEO V3.2: Recent Developments — System Abstract (CG, RL, KM, JS), pp. 778–782.
- HCI-ACS-1993-CarayonLYSSL #monitoring #performance #research
- Recent Research Findings on Stress and Electronic Performance Monitoring (PC, SYL, CLY, MJS, KJS, DL), pp. 1017–1022.
ICSE-1992-Fairley #estimation- Recent Advances in Software Estimation Techniques (REF), pp. 382–391.
- ICSE-1990-Basili #metric
- Recent Advances in Software Measurement (Abstract for Talk) (VRB), pp. 44–49.
- ICALP-1989-EhrigPO #algebra #on the #roadmap #specification
- On Recent Trends in Algebraic Specification (HE, PP, FO), pp. 263–288.
- ICALP-1987-Karhumaki #formal method #on the #roadmap
- On Recent Trends in Formal Language Theory (JK), pp. 136–162.
- ICALP-1987-Valiant #formal method #learning
- Recent Developments in the Theory of Learning (Abstract) (LGV), p. 563.
- SIGIR-1986-Salton #automation #information retrieval #roadmap
- Recent Trends in Automatic Information Retrieval (GS), pp. 1–10.
LFP-1984-BatesDF #lisp- Recent Developments in ISI-Interlisp (RLB, DD, MF), pp. 129–139.
- DAC-1981-Eastman #design #representation
- Recent developments in representation in the science of design (CME), pp. 13–21.
- ICALP-1979-Karp #algorithm #analysis #graph #probability
- Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms (Abstract) (RMK), pp. 338–339.
- VLDB-1975-Kerr #tutorial
- Recent Results on the Attribute Based Data Model — A Tutorial (DSK), pp. 526–528.
- ICALP-1974-Kandzia #algol #on the #source code
- On the Most Recent Property of Algol-Like Programs (PK), pp. 97–111.
