Stem chart$ (all stems)

94 papers:

CASE-2015-ChenY #monitoring #process

Heterogeneous recurrence T2 charts for monitoring and control of nonlinear dynamic processes (YC, HY), pp. 1066–1071.

CHI-2015-TaherHKWJHA #interactive

Exploring Interactions with Physically Dynamic Bar Charts (FT, JH, AK, CW, YJ, KH, JA), pp. 3237–3246.

HIMI-IKC-2015-Porathe #fault

Human Error and e-Navigation: Developing the Nautical Chart as Resilient Decision Support (TP), pp. 129–139.

KDD-2015-ZhangYL

Organizational Chart Inference (JZ, PSY, YL), pp. 1435–1444.

PLDI-2014-HanxledenDMSMAMO #named #safety

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.

CHI-2014-KongHA #crowdsourcing

Extracting references between text and charts via crowdsourcing (NK, MAH, MA), pp. 31–40.

DHM-2014-MeryS #refinement #semantics

The Semantics of Refinement Chart (DM, NKS), pp. 415–426.

HCI-TMT-2014-BoscarioliSPBB #education #human-computer

Charting the Landscape of HCI Education in Brazil (CB, MSS, ROP, SAB, SDJB), pp. 177–186.

HCI-TMT-2014-SousaB #recommendation #statistics

Recommender System to Support Chart Constructions with Statistical Data (TAFdS, SDJB), pp. 631–642.

ICPR-2014-HuynhR #image

Recovery of Spectral Sensitivity Functions from a Colour Chart Image under Unknown Spectrally Smooth Illumination (CPH, ARK), pp. 708–713.

PODS-2013-Wijsen #query

Charting the tractability frontier of certain conjunctive query answering (JW), pp. 189–200.

SAC-2013-BakreBE #approach #interactive #uml

Aspect interaction chart — a UML approach for modularizing aspect interaction conflicts (SB, AB, TE), pp. 1254–1259.

SAC-2013-BurtiniFL #adaptation #data transfer #web

Reducing data transfer for charts on adaptive web sites (GB, SF, RL), pp. 865–867.

ICTSS-2013-MauserKH #programming #towards #user interface #using

Towards a GUI Test Model Using State Charts and Programming Code (DM, AK, KH), pp. 271–276.

CSCW-2012-Pine

Fragmentation and choreography: caring for a patient and a chart during childbirth (KP), pp. 887–896.

ICPR-2012-MinagawaKTH #automation #detection

A color chart detection method for automatic color correction (AM, YK, HT, YH), pp. 1912–1915.

TOOLS-EUROPE-2012-OchoaJC #uml

Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.

SAC-2012-Longuet #sequence chart #testing

Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.

ICST-2012-Nguyen #comprehension #detection #performance #scalability #using

Using Control Charts for Detecting and Understanding Performance Regressions in Large Software (THDN), pp. 491–494.

DATE-2011-TraulsenAH #c #compilation

Compiling SyncCharts to Synchronous C (CT, TA, RvH), pp. 563–566.

ICST-2011-DanH #consistency #sequence chart #testing

Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.

CHI-2010-BatemanMGGMB #comprehension #visual notation

Useful junk?: the effects of visual embellishment on comprehension and memorability of charts (SB, RLM, CG, AG, DM, CAB), pp. 2573–2582.

MoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling #uml

Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.

ASE-2009-ZhangGTL #probability #sequence chart #syntax

A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.

TACAS-2009-KuglerS #composition #sequence chart #specification #synthesis

Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.

LATA-2009-LopatkovaH #segmentation

Segmentation Charts for Czech — Relations among Segments in Complex Sentences (ML, TH), pp. 542–553.

CHI-2009-HeerKA #visual notation #visualisation

Sizing the horizon: the effects of chart size and layering on the graphical perception of time series visualizations (JH, NK, MA), pp. 1303–1312.

HIMI-DIE-2009-MistrzykR #industrial #modelling

Practical Use of Task Models for Building and Modeling Operations Chart in the Industrial Production (TM, AR), pp. 140–148.

OCSC-2009-EgertJB #social #social media

When Social Worlds Collide: Charting the Intersection of Social Media and Courseware/Course Management Systems (CAE, SJ, SBB), pp. 452–461.

VISSOFT-2009-MoretBAV #visualisation

Visualizing Calling Context profiles with Ring Charts (PM, WB, DA, AV), pp. 33–36.

FoSSaCS-2008-DarondeauGH #sequence chart

Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.

GT-VMT-2008-KumarM #automaton #sequence chart #verification

Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).

RE-2008-Kof #generative #sequence chart

From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.

ICSE-2008-SibayUB #revisited #sequence chart

Existential live sequence charts revisited (GES, SU, VAB), pp. 41–50.

CASE-2007-FalkmanLA #specification #using

Specification of Production Systems using PPN and Sequential Operation Charts (PF, BL, KA), pp. 20–25.

ICDAR-2007-HuangLT #image #visual notation

Extraction of Vectorized Graphical Information from Scientific Chart Images (WH, RL, CLT), pp. 521–525.

ICDAR-2007-HuangT #documentation

Locating Charts from Scanned Document Pages (WH, CLT), pp. 307–311.

TACAS-2007-ElkindGP #detection #sequence chart

Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.

ESEC-FSE-2007-RoychoudhuryGS #sequence chart

Symbolic message sequence charts (AR, AG, BS), pp. 275–284.

FASE-2006-WestphalT #sequence chart

The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts (BW, TT), pp. 230–246.

RE-2006-WhittleJ #case study #generative #state machine

Generating Hierarchical State Machines from Use Case Charts (JW, PKJ), pp. 16–25.

CAV-2006-KloseTWW #performance #sequence chart #verification

Check It Out: On the Efficient Formal Verification of Live Sequence Charts (JK, TT, BW, HW), pp. 219–233.

CASE-2005-KimD #metric #process #quality #using

Quality measurement of production process plan using tolerance chart (IHK, ZD), pp. 25–30.

ICDAR-2005-HuangTL #comprehension

Associating Text and Graphics for Scientific Chart Understanding (WH, CLT, WKL), pp. 580–584.

FoSSaCS-2005-BontempsS #complexity #sequence chart

The Complexity of Live Sequence Charts (YB, PYS), pp. 364–378.

TACAS-2005-Genest #composition #sequence chart

Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.

DocEng-2004-Dymetman #authoring #documentation #editing #predict

Chart-parsing techniques and the prediction of valid editing moves in structured document authoring (MD), pp. 229–238.

CSEET-2004-Bagert #education #named #re-engineering #roadmap

SEER: Charting a Roadmap for Software Engineering Education (DJB), pp. 158–161.

ICEIS-v3-2004-BonacinBL #analysis #design #diagrams #ontology #semantics

From Ontology Charts to Class Diagrams: Semantic Analysis Aiding Systems Design (RB, MCCB, KL), pp. 389–395.

SEFM-2003-GoldsonR #semantics

Semantic Properties of μ-Charts (DG, GR), pp. 148–155.

RE-2003-SenguptaC #modelling #requirements #sequence chart #using

Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.

CAV-2003-SenguptaC #named #sequence chart

TRIM: A Tool for Triggered Message Sequence Charts (BS, RC), pp. 106–109.

IFM-2002-LedangS #modelling #uml

Contributions for Modelling UML State-Charts in B (HL, JS), pp. 109–127.

SEKE-2002-LeeKC #finite #interactive #sequence chart #state machine #testing

Construction of global finite state machine for testing task interactions written in message sequence charts (NHL, THK, SDC), pp. 369–376.

OOPSLA-2002-MarellyHK #execution #multi #sequence chart

Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.

FSE-2002-SenguptaC #sequence chart

Triggered message sequence charts (BS, RC), pp. 167–176.

ICSE-2002-BlausteinOB #graph #sequence chart

Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.

HT-2001-ToyodaK #community #navigation #web

Creating a Web community chart for navigating related communities (MT, MK), pp. 103–112.

ICDAR-2001-AntonacopoulosK #information management

Information Extraction from Complex Circular Charts (AA, DPK), pp. 784–789.

ICDAR-2001-Smith #estimation #parametricity #using

Scanner Parameter Estimation Using Bilevel Scans of Star Charts (EHBS), pp. 1164–1168.

ICDAR-2001-ZhouT #analysis #documentation #image #recognition

Chart Analysis and Recognition in Document Images (YPZ, CLT), pp. 1055–1058.

FoSSaCS-2001-Morin #on the #sequence chart #traceability

On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.

TACAS-2001-GunterMP #composition #sequence chart

Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.

TACAS-2001-KloseW #automaton #sequence chart

An Automata Based Interpretation of Live Sequence Charts (JK, HW), pp. 512–527.

ICALP-2001-MuschollP #communication #finite #protocol #sequence chart

From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.

ICFP-2001-AnandCK

Charting Patterns on Price History (SA, WNC, SCK), pp. 134–145.

CHI-2001-KierasMB #execution #modelling #towards

Towards demystification of direct manipulation: cognitive modeling charts the gulf of execution (DEK, DM, JAB), pp. 128–135.

ESEC-FSE-2001-UchitelKM #detection #sequence chart #specification

Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.

IFM-2000-ReeveR

μ-Charts and Z: Hows, Whys, and Wherefores (GR, SR), pp. 255–276.

ICSE-2000-AlurEY #sequence chart

Inference of message sequence charts (RA, KE, MY), pp. 304–313.

ICSE-2000-Rifkin #diagrams #precedence

When the project absolutely must get done: marrying the organization chart with the precedence diagram (SR), pp. 588–596.

FoSSaCS-1999-Muscholl #sequence chart #specification

Matching Specifications for Message Sequence Charts (AM), pp. 273–287.

HCI-EI-1999-HuangWC #learning #programming

A Flow-chart Based Learning System for Computer Programming (KHH, KW, SYC), pp. 1298–1302.

ASE-1998-LeueMR #architecture #sequence chart #specification

Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.

FoSSaCS-1998-MuschollPS #sequence chart

Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.

WIA-1998-LHerPM #automaton #proving #source code #using

Proving Sequential Function Chart Programs Using Automata (DL, PLP, LM), pp. 149–163.

UML-1998-KhrissEK #automation #collaboration #diagrams #multi #statechart #synthesis #uml

Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams (IK, ME, RKK), pp. 132–147.

CAV-1998-Peled98a #sequence chart #tool support

A Toolset for Message Sequence Charts (DP), pp. 532–536.

TACAS-1997-Ben-AbdallahL #detection #process #sequence chart

Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.

HCI-CC-1997-ItohMGA #behaviour #process

Analyzing Qualitative Data with SPROT (Structural Process Chart of a Task Oriented Behavior) (MI, YM, SG, TA), pp. 541–544.

TACAS-1996-AlurHP #sequence chart

An Analyser for Mesage Sequence Charts (RA, GJH, DP), pp. 35–48.

WPC-1996-EickW #interactive #sequence chart #visualisation

An Interactive Visualization for Message Sequence Charts (SGE, AW), pp. 2–7.

ICPR-1996-MullotOBLC #approach

An original approach for extracting circular shapes from technical charts (RM, JMO, FB, YL, MFC), pp. 813–817.

ASF+SDF-1995-MauwMa #sequence chart #specification #tool support

Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.

CHI-1994-MyersGG94a

Creating charts by demonstration (BAM, JG, MAG), pp. 106–111.

ICDAR-1993-HongH #parsing #probability #recognition

Text recognition enhancement with a probabilistic lattice chart parser (TH, JJH), pp. 222–225.

HCI-SHI-1993-Marshall #quality

Improving the Quality of Computer-Generated Charts (RJM), pp. 597–602.

ECOOP-1993-GangopadhyayM #behaviour #named #specification

ObjChart: Tangible Specification of Reactive Object Behavior (DG, SM), pp. 432–457.

TOOLS-USA-1993-GangopadhyayM #modelling #named #visual notation

ObjChart-Builder: An Environment for Executing Visual Object Models (DG, SM), pp. 319–334.

JICSCP-1988-TrehanW88 #commit #logic #nondeterminism #parallel #parsing

A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages (RT, PFW), pp. 212–232.

ICSE-1984-Chyou #correctness #proving

Structure Charts and Program Correctness Proofs (SCC), pp. 486–498.

ICSE-1982-Ito #automation #documentation #image

Automatic Input of Flow Chart in Document Image (SI), pp. 319–329.

SCC-1979-CordyHW #approach #diagrams #semantics

Semantic charts: A diagrammatic approach to semantic processing (JRC, RCH, DBW), pp. 39–49.

STOC-1970-Strong #equation #recursion

Translating Recursion Equations into Flow Charts (HRSJ), pp. 184–197.