30 papers:
VLDB-2015-ConsensFKP #bisimulation #query #summary- S+EPPs: Construct and Explore Bisimulation Summaries, plus Optimize Navigational Queries; all on Existing SPARQL Systems (MPC, VF, SK, GP), pp. 2028–2039.
PPDP-2015-RivasJS #monad- From monoids to near-semirings: the essence of MonadPlus and alternative (ER, MJ, TS), pp. 196–207.
TACAS-2014-AdzkiyaSA #reachability- Forward Reachability Computation for Autonomous Max-Plus-Linear Systems (DA, BDS, AA), pp. 248–262.
ILC-2014-LevineY #analysis #assessment #profiling- Leadership Trait Analysis and Threat Assessment with Profiler Plus (NL, MY), p. 50.
ICSE-2013-SchwankeXC #analysis #architecture #quality- Measuring architecture quality by structure plus history analysis (RWS, LX, YC), pp. 891–900.
CHI-2012-BogartBDAW #case study #debugging #design #interactive #programming- Designing a debugging interaction language for cognitive modelers: an initial case study in natural programming plus (CB, MMB, SD, HA, RW), pp. 2469–2478.
ICML-2010-Raphael #machine learning #music- Music Plus One and Machine Learning (CR), pp. 21–28.
ICPR-2010-PapalazarouRW #detection #estimation #image #multi #using- Multiple Model Estimation for the Detection of Curvilinear Segments in Medical X-ray Images Using Sparse-plus-dense-RANSAC (CP, PMJR, PHNdW), pp. 2484–2487.
DocEng-2009-GormishPGB #documentation- An e-writer for documents plus strokes (MJG, KWP, KG, JB), pp. 157–160.
ICALP-v1-2009-LamLTTW #energy #performance- Sleep with Guilt and Work Faster to Minimize Flow Plus Energy (TWL, LKL, HFT, IKKT, PWHW), pp. 665–676.
CASE-2008-AddadA #algebra #architecture #evaluation #graph #modelling #using- Modeling and response time evaluation of ethernet-based control architectures using timed event graphs and Max-Plus algebra (BA, SA), pp. 418–423.
SAS-2008-AllamigeonGG #invariant #using- Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.
EDOC-2008-Sirtl #as a service #web- Software plus Services: New IT- and Business Opportunities by Uniting SaaS, SOA and Web 2.0 (HS).
- ICSE-2005-SherrellS #education #process #question
- Will earlier projects plus a disciplined process enforce SE principles throughout the CS curriculum? (LBS, SGS), pp. 619–620.
SAC-2004-XueguangH #contract #protocol- Further extensions of FIPA Contract Net Protocol: threshold plus DoA (XC, HS), pp. 45–51.
DLT-2003-KlimannLMP #ambiguity #automaton- Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton (IK, SL, JM, CP), pp. 373–385.
CADE-2003-AnantharamanNR #morphism #unification- Unification Modulo ACU I Plus Homomorphisms/Distributivity (SA, PN, MR), pp. 442–457.
TLCA-2003-Amadio- Max-Plus Quasi-interpretations (RMA), pp. 31–45.
- CHI-2002-BaudischGBS #comparative #evaluation
- Keeping things in context: a comparative evaluation of focus plus context screens, overviews, and zooming (PB, NG, VB, PKS), pp. 259–266.
- CHI-1999-IshiiWOCP #design #game studies #interface #named
- PingPongPlus: Design of an Athletic-Tangible Interface for Computer-Supported Cooperative Play (HI, CW, JO, BC, JAP), pp. 394–401.
TOOLS-ASIA-1999-BajgoricADU #automation #development #paradigm #using- Using Paradigm Plus CASE Tool in a Fusion-Based Application Development Project (NB, IKA, MD, AÜ), pp. 424–427.
- PPDP-1999-Arenas-SanchezLR #constraints #functional #logic programming
- Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.
- ICPR-1998-HeisterkampB #recognition #using
- Object and motion recognition using the plane plus parallax displacement of conics (DRH, PB), pp. 751–753.
DAC-1996-Smith #c- VHDL & Verilog Compared & Contrasted — Plus Modeled Example Written in VHDL, Verilog and C (DJS), pp. 771–776.
- ICML-1996-KahaviW #bias #composition
- Bias Plus Variance Decomposition for Zero-One Loss Functions (RK, DW), pp. 275–283.
ICLP-1993-Reviakin #logic programming #prolog- Logic Programming System Prolog-plus (MR), p. 850.
- CHI-1992-FerrinHCPL #modelling
- The MidasPlus molecular modeling system (TEF, CCH, GSC, EFP, RL), pp. 521–522.
- CHI-1992-Szczur #design #user interface
- Transportable Applications Environment (TAE) Plus User Interface Designer WorkBench (MRS), pp. 231–232.
OOPSLA-1988-SzczurM #case study #experience #user interface- Transportable Applications Environment (TAE) Plus Experiences in “Object”-ively Modernizing a User Interface Environment (MRS, PM), pp. 58–70.
- JICSCP-1988-BoscoCM88 #functional #logic #power of #programming
- Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.
