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:
use (32)
algorithm (28)
system (26)
program (26)
base (23)

Stem anim$ (all stems)

196 papers:

CHICHI-2015-DuCZL
Trajectory Bundling for Animated Transitions (FD, NC, JZ, YRL), pp. 289–298.
HCIDUXU-UI-2015-SpinilloP #design #interactive #visual notation
An Interactive Guide to Design Animated Visual Instructions in Brazil (CGS, RP), pp. 374–381.
HCIHCI-IT-2015-MakiyamaNKNSK #interactive #smarttech
Synchronization of Peripheral Vision and Wearable Sensors for Animal-to-Animal Interaction (KM, KN, MK, MN, KS, HHK), pp. 753–764.
HCIHIMI-IKC-2015-MakiY #3d #animation #artificial reality #definite clause grammar
Virtual Aquarium: Mixed Reality Consisting of 3DCG Animation and Underwater Integral Photography (NM, KY), pp. 447–456.
HCILCT-2015-AltanC #analysis #animation #education
An Eye-Tracking Analysis of Spatial Contiguity Effect in Educational Animations (TA, ), pp. 3–13.
HCILCT-2015-HayashiM #design #online
Designing Pedagogical Agents to Evoke Emotional States in Online Tutoring Investigating the Influence of Animated Characters (YH, DMM), pp. 372–383.
SACSAC-2015-JoselliJC #animation #data type #gpu #named #proximity
NGrid: a proximity data structure for fluids animation with GPU computing (MJ, JRdSJ, EC), pp. 1303–1308.
TAPTAP-2015-DutleMNB #animation #validation
Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.
CHICHI-2014-0002ACC #3d #animation #named
MotionMontage: a system to annotate and combine motion takes for 3D animations (AG, MA, BC, MFC), pp. 2017–2026.
CHICHI-2014-NakajimaSI #animation #authoring
Offline painted media for digital animation authoring (MN, DS, TI), pp. 321–330.
HCIDUXU-ELAS-2014-SchmeilS #health #how #quote
“How am I Doing?” — Personifying Health through Animated Characters (AS, LSS), pp. 91–102.
HCIHCI-AS-2014-MurrayWHSMGBTSCSH #animation #interactive #people #physics #process #question
Can a Theory-Informed Interactive Animation Increase Intentions to Engage in Physical Activity in Young People with Asthma? (JM, BW, GH, SS, JM, DG, GB, ST, FS, LC, AS, SH), pp. 289–300.
HCILCT-NLE-2014-BattaiolaAP #animation #design #education #process
Canvas to Improve the Design Process of Educational Animation (ALB, MMA, REP), pp. 13–24.
ICPRICPR-2014-IwashitaTKR #process #recognition
First-Person Animal Activity Recognition from Egocentric Videos (YI, AT, RK, MSR), pp. 4310–4315.
ICPRICPR-2014-MustiZP #3d #animation #estimation #image #speech #visual notation
Facial 3D Shape Estimation from Images for Visual Speech Animation (UM, ZZ, MP), pp. 40–45.
ICPRICPR-2014-PanagiotakisAM #animation #novel #segmentation
Temporal Segmentation and Seamless Stitching of Motion Patterns for Synthesizing Novel Animations of Periodic Dances (CP, AAA, DM), pp. 1892–1897.
LOPSTRLOPSTR-2014-SharafAF #animation #constraints #named
CHRAnimation: An Animation Tool for Constraint Handling Rules (NS, SA, TWF), pp. 92–110.
SACSAC-2014-CimanGG #animation #case study #development #mobile
Cross-platform mobile development: a study on apps with animations (MC, OG, NG), pp. 757–759.
CHICHI-2013-SaNC #animation #mobile
Mobile advertising: evaluating the effects of animation, user and content relevance (MdS, VN, EFC), pp. 2487–2496.
HCIDUXU-WM-2013-TrappY #mobile
Addressing Animated Transitions already in Mobile App Storyboards (MT, RY), pp. 723–732.
ITiCSEITiCSE-2012-MussaiL #animation #concept #learning #object-oriented
An animation as an illustrate tool for learning concepts in oop (YM, NL), p. 386.
ITiCSEITiCSE-2012-Rosenbloom #animation
Breadth first search (animation and obstacle avoidance) (AR), p. 375.
ITiCSEITiCSE-2012-Urquiza-FuentesV #animation #education #effectiveness
Comparing the effectiveness of different educational uses of program animations (JUF, JÁVI), pp. 174–179.
CHICHI-2012-QiB #memory management #using
Animating paper using shape memory alloys (JQ, LB), pp. 749–752.
CHICHI-2012-SugiuraLOWMSII #named
PINOKY: a ring that animates your plush toys (YS, CL, MO, AIW, YM, DS, MI, TI), pp. 725–734.
CSCWCSCW-2012-RobinsonJVM #authoring #collaboration #named #using
PicoTales: collaborative authoring of animated stories using handheld projectors (SR, MJ, EV, GM), pp. 671–680.
ICPRICPR-2012-DeshmukhRSL #detection
Vocalization patterns of dairy animals to detect animal state (OD, NR, YS, SL), pp. 254–257.
ICPRICPR-2012-DuanZRTB #automation #automaton #probability #recognition
Timed and probabilistic automata for automatic animal Call Recognition (SD, JZ, PR, MWT, LB), pp. 2910–2913.
ICPRICPR-2012-HirokiPS #animation #development #interface
A puppet interface for the development of an intuitive computer animation system (NH, NP, MS), pp. 3136–3139.
SACSAC-2012-DandamudiWH #animation #comprehension #framework #source code
An animation framework for improving the comprehension of TinyOS programs (SD, SKW, JOH), pp. 1625–1631.
ASEASE-2011-MacleanIG #animation #correctness #functional #pointer #source code
The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.
ITiCSEITiCSE-2011-Djordjevic #animation #java
Animation projects in CS1 from scheme to Java (MD), p. 343.
ITiCSEITiCSE-2011-RosslingMS #algorithm #animation #automation #named
AnimalSense: combining automated exercise evaluations with algorithm animations (GR, MM, JS), pp. 298–302.
ITiCSEITiCSE-2011-Urquiza-FuentesMVR #animation #compilation #education
Improving compilers education through symbol tables animations (JUF, FM, JÁVI, MRS), pp. 203–207.
AGTIVEAGTIVE-2011-StroblM #diagrams #editing #generative #graph transformation #state machine
Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors (TS, MM), pp. 65–80.
CHICHI-2011-DragicevicBJEF
Temporal distortion for animated transitions (PD, AB, WJ, NE, JDF), pp. 2009–2018.
CHICHI-2011-KaziCZDL #animation #multi #named
SandCanvas: a multi-touch art medium inspired by sand animation (RHK, KCC, SZ, RCD, KLL), pp. 1283–1292.
CHICHI-2011-WeilenmannJ #comprehension #interactive #people
Understanding people and animals: the use of a positioning system in ordinary human-canine interaction (AW, OJ), pp. 2631–2640.
HCIHCD-2011-BoltonS #design #tool support
Culturally Situated Design Tools: Animated Support Tools for Mathematics (ATB, CDS), pp. 351–359.
HCIHCI-ITE-2011-JeonR #physics #recognition
The Effect of Physical Embodiment of an Animal Robot on Affective Prosody Recognition (MJ, IAR), pp. 523–532.
HCIIDGD-2011-AndaloV #animation
Animating Our Island’s Culture — Spreading and Socializing Our Island’s Culture through Digital Animation (FA, MLHV), pp. 467–472.
KDDKDD-2011-McCloskeyKIKB #behaviour #data mining #mining #using
From market baskets to mole rats: using data mining techniques to analyze RFID data describing laboratory animal behavior (DPM, MEK, SPI, IK, SBM), pp. 301–306.
DATEDATE-2010-GrottesiMRB #animation #parallel
Parallel subdivision surface rendering and animation on the Cell BE processor (RG, SM, MR, LB), pp. 178–183.
GT-VMTGT-VMT-2010-StroblM #editing #generative #interactive #modelling #specification #visual notation
Specifying and Generating Editing Environments for Interactive Animated Visual Models (TS, MM).
CHICHI-2010-ChevalierDBF #documentation #navigation #using
Using text animated transitions to support navigation in document histories (FC, PD, AB, JDF), pp. 683–692.
CHICHI-2010-HuhtalaSMIH #case study #mobile #user interface
Animated UI transitions and perception of time: a user study on animated effects on a mobile screen (JH, AHS, JM, MI, JH), pp. 1339–1342.
SOFTVISSOFTVIS-2010-ChengTWH #animation #automation #debugging #named
xDIVA: automatic animation between debugging break points (YPC, HYT, CSW, CHH), pp. 221–222.
SEKESEKE-2010-Yeh #animation #human-computer #interactive #learning
The effects of human-computer interaction modes for weak learners in an animation learning environment (YFY), pp. 18–23.
ECMFAECMFA-2010-CregutCPFP #animation #framework #generative
Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.
CASECASE-2009-JohnsonM #animation #automation #optimisation #synthesis #using
Automated trajectory synthesis from animation data using trajectory optimization (ERJ, TDM), pp. 274–279.
ICSMEICSM-2009-WenzelKKK #3d #analysis #evolution #visualisation
Evolution analysis with animated and 3D-visualizations (SW, JK, UK, AK), pp. 475–478.
HCIHCD-2009-LewisB #performance
Animated Demonstrations: Evidence of Improved Performance Efficiency and the Worked Example Effect (DL, AB), pp. 247–255.
SACSAC-2009-FangLHVAZ #classification #image
Facial image classification of mouse embryos for the animal model study of fetal alcohol syndrome (SF, YL, JH, SVB, BA, FZ), pp. 852–856.
MBTMBT-2009-DadeauT #animation #named #testing
jSynoPSys — A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines (FD, RT), pp. 117–132.
CASECASE-2008-MatinfarIFWK #framework #research
Calibration of the treatment beam of the Small Animal Radiation Research Platform (MM, II, EF, JW, PK), pp. 609–614.
ITiCSEITiCSE-2008-Moreno #animation #process
Program animation activities in Moodle (AM), p. 361.
ITiCSEITiCSE-2008-Velazquez-IturbidePU #algorithm #animation #named #recursion
SRec: an animation system of recursion for algorithm courses (JÁVI, APC, JUF), pp. 225–229.
GT-VCGT-VC-2007-ErmelE08 #animation #behaviour
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.
CHICHI-2008-DavisCL #named #sketching
K-sketch: a “kinetic” sketch pad for novice animators (RCD, BC, JAL), pp. 413–422.
SACSAC-2008-NogueiraVN #animation
A nervous system model for direct dynamics animation control based on evolutionary computation (YLBN, CAV, JBCN), pp. 1793–1800.
SACSAC-2008-RochaR #animation #evaluation #using
An evaluation of a collision handling system using sphere-trees for plausible rigid body animation (RdSR, MAFR), pp. 1241–1245.
ICLPICLP-2008-CliffeVBP #animation #declarative #named #programming #set #using #visualisation
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming (OC, MDV, MB, JAP), pp. 724–728.
ITiCSEITiCSE-2007-AdelmannBL #animation #framework #idea #interactive #named #performance #sketching
IDEA: a framework for the fast creation of interactive animations by pen sketching (RA, TB, TL), pp. 291–295.
ITiCSEITiCSE-2007-RosslingKS #algorithm #animation #flexibility #generative #performance
Easy, fast, and flexible algorithm animation generation (GR, SK, SS), p. 357.
HCIDHM-2007-GeTYS #3d #animation #modelling
Color 3D Digital Human Modeling and Its Applications to Animation and Anthropometry (BzG, QgT, KDY, YcS), pp. 82–91.
HCIDHM-2007-KurodaOKTOY #animation #coordination
Finding Origin Points for New Coordinate System Suitable for Sign Animation (TK, KO, RK, TT, NO, HY), pp. 415–422.
HCIHCI-IDU-2007-WangSJRA #animation
Perception of Movements and Transformations in Flash Animations of Older Adults (LW, HS, LJ, PLPR, YA), pp. 966–975.
HCIHIMI-MTT-2007-KhowajaG #interactive #programming #visual notation
Visual Agent Programming (VAP): An Interactive System to Program Animated Agents (KK, SG), pp. 650–658.
HCIOCSC-2007-VilhjalmssonMS #animation #composition #social #towards
Social Puppets: Towards Modular Social Animation for Agents and Avatars (HHV, CM, PS), pp. 192–201.
VISSOFTVISSOFT-2007-HindleJKGH #evolution #named
YARN: Animating Software Evolution (AH, ZMJ, WK, MWG, RCH), pp. 129–136.
SACSAC-2007-NunesVN #animation #flexibility #representation
A flexible representation of controllers for physically-based animation of virtual humans (RFN, CAV, JBCN), pp. 30–36.
ICLPICLP-2007-West #animation #logic programming #programming language #specification
The Use of a Logic Programming Language in the Animation of Z Specifications (MMW), pp. 451–452.
ITiCSEITiCSE-2006-Boisvert #animation #communication #development #web
Web animation to communicate iterative development (CB), pp. 173–177.
ITiCSEITiCSE-2006-Moses #animation #approach #programming
Animation programming: an alternative approach to CS1 (LM), p. 317.
SCAMSCAM-2006-BinkleyHK #animation #approximate #static analysis
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.
WCREWCRE-2006-BeyerH #evolution #using #visualisation
Animated Visualization of Software History using Evolution Storyboards (DB, AEH), pp. 199–210.
SOFTVISSOFTVIS-2006-JainCHB #evaluation #java
Experimental evaluation of animated-verifying object viewers for Java (JJ, JHCI, TDH, LAB), pp. 27–36.
SOFTVISSOFTVIS-2006-Kahn
Time travelling animated program executions (KK), pp. 185–186.
SOFTVISSOFTVIS-2006-KaravirtaKM #algorithm #animation #taxonomy
Taxonomy of algorithm animation languages (VK, AK, LM), pp. 77–85.
SOFTVISSOFTVIS-2006-LiuV #animation #control flow #debugging #low level
Animation of control flow for low-level debugging (HL, FSV), pp. 157–158.
SOFTVISSOFTVIS-2006-RhodesKR #algorithm #animation #comprehension #interactive
The importance of interactive questioning techniques in the comprehension of algorithm animations (PR, EK, BR), pp. 183–184.
SOFTVISSOFTVIS-2006-SajaniemiBG #animation #object-oriented #source code
Metaphor-based animation of OO programs (JS, PB, PG), pp. 173–174.
ICPRICPR-v1-2006-BeaumesnilL #3d #animation #realtime
Real Time Tracking for 3D Realistic Lip Animation (BB, FL), pp. 219–222.
ICPRICPR-v1-2006-BuenaposadaM #animation #independence #performance #using
Performance driven facial animation using illumination independent appearance-based tracking (JMB, EM), pp. 303–306.
ICPRICPR-v1-2006-XieL #animation #markov #modelling #speech #using
Speech Animation Using Coupled Hidden Markov Models (LX, ZQL), pp. 1128–1131.
ITiCSEITiCSE-2005-Urquiza-FuentesV #animation #reuse
Reusable collections of web-based program animations (JUF, JÁVI), p. 386.
TACASTACAS-2005-BouquetDLU #ml #named #specification #using
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP (FB, FD, BL, MU), pp. 551–556.
FMFM-2005-BouquetDLU #animation #ml #specification
Symbolic Animation of JML Specifications (FB, FD, BL, MU), pp. 75–90.
SOFTVISSOFTVIS-2005-JohannesSW #algorithm #analysis #animation #using #visualisation
Algorithm animation using shape analysis: visualising abstract executions (DJ, RS, RW), pp. 17–26.
ICSEICSE-2005-ChatleyUKM #animation #requirements #validation #web
Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.
TLCATLCA-2005-Hayashi #game studies #proving #question
Can Proofs Be Animated By Games? (SH), pp. 11–22.
DocEngDocEng-2004-KingST #animation #behaviour #functional #programming #realtime #xml
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation (PRK, PS, SJT), pp. 57–66.
ITiCSEITiCSE-2004-MorenoMBS #animation
Program animation in jeliot 3 (AM, NM, MBA, ES), p. 265.
TACASTACAS-2004-Muller-OlmY #animation #game studies #model checking #named
MetaGame: An Animation Tool for Model-Checking Games (MMO, HY), pp. 163–167.
CHICHI-2004-HamalainenLNH #animation #named
Animaatiokone: an installation for creating clay animation (PH, ML, AN, JH), pp. 17–24.
ICPRICPR-v1-2004-CoskerMRH #animation #markov #speech #using
Speech Driven Facial Animation using a Hidden Markov Coarticulation Model (DC, ADM, PLR, YH), pp. 128–131.
ICPRICPR-v3-2004-Land
Pattern Perception in Animals Remote from Man (MFL), p. 1.
RERE-2004-UchitelCKM #animation #requirements #validation
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.
RERE-2004-VanLMP #animation #requirements
Goal-Oriented Requirements Animation (HTV, AvL, PM, CP), pp. 218–228.
VMCAIVMCAI-2004-Harel #challenge #modelling #multi #towards
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal (DH), pp. 323–324.
ASEASE-2003-Ellman #animation #automaton #hybrid #specification #synthesis
Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 80–93.
ITiCSEITiCSE-2003-Sojka #animation
Animations in PDF (PS), p. 263.
FASEFASE-2003-GargantiniR #animation #automation #modelling #specification
Automatic Model Driven Animation of SCR Specifications (AG, ER), pp. 294–309.
SEFMSEFM-2003-McCombS #animation #specification #using
Animation of Object-Z Specifications Using a Z Animator (TM, GS), p. 191–?.
SEFMSEFM-2003-MillerS #animation #process #specification #testing
Supporting the Software Testing Process through Specification Animation (TM, PAS), pp. 14–23.
SOFTVISSOFTVIS-2003-ElmqvistT #visualisation
Growing Squares: Animated Visualization of Causal Relations (NE, PT), pp. 17–26.
SOFTVISSOFTVIS-2003-SajaniemiK #animation
Program Animation Based on the Roles of Variables (JS, MK), pp. 7–16.
LOPSTRLOPSTR-2003-Ellman #animation #automaton #hybrid #specification #synthesis
Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 54–55.
ASEASE-2002-EllmanDF #animation #knowledge-based #simulation #source code #synthesis
Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation (TE, RD, JF), p. 93–?.
IWPCIWPC-2002-BurdOW #animation #comprehension #diagrams #sequence chart #using
Evaluating Using Animation to Improve Understanding of Sequence Diagrams (EB, DO, AW), pp. 107–113.
CHICHI-2002-Bayles #design #online #question
Designing online banner advertisements: should we animate? (MEB), pp. 363–366.
ICPRICPR-v2-2002-KovacsS #animation #detection #probability
Creating Animations Combining Stochastic Paintbrush Transformation and Motion Detection (LK, TS), p. 1090–?.
ICPRICPR-v2-2002-TweedC #multi
Tracking Multiple Animals in Wildlife Footage (DT, AC), p. 24–?.
DACDAC-2001-Najork #algorithm #animation
Web-based Algorithm Animation (MN), pp. 506–511.
ITiCSEITiCSE-2001-CiesielskiM #algorithm #animation #learning #student #using
Using animation of state space algorithms to overcome student learning difficulties (VC, PM), pp. 97–100.
ITiCSEITiCSE-2001-KoldehofeT #animation #distributed #interactive #using
Using actors in an interactive animation in a graduate course on distributed system (BK, PT), pp. 149–152.
ITiCSEITiCSE-2001-KorhonenMS #algorithm #animation #concept #matrix #named #simulation
Matrix — concept animation and algorithm simulation system (AK, LM, RS), p. 180.
VISSOFTSVIS-2001-Ben-AriMST #animation
Perspectives on Program Animation with Jeliot (MBA, NM, ES, JT), pp. 31–45.
VISSOFTSVIS-2001-DiehlGK #algorithm
Animating Algorithms Live and Post Mortem (SD, CG, AK), pp. 46–57.
VISSOFTSVIS-2001-FleischerK #algorithm #animation #education
Algorithm Animation for Teaching (RF, LK), pp. 113–128.
VISSOFTSVIS-2001-Francik #algorithm #animation #data flow #using
Algorithm Animation Using Data Flow Tracing (JF), pp. 73–87.
VISSOFTSVIS-2001-KerrenS #algorithm #animation
Algorithm Animation — Introduction (AK, JTS), pp. 1–15.
VISSOFTSVIS-2001-RossG #education #learning #named #web
Hypertextbooks: Animated, Active Learning, Comprehensive Teaching and Learning Resources for the Web (RJR, MTG), pp. 269–284.
VISSOFTSVIS-2001-Tal #algorithm #animation
Algorithm Animation Systems for Constrained Domains (AT), pp. 101–112.
ITiCSEITiCSE-2000-DannCP #programming
Making the connection: programming with animated small world (WD, SC, RP), pp. 41–44.
ITiCSEITiCSE-2000-KoldehofePT #algorithm #animation #distributed #education
LYDIAN (poster session): an extensible educational animation environment for distributed algorithms (BK, MP, PT), p. 189.
ITiCSEITiCSE-2000-RosslingSF #algorithm #animation
The ANIMAL algorithm animation tool (GR, MS, BF), pp. 37–40.
IWPCIWPC-2000-Sneed #animation #comprehension
Source Animation as a Means of Program Comprehension (HMS), pp. 179–187.
IFMIFM-2000-Bowen #animation #hardware #logic programming #semantics #specification
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language (JPB), pp. 277–296.
CHICHI-2000-RickenbergR #performance #user interface
The effects of animated characters on anxiety, task performance, and evaluations of user interfaces (RR, BR), pp. 49–56.
ICPRICPR-v4-2000-MiyasakaKHA #3d #animation #image #metric #re-engineering #realtime
Reconstruction of Realistic 3D Surface Model and 3D Animation from Range Images Obtained by Real Time 3D Measurement System (TM, KK, MH, KA), pp. 4594–4598.
SACSAC-2000-LimT #animation #evolution #interactive #problem
Solve Customers’ Problems: Interactive Evolution for Tinkering with Computer Animation (ISL, DT), pp. 404–407.
ICSEICSE-2000-MageePGK #animation #behaviour #modelling #visual notation
Graphical animation of behavior models (JM, NP, DG, JK), pp. 499–508.
LCTESLCTES-2000-AmnellDY #hybrid #realtime
A Real-Time Animator for Hybrid Systems (TA, AD, WY), pp. 134–145.
ITiCSEITiCSE-1999-HewsonDC #generative #multi #simulation
A multimedia animated simulation generator (JH, WD, MC), pp. 131–134.
ITiCSEITiCSE-1999-SternSN #algorithm #animation #complexity
A strategy for managing content complexity in algorithm animation (LS, HS, LN), pp. 127–130.
SASSAS-1999-CansellM #specification
Abstract Animator for Temporal Specifications: Application to TLA (DC, DM), pp. 284–299.
CIAAWIA-1999-BrauneDKW #animation #automaton #finite #generative #learning
Animation of the Generation and Computation of Finite Automata for Learning Software (BB, SD, AK, RW), pp. 39–47.
AGTIVEAGTIVE-1999-RodgersV #algorithm #animation #graph
Graph Algorithm Animation with Grrr (PJR, NV), pp. 379–393.
CHICHI-1999-FaradayS #authoring #using #web
Authoring Animated Web Pages Using “Contact Points” (PF, AGS), pp. 458–465.
HCIHCI-CCAD-1999-SagataOT
Group work with younger children for making animated stories (YSS, TO, YT), pp. 362–366.
HCIHCI-EI-1999-KawanoK #animation #comprehension
The Effects of Facial Expression on Understanding Japanese Sign Language Animation (SK, TK), pp. 783–787.
HCIHCI-EI-1999-SegenK #animation #gesture #interactive #interface #using
Dextrous Interaction with Computer Animations using Vision-Based Gesture Interface (JS, SK), pp. 281–285.
UMLUML-1999-GogollaRR #3d #animation #diagrams #towards #uml
Towards Three-Dimensional Animation of UML Diagrams (MG, OR, MR), pp. 489–502.
PADLPADL-1999-Elliott #animation #functional
From Functional Animation to Sprite-Based Display (CE), pp. 61–75.
ASEASE-1998-HazelST #animation #requirements #specification #using #verification
Requirements Engineering and Verification using Specification Animation (DH, PAS, OT), pp. 302–305.
ITiCSEITiCSE-1998-DybdahlST #animation #on the
On animation features of Excel (AD, ES, JT), pp. 77–80.
ITiCSEITiCSE-1998-KoldehofePT #algorithm #animation #distributed #education
Building animations of distributed algorithms for educational purposes (poster) (BK, MP, PT), p. 286.
AdaSIGAda-1998-Crawford #algorithm #animation
Algorithm Animation with Symbol Processing Robots (BSC), pp. 217–218.
AdaSIGAda-1998-JarcF #ada #algorithm #animation #data type #empirical
An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course (DJJ, MBF), pp. 68–74.
ICPRICPR-1998-BernoggerYBP #animation #eye tracking
Eye tracking and animation for MPEG-4 coding (SB, LY, AB, AP), pp. 1281–1284.
ICPRICPR-1998-NagelWWL #3d #animation #automation #modelling
Automated modelling of real human faces for 3D animation (BN, JW, SW, CEL), pp. 693–696.
PPDPALP-PLILP-1998-Elliott #animation #functional #implementation
Functional Implementations of Continuos Modeled Animation (CE), pp. 284–299.
SACSAC-1998-RobbinsR #animation #information management #using #visualisation
Web-based dynamic information visualization using exact-time animation (KAR, SR), pp. 744–751.
ITiCSEITiCSE-1997-RautamaST #algorithm #animation
Excel as an algorithm animation environment (ER, ES, JT), pp. 24–26.
ITiCSEITiCSE-WGR-1997-MarkkanenSTTR #algorithm #animation
Animation of algorithms with Eliot and Jeliot (demonstration) (JM, ES, TT, JT, ER), p. 152.
ICFPICFP-1997-ElliottH #animation #functional
Functional Reactive Animation (CE, PH), pp. 263–273.
CHICHI-1997-LesterCKBSB
The Persona Effect: Affective Impact of Animated Pedagogical Agents (JCL, SAC, SHK, STB, BAS, RSB), pp. 359–366.
HCIHCI-SEC-1997-JonesD #animation #interface #named #realtime
MARTI: Man-Machine Animation Real-Time Interface: The Illusion of Life (CMJ, SSD), pp. 841–844.
HCIHCI-SEC-1997-RobinsonSWHL #documentation
Animated Paper Documents (PR, DS, RW, RH, SL), pp. 655–658.
TOOLSTOOLS-PACIFIC-1997-LakosL #java #specification #using
Animating Formal Specifications Using Java Applets (CL, GL), pp. 196–209.
CADECADE-1997-BornatS #named
Jape: A Calculator for Animating Proof-on-Paper (RB, BS), pp. 412–415.
ITiCSEITiCSE-1996-JacksonM #algorithm #animation #network
Algorithm animation of neural networks (DJ, IGM), pp. 39–41.
ITiCSEITiCSE-1996-Jones96a #education #java #operating system
RCOS.java: an animated operating system for computer science education (DJ), p. 233.
ITiCSEITiCSE-1996-Rodger #animation
Integrating animations into courses (SHR), pp. 72–74.
ITiCSEITiCSE-1996-WilsonAK #algorithm #animation #bibliography #comprehension
Review of animation systems for algorithm understanding (JDW, RMA, IRK), pp. 75–77.
CHICHI-1996-Gonzalez #animation #question #user interface
Does Animation in User Interfaces Improve Decision Making? (CG), pp. 27–34.
ASEKBSE-1995-Ledru #animation #specification
Specification and Animation of a Bank Transfer (YL), pp. 192–199.
CHICHI-1995-HalgrenFT #animation
Amazing Animation: Movie Making for Kids (SLH, TF, DT), pp. 519–524.
CHICHI-1995-Harrison #comparison #online #user interface #visual notation
A Comparison of Still, Animated, or Nonillustrated On-Line Help with Written or Spoken Instructions in a Graphical User Interface (SMH), pp. 82–89.
CHICHI-1995-KurlanderL #animation #interface
Planning-Based Control of Interface Animation (DK, DTL), pp. 472–479.
TOOLSTOOLS-EUROPE-1994-MullerMN
A Motif Widget to Display, Animate and Edit Graphics (DM, LM, AN), pp. 27–34.
HCIHCI-SHI-1993-MoriiKT #animation #detection #evaluation #eye tracking #realtime #using
Evaluation of a Gaze Using Real-Time CG Eye-Animation Combined with Eye Movement Detector (KM, FK, NT), pp. 1103–1108.
HCIHCI-SHI-1993-MorishimaH #animation #communication #human-computer #synthesis
Facial Animation Synthesis for Human-Machine Communication System (SM, HH), pp. 1085–1090.
HCIHCI-SHI-1993-Thies
Animated Help as a Sensible Extension of a Plan-Based Help System (MAT), pp. 712–717.
HCIHCI-SHI-1993-WatersonO #multi #using
Using Animated Demonstrations in Multimedia Applications: Some Suggestions Based upon Experimental Evidence (PEW, CO), pp. 543–548.
CHIINTERCHI-1993-StaskoBL #algorithm #analysis #animation #empirical #learning
Do algorithm animations assist learning?: an empirical study and analysis (JTS, ANB, CL), pp. 61–66.
CAiSECAiSE-1993-CroshereRB #animation #communication #information management #simulation
An Animation Facility to Simulate an Information and Communication System (RC, RPvdR, AB), pp. 547–568.
SEKESEKE-1993-CanforaCCS #ada #animation #interactive #reverse engineering #source code
Reverse Engineering and Interactive Animation of Ada Programs (GC, AC, UdC, LS), pp. 507–516.
OOPSLAOOPSLA-1993-KovedW #3d #named #object-oriented #tool support
GROOP: An Object-Oriented Toolkit for Animated 3D Graphics (LK, WLW), pp. 309–325.
TOOLSTOOLS-EUROPE-1993-HillG #animation #multi #object-oriented #simulation
A Multi-Domain Tool for Object-Oriented Simulation Animation (DRCH, MG), pp. 181–195.
TOOLSTOOLS-PACIFIC-1993-Peeters #animation #design #implementation #interactive #object-oriented
Design and Implementation of an Object-Oriented, Interactive Animation System (EP), pp. 255–267.
ICSEICSE-1993-MukherjeaS #algorithm #animation #comprehension #debugging
Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding (SM, JTS), pp. 456–465.
TOOLSTOOLS-PACIFIC-1992-NobleG #animation
An Introduction to the Tarraingím Program Animation Environment (JN, LG), pp. 37–50.
CHICHI-1991-PalmiterE #evaluation #learning
An evaluation of animated demonstrations of learning computer-based tasks (SP, JE), pp. 257–263.
CHICHI-1991-RobertsonMC #3d #visualisation
Cone Trees: animated 3D visualizations of hierarchical information (GGR, JDM, SKC), pp. 189–194.
CHICHI-1991-RobertsonMC91a #3d #animation #interactive #using #visualisation
Information visualization using 3D interactive animation (GGR, JDM, SKC), pp. 461–462.
CHICHI-1991-Stasko #algorithm #animation #using
Using direct manipulation to build algorithm animations by demonstration (JTS), pp. 307–314.
PPDPPLILP-1991-Loyola #animation #debugging #execution #logic programming
Extending Execution Trees for Debugging and Animation in Logic Programming (DL), pp. 419–420.
ICLPISLP-1991-FeldmanS #animation #debugging #visual notation
Temporal Debugging and its Visual Animation (YF, EYS), pp. 3–17.
RTARTA-1991-Billaud #animation #graph grammar #interactive #named #term rewriting
ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities (MB), pp. 437–438.
CSCWCSCW-1990-WulffER #interface
Animating Interfaces (WW, SE, JR), pp. 241–254.
ICSEICSE-1990-CostaCB #animation #logic
Logical Animation (MCC, JC, JB), pp. 144–149.
FPCAFPCA-1989-Arya #animation #functional #process
Processes in a Functional Animation System (KA), pp. 382–395.
OOPSLAOOPSLA-1988-KleynG #comprehension #named #object-oriented #using
GraphTrace — Understanding Object-Oriented Systems Using Concurrently Animated Views (MFK, PCG), pp. 191–205.
HCIHCI-CE-1987-Moser #comprehension #debugging #design #using #visual notation
Understanding Complex Software Systems Using GADD: A Tool for Graphical Animated Design and Debugging (MCM), pp. 449–456.

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.