25 papers:
VLDB-2015-SeahBS #concept #image #named #social #summary- PRISM: Concept-preserving Summarization of Top-K Social Image Search Results (BSS, SSB, AS), pp. 1868–1879.
SIGIR-2014-SeahBS #concept #image #named #social #summary- PRISM: concept-preserving social image search results summarization (BSS, SSB, AS), pp. 737–746.
TACAS-2013-ChenFKPS #game studies #model checking #multi #named #probability- PRISM-games: A Model Checker for Stochastic Multi-Player Games (TC, VF, MZK, DP, AS), pp. 185–191.
CAV-2011-KwiatkowskaNP #probability #realtime #verification- PRISM 4.0: Verification of Probabilistic Real-Time Systems (MZK, GN, DP), pp. 585–591.
- VLDB-2011-CurinoMDZ10 #constraints #evolution #maintenance
- Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++ (CC, HJM, AD, CZ), pp. 117–128.
ICLP-J-2010-ChristiansenHLP #markov #modelling- Inference with constrained hidden Markov models in PRISM (HC, CTH, OTL, MP), pp. 449–464.
- ICLP-J-2010-SneyersMVKS #learning #logic #probability
- CHR(PRISM)-based probabilistic logic learning (JS, WM, JV, YK, TS), pp. 433–447.
- ICLP-2009-Sato #generative #modelling
- Generative Modeling by PRISM (TS), pp. 24–35.
- VLDB-2008-CurinoMZ #database #evolution
- Graceful database schema evolution: the PRISM workbench (CC, HJM, CZ), pp. 761–772.
CSCW-2008-TabardME #collaboration #evolution #hybrid- From individual to collaborative: the evolution of prism, a hybrid laboratory notebook (AT, WEM, EE), pp. 569–578.
QAPL-2008-KattenbeltKNP #abstraction #game studies #probability- Game-Based Probabilistic Predicate Abstraction in PRISM (MK, MZK, GN, DP), pp. 5–21.
- ICLP-2008-Lassen #analysis #sequence
- Biosequence Analysis in PRISM (OTL), pp. 809–810.
- TACAS-2006-HintonKNP #automation #named #probability #verification
- PRISM: A Tool for Automatic Verification of Probabilistic Systems (AH, MZK, GN, DP), pp. 441–444.
- QAPL-2005-KwiatkowskaNP06 #analysis #model checking #probability
- Quantitative Analysis With the Probabilistic Model Checker PRISM (MZK, GN, DP), pp. 5–31.
- TACAS-2002-KwiatkowskaNP #approach #hybrid #model checking #probability
- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (MZK, GN, DP), pp. 52–66.
CHI-2002-SuhWRG #bibliography #documentation #interface- Popout prism: adding perceptual principles to overview+detail document interfaces (BS, AW, RR, AG), pp. 251–258.
ICPR-v2-2002-SinghG #pattern matching #pattern recognition #recognition #slicing #using- Pattern Recognition Using Information Slicing Method (pRISM) (SS, AG), pp. 144–147.
- CAV-2001-KwiatkowskaNS #automation #distributed #protocol #random #using #verification
- Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM (MZK, GN, RS), pp. 194–206.
HPCA-1998-EkanadhamLPS #architecture #memory management #named #scalability- PRISM: An Integrated Architecture for Scalable Shared Memory (KE, BHL, PP, MS), pp. 140–151.
SEKE-1996-Balmas96a #formal method #named #programming #source code- PRISME: Formalizing Programming Strategies as a Way to Understand Programs (FB), pp. 361–368.
SAC-1995-PandaP #cost analysis #execution #query- Query execution in prism and seaview: a cost analysis (BP, WP), pp. 65–70.
ICSE-1991-Madhavji- The Prism Model of Changes (NHM), pp. 166–177.
- ICSE-1990-MadhavjiGDS
- Prism = Methodology + Process-oriented Environment (NHM, VG, WD, WS), pp. 277–288.
- ICSE-1985-Rosenberg #named
- PRISM — Productivity Improvement for Software Engineers and Managers (DR), pp. 2–7.
SIGMOD-1984-ShepherdK #database #knowledge base #named #semantics #specification- PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems (AS, LK), pp. 307–315.
