BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
develop (23)
advanc (14)
challeng (8)
trend (7)
data (7)

Stem recent$ (all stems)

70 papers:

DACDAC-2015-Kahng #game studies
New game, new goal posts: a recent history of timing closure (ABK), p. 6.
LICSLICS-2015-Smith #data flow #tutorial
Recent Developments in Quantitative Information Flow (Invited Tutorial) (GS), pp. 23–31.
DATEDATE-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.
VLDBVLDB-2014-LiLZ #big data #challenge #enterprise
Enterprise Search in the Big Data Era: Recent Developments and Open Challenges (YL, ZL, HZ), pp. 1717–1718.
CIAACIAA-2014-Otto #automaton #bibliography
Restarting Automata for Picture Languages: A Survey on Recent Developments (FO), pp. 16–41.
KDDKDD-2014-TangTL #future of #recommendation #social #social media
Recommendation in social media: recent advances and new frontiers (JT, JT, HL), p. 1977.
DATEDATE-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.
CSEETCSEET-2013-ArdisBFFHHS #re-engineering #roadmap
Recent Trends in Graduate Software Engineering (MAA, SB, DF, DJF, TBH, GWH, TS), pp. 351–355.
TACASTACAS-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.
ICALPICALP-v2-2013-Albers #problem #scheduling
Recent Advances for a Classical Scheduling Problem (SA), pp. 4–14.
ICEISICEIS-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.
SIGIRSIGIR-2013-BicerL #challenge
Searching in the city of knowledge: challenges and recent developments (VB, VL), p. 1123.
CIKMCIKM-2012-JatowtT #analysis #scalability
Large scale analysis of changes in english vocabulary over recent time (AJ, KT), pp. 2523–2526.
KDDKDD-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.
KDIRKDIR-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.
PADLPADL-2012-LooGLMMSWZ #declarative #network
Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.
CAVCAV-2012-ArmstrongGLOPRW
Recent Developments in FDR (PJA, MG, GL, JO, HP, AWR, JW), pp. 699–704.
AFLAFL-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.
HCIOCSC-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.
CIKMCIKM-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.
SIGIRSIGIR-2011-EfronG #estimation #ranking
Estimation methods for ranking recent information (ME, GG), pp. 495–504.
LICSLICS-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.
DACDAC-2010-MitraSN #challenge #validation
Post-silicon validation opportunities, challenges and recent advances (SM, SAS, NN), pp. 12–17.
SIGMODSIGMOD-2010-ChiticariuLRR #challenge #enterprise #information management
Enterprise information extraction: recent developments and open challenges (LC, YL, SR, FR), pp. 1257–1258.
ECIRECIR-2010-GurrinHKKLRRR #information retrieval
Recent Developments in Information Retrieval (CG, YH, GK, UK, SL, TR, SMR, KvR), pp. 1–9.
PPDPPPDP-2010-Bonacina #on the #proving #theorem proving
On theorem proving for program checking: historical perspective and recent developments (MPB), pp. 1–12.
SPLCSPLC-2010-JonesN #case study #experience #product line
Recent Experiences with Software Product Lines in the US Department of Defense (LGJ, LMN), pp. 486–490.
DATEDATE-2009-GrabBCCFLS #layout #synthesis
Analog layout synthesis — Recent advances in topological approaches (HG, FB, RCL, YWC, FVF, MPHL, MS), pp. 274–279.
CIAACIAA-J-2008-HolzerK09 #automaton #complexity #finite #nondeterminism
Nondeterministic Finite Automata — Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 563–580.
LATALATA-2009-BalbachZ #algorithm #education
Recent Developments in Algorithmic Teaching (FJB, TZ), pp. 1–18.
ICMLICML-2009-BennettBC #information retrieval #machine learning #summary #tutorial
Tutorial summary: Machine learning in IR: recent successes and new opportunities (PNB, MB, KCT), p. 17.
KDDKDD-2009-Wasserman #network #statistics
Network science: an introduction to recent statistical approaches (SW), pp. 9–10.
SACSAC-2009-BohnetVD #debugging #execution #locality
Projecting code changes onto execution traces to support localization of recently introduced bugs (JB, SV, JD), pp. 438–442.
DACDAC-2008-Trihy #challenge #library
Addressing library creation challenges from recent Liberty extensions (RT), pp. 474–479.
AFLAFL-2008-Paun
Membrane Computing: Recent Developments and Applications (Extended Abstract) (GP), pp. 350–351.
CIAACIAA-2008-HolzerK #complexity #finite #nondeterminism
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 1–16.
RecSysRecSys-2008-Koren #collaboration #tutorial
Tutorial on recent progress in collaborative filtering (YK), pp. 333–334.
SIGMODSIGMOD-2007-Wang #challenge #database #integration
Recent database challenges in China on data consolidation and integration (YW), p. 898.
ICPCICPC-2007-Kiczales #aspect-oriented #design
Making the Code Look Like the Design — Aspects and Other Recent Work (GK), p. 14.
CHICHI-2007-TangLPWD #interactive #process #using
Recent shortcuts: using recent interactions to support shared activities (JCT, JL, JSP, SW, CD), pp. 1263–1272.
RERE-2006-EbertB #question
Have You Spoken to Your Product Manager Recently? (CE, SB), p. 322.
ITiCSEITiCSE-2005-Pohlhaus
Ethical engagement with data collection efforts related to fighting terrorists and terrorism in the context of recent events (WP), p. 401.
DLTDLT-2005-CarpiL #word
Central Sturmian Words: Recent Developments (AC, AdL), pp. 36–56.
CHICHI-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.
ICEISICEIS-v4-2004-MahmoudXL #evaluation #mobile #research
Evaluation of Recent Research in Mobile Agent Platforms for Mobile Devices (QHM, ZX, XL), pp. 331–336.
DACDAC-2003-Wasshuber
Recent advances and future prospects in single-electronics (CW), pp. 274–275.
CIKMCIKM-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.
KDDKDD-2003-ChangL #adaptation #data type #online
Finding recent frequent itemsets adaptively over online data streams (JHC, WSL), pp. 487–492.
ICPRICPR-v2-2002-ChenQ #2d #evaluation #roadmap
Recent Trends in 2D Blind Deconvolution for Nondestructive Evaluation (CHC, UQ), pp. 989–992.
ICPRICPR-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.
CIKMCIKM-2001-Mani #summary
Recent Developments in Text Summarization (IM), pp. 529–531.
ICPRICPR-v2-2000-Bunke #graph
Recent Developments in Graph Matching (HB), pp. 2117–2124.
LICSLICS-2000-Selman #challenge #problem #satisfiability #testing
Satisfiability Testing: Recent Developments and Challenge Problems (BS), p. 178.
LICSLICS-1998-Thomas #automaton #logic #monad
Monadic Logic and Automata: Recent Developments (WT), pp. 136–138.
SACSAC-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.
DLTDLT-1995-Berstel #word
Recent Results on Sturmian Words (JB), pp. 13–24.
DLTDLT-1995-DiekertGP #traceability
Recent Developments in Trace Theory (VD, PG, AP), pp. 373–385.
CADECADE-1994-GollerLMS
SETHEO V3.2: Recent Developments — System Abstract (CG, RL, KM, JS), pp. 778–782.
HCIHCI-ACS-1993-CarayonLYSSL #monitoring #performance #research
Recent Research Findings on Stress and Electronic Performance Monitoring (PC, SYL, CLY, MJS, KJS, DL), pp. 1017–1022.
ICSEICSE-1992-Fairley #estimation
Recent Advances in Software Estimation Techniques (REF), pp. 382–391.
ICSEICSE-1990-Basili #metric
Recent Advances in Software Measurement (Abstract for Talk) (VRB), pp. 44–49.
ICALPICALP-1989-EhrigPO #algebra #on the #roadmap #specification
On Recent Trends in Algebraic Specification (HE, PP, FO), pp. 263–288.
ICALPICALP-1987-Karhumaki #formal method #on the #roadmap
On Recent Trends in Formal Language Theory (JK), pp. 136–162.
ICALPICALP-1987-Valiant #formal method #learning
Recent Developments in the Theory of Learning (Abstract) (LGV), p. 563.
SIGIRSIGIR-1986-Salton #automation #information retrieval #roadmap
Recent Trends in Automatic Information Retrieval (GS), pp. 1–10.
LISPLFP-1984-BatesDF #lisp
Recent Developments in ISI-Interlisp (RLB, DD, MF), pp. 129–139.
DACDAC-1981-Eastman #design #representation
Recent developments in representation in the science of design (CME), pp. 13–21.
ICALPICALP-1979-Karp #algorithm #analysis #graph #probability
Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms (Abstract) (RMK), pp. 338–339.
VLDBVLDB-1975-Kerr #tutorial
Recent Results on the Attribute Based Data Model — A Tutorial (DSK), pp. 526–528.
ICALPICALP-1974-Kandzia #algol #on the #source code
On the Most Recent Property of Algol-Like Programs (PK), pp. 97–111.

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