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:
aspect (6)
system (5)
structur (4)
prove (4)
expert (3)

Stem advic$ (all stems)

55 papers:

CHICHI-2015-HongGAA #crowdsourcing
In-group Questions and Out-group Answers: Crowdsourcing Daily Living Advice for Individuals with Autism (HH, EG, GDA, RIA), pp. 777–786.
CSCWCSCW-2015-NguyenDK #online #social
The Perverse Effects of Social Transparency on Online Advice Taking (DTN, LAD, SBK), pp. 207–217.
DLTDLT-J-2013-KucukSY14 #automaton #finite
Finite Automata with Advice Tapes (UK, ACCS, AY), pp. 987–1000.
LATALATA-2014-BoyarKLL #on the #problem
On the List Update Problem with Advice (JB, SK, KSL, ALO), pp. 210–221.
CSCWCSCW-2014-MorrisIV #social
Remote shopping advice: enhancing in-store shopping with social technologies (MRM, KI, GV), pp. 662–673.
HCIDUXU-ELAS-2014-FordSCT #energy #personalisation
Personalized Energy Priorities: A User-Centric Application for Energy Advice (RF, OS, AC, PT), pp. 542–553.
ICMLICML-c1-2014-SeldinBCA #multi #predict
Prediction with Limited Advice and Multiarmed Bandits with Paid Observations (YS, PLB, KC, YAY), pp. 280–287.
DLTDLT-2013-KucukSY #automaton #finite
Finite Automata with Advice Tapes (UK, ACCS, AY), pp. 301–312.
KDDKDD-2013-DasMGW #learning
Learning to question: leveraging user preferences for shopping advice (MD, GDFM, AG, IW), pp. 203–211.
RecSysRecSys-2013-AzariaKR #multi #problem
A system for advice provision in multiple prospectselection problems (AA, SK, AR), pp. 311–314.
LATALATA-2012-ForisekKS #complexity #online
Advice Complexity of Online Coloring for Paths (MF, LK, MS), pp. 228–239.
LATALATA-2012-Yamakami #automaton #finite #quantum
One-Way Reversible and Quantum Finite Automata with Advice (TY), pp. 526–537.
CHICHI-2012-KleekSSs #game studies #named #twitter
Twiage: a game for finding good advice on twitter (MVK, DAS, RS, MMCS), pp. 889–898.
CIKMCIKM-2012-WicaksonoM #mining
Mining advices from weblogs (AFW, SHM), pp. 2347–2350.
SEKESEKE-2012-RebeloLMOR #aspect-oriented #contract #source code
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
ICALPICALP-v1-2011-AaronsonD #quantum
Advice Coins for Classical and Quantum Computation (SA, AD), pp. 61–72.
ICALPICALP-v1-2011-BockenhauerKKK #complexity #on the #problem
On the Advice Complexity of the k-Server Problem (HJB, DK, RK, RK), pp. 207–218.
ASEASE-2010-KimYS #debugging #memory management #model checking #named #using
JRF-E: using model checking to give advice on eliminating memory model-related bugs (KK, TYK, BAS), pp. 215–224.
STOCSTOC-2010-AaronsonD #quantum
A full characterization of quantum advice (SA, AD), pp. 131–140.
ICEISICEIS-J-2010-CostaCNBA10a
An Advice System for Consumer’s Law Disputes (NC, DC, PN, DB, FA), pp. 237–248.
TOOLSTOOLS-EUROPE-2010-GolbeckSK #aspectj
Late Binding of AspectJ Advice (RMG, PS, GK), pp. 173–191.
ICALPICALP-v1-2009-BuhrmanFS #bound
Unconditional Lower Bounds against Advice (HB, LF, RS), pp. 195–209.
ICALPICALP-v1-2009-EmekFKR #online
Online Computation with Advice (YE, PF, AK, AR), pp. 427–438.
LATALATA-2009-BeyersdorffKM #complexity #nondeterminism #proving
Nondeterministic Instance Complexity and Proof Systems with Advice (OB, JK, SM), pp. 164–175.
GPCEGPCE-2009-Sadat-MohtashamH #transaction
Transactional pointcuts: designation reification and advice of interrelated join points (SHSM, HJH), pp. 35–44.
ICSTSAT-2009-BeyersdorffM #question
Does Advice Help to Prove Propositional Tautologies? (OB, SM), pp. 65–72.
CASECASE-2008-MunguiaR #agile #concurrent
A concurrent Rapid Manufacturing advice system (JM, CR), pp. 947–952.
DocEngDocEng-2008-FontanS #repository
Constructing a know-how repository of advices and warnings from procedural texts (LF, PSD), pp. 249–252.
ICMLICML-2008-ColemanSW #clustering #consistency
Spectral clustering with inconsistent advice (TC, JS, AW), pp. 152–159.
ICMLICML-2008-VovkZ #game studies #predict
Prediction with expert advice for the Brier game (VV, FZ), pp. 1104–1111.
ICLPICLP-2008-SzymanekL #constraints
Constraint-Level Advice for Shaving (RS, CL), pp. 636–650.
ICALPICALP-2007-FraigniaudGIP #distributed #graph
Distributed Computing with Advice: Information Sensitivity of Graph Coloring (PF, CG, DI, AP), pp. 231–242.
HCIHIMI-MTT-2007-ShimazuKHK #realtime
Tasting Robot with an Optical Tongue: Real Time Examining and Advice Giving on Food and Drink (HS, KK, AH, TK), pp. 950–957.
KDDKDD-2007-BeckerA #concept #ranking #realtime #using
Real-time ranking with concept drift using expert advice (HB, MA), pp. 86–94.
ASEASE-2006-StorzerF #detection
Detecting Precedence-Related Advice Interference (MS, FF), pp. 317–322.
POPLPOPL-2006-Dantas
Harmless advice (DSD, DW), pp. 383–396.
CGOCGO-2006-HundtMC #layout #optimisation
Practical Structure Layout Optimization and Advice (RH, SM, DRC), pp. 233–244.
ECOOPECOOP-2005-Aldrich #composition #reasoning
Open Modules: Modular Reasoning About Advice (JA), pp. 144–168.
ECOOPECOOP-2005-KiczalesM
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts (GK, MM), pp. 195–213.
SACSAC-2005-Heinlein #c++
Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++ (CH), pp. 1274–1281.
GPCEGPCE-2004-LohmannBS #aspect-oriented #generative #programming
Generic Advice: On the Combination of AOP with Generative Programming in AspectC++ (DL, GB, OS), pp. 55–74.
FSEFSE-2004-KrishnamurthiFG #verification
Verifying aspect advice modularly (SK, KF, MG), pp. 137–146.
LICSLICS-2003-McCarthy #logic
Advice about logical AI (JM), p. 244–?.
GPCESAIG-2001-Wand #aspect-oriented #programming #semantics
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming (MW), pp. 45–46.
CHICHI-1998-FaradayS #design #multi
Providing Advice for Multimedia Designers (PF, AGS), pp. 124–131.
STOCSTOC-1996-HromkovicS #communication #nondeterminism
Nondeterministic Communication with a Limited Number of Advice Bits (JH, GS), pp. 551–560.
KRKR-1996-Myers
Strategic Advice for Hierarchical Planners (KLM), pp. 112–123.
CADECADE-1994-Portoraro #automation #named #proving
Symlog: Automated Advice in Fitch-style Proof Construction (FDP), pp. 802–806.
STOCSTOC-1993-Cesa-BianchiFHHSW #how
How to use expert advice (NCB, YF, DPH, DH, RES, MKW), pp. 382–391.
PLDIPLDI-1991-Pugh
Advice to Authors of Extended Abstracts (WP), pp. 353–356.
CAiSECAiSE-1991-KiebackN #information management
An Organizational Information Systems Enhancement Advice Unit (OISEAU) (AK, JN), pp. 479–501.
CHICHI-1989-Hill #how
How some advice fails (WCH), pp. 85–90.
CCSDCG-1980-ThatcherWW #compilation #proving
More on advice on structuring compilers and proving them correct (JWT, EGW, JBW), pp. 165–188.
ICALPICALP-1979-ThatcherWW #compilation #proving
More on Advice on Structuring Compilers and Proving Them Correct (JWT, EGW, JBW), pp. 596–615.
POPLPOPL-1973-Morris73a #compilation #proving
Advice on Structuring Compilers and Proving Them Correct (FLM), pp. 144–152.

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.