Search results for "animator"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Nancy J. Earle, Daniel T. Brunner, James O. Henriksen	Proof: the general purpose animator.	WSC	1990	DBLP DOI BibTeX RDF
25	Daniel T. Brunner, James O. Henriksen	A general purpose animator.	WSC	1989	DBLP DOI BibTeX RDF	ARMIS, VENUS
25	L. D. Natanson, W. B. Samson	An Animator for CSP Implemented in HOPE.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
25	Elena Giannotti	Algorithm animator: a tool for programming learning.	SIGCSE	1987	DBLP DOI BibTeX RDF
25	Mario Fortin, J. F. Lamy, Daniel Thalman	A multiple track animator system for motion synchronization.	Workshop on Motion	1986	DBLP BibTeX RDF
25	Peggy Anne Talbot, John W. Carr III, Richard R. Coulter Jr., Rosa C. Hwang	Animator: An On-Line Two-dimensional Film Animation System.	Commun. ACM	1971	DBLP DOI BibTeX RDF
13	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
13	Meredith McLendon, Ann McNamara, Tim McLaughlin, Ravindra Dwivedi	Lions and tigers and bears: investigating cues for expressive creature motion.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
13	Alexis Angelidis, Brendan McCane	Fur simulation with spring continuum.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Spring continuum, Fur animation
13	Jens Bendisposto, Michael Leuschel	Proof Assisted Model Checking for B.	ICFEM	2009	DBLP DOI BibTeX RDF	Model Checking, Experiment, Theorem Proving, B-Method, Tool Integration
13	Tatsuya Ishikawa, Shoichi Hasegawa	Virtual stroboscope for robot motion design.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF	stop motion, humanoid robot, motion design
13	Schubert R. Carvalho, Ronan Boulic, Daniel Thalmann	Motion Pattern Encapsulation for Data-Driven Constraint-Based Motion Editing.	MIG	2009	DBLP DOI BibTeX RDF	PCA, Inverse Kinematics, Motion Editing, Motion Models
13	Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos	Formal Validation of OFEPSP+ with AVISPA.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF	AVISPA, security protocol, Fair exchange, SPAN, formal validation
13	Gary Singh	Abstracts and Fragments.	IEEE Computer Graphics and Applications	2008	DBLP DOI BibTeX RDF	Tim Borgmann, animation, computer graphics, graphic artist, particle simulation
13	Ioannis Pachoulakis	3D reconstruction and visualization of astrophysical wind volumes using physical models.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	3D volume reconstruction, early type binaries, spectroscopic binaries, synthetic light curves, wind modeling, volume visualization, physical models, photometry
13	Parag Chaudhuri, George Papagiannakis, Nadia Magnenat-Thalmann	Self adaptive animation based on user perspective.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Self adaptive character animation, Animation blending, Augmented and virtual reality
13	Chris Hecker, Bernd Raabe, Ryan W. Enslow, John DeWeese, Jordan Maynard, Kees van Prooijen	Real-time motion retargeting to highly varied user-created morphologies.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	games, user generated content, character animation, inverse kinematics, motion retargeting, procedural animation
13	Idir Aït-Sadoune, Yamine Aït Ameur	Animating Event B Models by Formal Data Models.	ISoLA	2008	DBLP DOI BibTeX RDF
13	Mark Utting, Petra Malik	Unit Testing of Z Specifications.	ABZ	2008	DBLP DOI BibTeX RDF
13	Ricardo Lent	INES: network simulations on virtual environments.	SimuTools	2008	DBLP DOI BibTeX RDF	simulation suport systems, virtual environments, network simulation
13	Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van	Early verification and validation of mission critical systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Model-checking, Animation, Requirements engineering, Monitoring, Verification and validation, Goal modelling
13	Ying Li, Jiaxin L. Fu, Nancy S. Pollard	Data-Driven Grasp Synthesis Using Shape Matching and Task-Based Pruning.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Grasp synthesis, grasp quality, shape matching, hands
13	Chao Jin, Thomas Fevens, Shuo Li 0001, Sudhir P. Mudur	Motion learning-based framework for unarticulated shape animation.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Motion learning, Computer animation, Mesh deformation, Keyframe
13	Kevin T. McDonnell, Hong Qin 0001	A novel framework for physically based sculpting and animation of free-form solids.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Animation, Physically based modeling, Virtual sculpting, Subdivision algorithms
13	Robert Bridson, Jim Houriham, Marcus Nordenstam	Curl-noise for procedural fluid flow.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	noise, turbulence, fluids, procedural animation
13	Martin Saerbeck, Albert J. N. van Breemen	Design guidelines and tools for creating believable motion for personal robots.	RO-MAN	2007	DBLP DOI BibTeX RDF
13	Marc Salvati, Seung Zoo Jeong, Naoki Hashimoto, Makoto Sato	"Do Like Me", "Do Like This": Creating Animations by Teaching a Virtual Human.	Shape Modeling International	2007	DBLP DOI BibTeX RDF
13	Michael Century	Exact imagination and distributed creativity: a lesson from the history of animation.	Creativity & Cognition	2007	DBLP DOI BibTeX RDF	auteur animation, distributed creativity, exact imagination, key-frame interpolation, computer animation
13	Pauli Byckling, Jorma Sajaniemi	A Study on Applying Roles of Variables in Introductory Programming.	VL/HCC	2007	DBLP DOI BibTeX RDF
13	Jens Bendisposto, Michael Leuschel	A Generic Flash-Based Animation Engine for ProB.	B	2007	DBLP DOI BibTeX RDF	Animation, Tool Support, B-Method
13	Brian F. Allen, Derek Chu, Ari Shapiro, Petros Faloutsos	On the beat!: timing and tension for dynamic characters.	Symposium on Computer Animation	2007	DBLP DOI BibTeX RDF
13	Alexis Angelidis, Karan Singh	Kinodynamic skinning using volume-preserving deformations.	Symposium on Computer Animation	2007	DBLP DOI BibTeX RDF
13	Anna Majkowska, Petros Faloutsos	Flipping with physics: motion editing for acrobatics.	Symposium on Computer Animation	2007	DBLP DOI BibTeX RDF
13	Kevin G. Der, Robert W. Sumner, Jovan Popovic	Inverse kinematics for reduced deformable models.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	deformations, animation with constraints
13	Xiaosong Yang, Jian J. Zhang 0001	Stretch It - Realistic Smooth Skinning.	CGIV	2006	DBLP DOI BibTeX RDF
13	Jim Woodcock 0001	An Operational Semantics in UTP for a Language of Reactive Designs (Abstract).	UTP	2006	DBLP DOI BibTeX RDF
13	Pauli Byckling, Jorma Sajaniemi	Roles of variables and programming skills improvement.	SIGCSE	2006	DBLP DOI BibTeX RDF	computer science education, roles of variables
13	Céline Schlienger, Pierre Dragicevic, Claire Ollagnon, Stéphane Chatty	Les transitions visuelles différenciées: principes et applications.	IHM	2006	DBLP DOI BibTeX RDF	animated transitions, animation, situation awareness, cartoon
13	Lin Zhao, Julia Grant, Fred L. Collopy	The design of an interactive and dynamic representation of the firm.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	accounting information systems, simulation, visualization, interactivity, animation, information representation
13	Yves Ledru	Using Jaza to Animate RoZ Specifications of UML Class Diagrams.	SEW	2006	DBLP DOI BibTeX RDF
13	Yves Ledru, Lydie du Bousquet	Tobias-Z: An executable formal specification of a test generator.	ASE	2006	DBLP DOI BibTeX RDF
13	Haishan Tian, Yuanjun He, Hongming Cai, Lirong Feng	Efficient Metamorphosis of Point-Sampled Geometry.	ICAT Workshops	2006	DBLP DOI BibTeX RDF	cluster, registration, Metamorphosis, point-sampled geometry, covariance analysis
13	James McCann, Nancy S. Pollard, Siddhartha S. Srinivasa	Physics-based motion retiming.	Symposium on Computer Animation	2006	DBLP DOI BibTeX RDF
13	Christina N. de Juan, Bobby Bodenheimer	Re-using traditional animation: methods for semi-automatic segmentation and inbetweening.	Symposium on Computer Animation	2006	DBLP DOI BibTeX RDF
13	Yootai Kim, Raghu Machiraju, David S. Thompson	Path-based control of smoke simulations.	Symposium on Computer Animation	2006	DBLP DOI BibTeX RDF
13	Yujun Chen, Jiaxin Wang, Zehong Yang, Yixu Song	Interactive Knowledge Integration in 3D Cloth Animation with Intelligent Learning System.	PCM	2006	DBLP DOI BibTeX RDF	Interactive parameter identification, 3D Cloth Animation, Kawabata evaluation system, Fuzzy system, RBF Neural network
13	Ke-Sen Huang, Chun-Fa Chang, Yu-Yao Hsu, Shi-Nine Yang	Key Probe: a technique for animation keyframe extraction.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	Computer animation, Matrix factorization, Shape blending, Keyframe extraction
13	Seyoon Tak, Hyeong-Seok Ko	A physically-based motion retargeting filter.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	animation w/constraints, physically based animation, Motion retargeting
13	Michael Leuschel, Michael J. Butler	Automatic Refinement Checking for B.	ICFEM	2005	DBLP DOI BibTeX RDF	Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking
13	Stuart H. Kurkowski, Tracy Camp, Neil Mushell, Michael Colagrosso	A Visualization and Analysis Tool for NS-2 Wireless Simulations: iNSpect.	MASCOTS	2005	DBLP DOI BibTeX RDF
13	Michael Leuschel, Edd Turner	Visualising Larger State Spaces in Pro B.	ZB	2005	DBLP DOI BibTeX RDF	Model Checking, Formal Methods, Animation, Logic Programming, Visualisation, Tool Support, B-Method
13	Hun Im, Jong Weon Lee 0002	Computer-Assisted Artistic Pattern Drawing.	Smart Graphics	2005	DBLP DOI BibTeX RDF
13	Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, Michael Hamilton, Brent Wilkins	UMLAnT: an Eclipse plugin for animating and testing UML designs.	eTX	2005	DBLP DOI BibTeX RDF	EclipseUML, UML, Eclipse, class diagram, sequence diagram, activity diagram, plugin, EMF, model execution, object diagram, model testing
13	Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde	Goal-Oriented Design of Domain Control Panels.	DSV-IS	2005	DBLP DOI BibTeX RDF
13	Alex Henzen, Neculai Ailenei, Fabian Di Fiore, Frank Van Reeth, John Patterson	Sketching with a low-latency electronic ink drawing tablet.	GRAPHITE	2005	DBLP DOI BibTeX RDF	electronic ink, line and curve generation, interaction techniques, input devices
13	William Van Haevre, Fabian Di Fiore, Frank Van Reeth	Uniting cartoon textures with computer assisted animation.	GRAPHITE	2005	DBLP DOI BibTeX RDF	automatic in-betweening, cartoon textures, structured 2D animation, computer animation
13	Katsu Yamane, James J. Kuffner, Jessica K. Hodgins	Synthesizing animations of human manipulation tasks.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	two-hand manipulation, motion capture, path planning, human figure animation
13	Tim Miller, Paul A. Strooper	A Case Study in Specification and Implementation Testing.	APSEC	2004	DBLP DOI BibTeX RDF
13	ZhiDong Xiao, Jian J. Zhang 0001, Stephen Bell	Control of Motion in Character Animation.	IV	2004	DBLP DOI BibTeX RDF	motion warping, Character animation, motion control, motion editing, motion retargeting, spacetime constraints, motion blending
13	Wai-Chun Lam, Feng Zou, Taku Komura	Motion editing with data glove.	Advances in Computer Entertainment Technology	2004	DBLP DOI BibTeX RDF	computer puppetry, motion capture, motion synthesis, motion editing, data glove
13	Konstantin Melikhov, Feng Tian 0006, Seah Hock Soon, Quan Chen, Jie Qiu 0002	Frame Skeleton Based Auto-Inbetweening in Computer Assisted Cel Animation.	CW	2004	DBLP DOI BibTeX RDF	automatic inbetweening, drawing style, polygon, curvature, cel animation, stroke texture
13	Jovan Popovic, Steven M. Seitz, Michael A. Erdmann	Motion sketching for control of rigid-body simulations.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	user interface design, Physically based animation, animation with constraints
13	Alexander Sibiryakov, Xiangyang Ju, Jean-Christophe Nebel	A New Automated Workflow for 3D Character Creation Based on 3D Scanned Data.	International Conference on Virtual Storytelling	2003	DBLP DOI BibTeX RDF
13	Michael Leuschel, Michael J. Butler	ProB: A Model Checker for B.	FME	2003	DBLP DOI BibTeX RDF	Model Checking, Animation, Logic Programming, Constraints, Tool Support, B-Method
13	André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van	FAUST: Formal Analysis Using Specification Tools.	RE	2003	DBLP DOI BibTeX RDF
13	Jin Ok Kim, Bum Ro Lee, Chin Hyun Chung	The Inductive Inverse Kinematics Algorithm for Manipulating the Posture of an Articulated Body.	IDEAL	2003	DBLP DOI BibTeX RDF
13	Olivier Parisy, Christophe Schlick	Physical Animation and Control of Simulated Creatures.	Smart Graphics	2003	DBLP DOI BibTeX RDF	Physical Model Generation, Artificial Life, Behaviour, Physical Simulation, Animation Control
13	The Duy Bui, Dirk Heylen, Mannes Poel, Anton Nijholt	Exporting Vector Muscles for Facial Animation.	Smart Graphics	2003	DBLP DOI BibTeX RDF
13	Jin Ok Kim, Bum Ro Lee, Chin Hyun Chung, Jun Hwang, Woongjae Lee	The Uniform Posture Map Algorithm for the Real-Time Interactive Motion Transitions of an Articulated Body.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
13	Jin Ok Kim, Bum Ro Lee, Chin Hyun Chung, Jun Hwang, Woongjae Lee	The Inductive Inverse Kinematics Algorithm to Manipulate the Posture of an Articulated Body.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
13	Deanna Morse	MOVE CLICK MOVE: creating an animation DVD.	SIGGRAPH Educators Program	2003	DBLP DOI BibTeX RDF
13	Francisco Luengo, Andrés Iglesias 0001	Animating Behavior of Virtual Agents: The Virtual Park.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
13	Jin Ok Kim, Bum Ro Lee, Chin Hyun Chung	A Real-Time Natural Motion Edit by the Uniform Posture Map Algorithm.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
13	Fabian Di Fiore, Frank Van Reeth	Mimicing 3D transformations of emotional stylised animation with minimal 2D input.	GRAPHITE	2003	DBLP DOI BibTeX RDF	computer-assisted animation, example-based animation, computer animation, facial expressions, facial animation, cartoon animation
13	Wei Shao, Victor Ng-Thow-Hing	A general joint component framework for realistic articulation in human characters.	SI3D	2003	DBLP DOI BibTeX RDF	biomechanical joint, joint modelling, human modelling, articulated figure
13	Okan Arikan, David A. Forsyth	Interactive motion generation from examples.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	clustering, motion capture, human motion, graph search, motion synthesis, animation with constraints
13	Katherine Pullen, Christoph Bregler	Motion capture assisted animation: texturing and synthesis.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	motion texture, animation, motion capture, motion synthesis
13	Hong Chen, Nanning Zheng 0001, Lin Liang, Yan Li, Ying-Qing Xu, Heung-Yeung Shum	PicToon: a personalized image-based cartoon system.	ACM Multimedia	2002	DBLP DOI BibTeX RDF	multi-modal interaction and integration, non-parametric sampling, user interfaces, applications, lip-syncing, example-based learning
13	João Saraiva	Component-Based Programming for Higher-Order Attribute Grammars.	GPCE	2002	DBLP DOI BibTeX RDF
13	Norman I. Badler, Jan M. Allbeck, Liwei Zhao, Meeran Byun	Representing and Parameterizing Agent Behaviors.	CA	2002	DBLP DOI BibTeX RDF
13	Dimitris N. Metaxas	From Visual Input to Modeling Humans.	CA	2002	DBLP DOI BibTeX RDF
13	Fabian Di Fiore, Frank Van Reeth	Employing Approximate 3D Models to Enrich Traditional Computer Assisted Animation.	CA	2002	DBLP DOI BibTeX RDF
13	Stephen Chenney, Mark Pingel, Rob Iverson, Marcin Szymanski	Simulating cartoon style animation.	NPAR	2002	DBLP DOI BibTeX RDF	squash-and-stretch, stylized animation, deformation, physical simulation, stylized rendering
13	Tim Miller, Paul A. Strooper	Animation Can Show Only the Presence of Errors, Never Their Absence.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
13	Benoît Labaye, Nadia Guérin, Sébastien Dohogne	DocToon© - A Mediator in the Hospital of the XXIst Century.	International Conference on Virtual Storytelling	2001	DBLP DOI BibTeX RDF
13	Maria Satratzemi, Vassilios Dagdilelis, Georgios Evangelidis 0001	A system for program visualization and problem-solving path assessment of novice programmers.	ITiCSE	2001	DBLP DOI BibTeX RDF	problem-solving assessment, programming environment, program visualization, novice programmers
13	Wong Kheng Kwong, Liyanage C. De Silva, Bharadwaj Veeravalli	Software Based Communication System For The Hearing Impaired.	ICME	2001	DBLP DOI BibTeX RDF
13	Maria João Varanda Pereira, Pedro Rangel Henriques	Visualization/Animation of Programs based on Abstract Representations and Formal Mappings.	HCC	2001	DBLP DOI BibTeX RDF
13	Harold C. Sun, Dimitris N. Metaxas	Automating gait generation.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	animation, animation with constraints, animation systems, human body simulation
13	Tim Miller, Paul A. Strooper	Combining the Animation and Testing of Abstract Data Types.	APAQS	2001	DBLP DOI BibTeX RDF
13	Linda B. Sherrell, William Paulsen	Z Specifications Meet Mathematica for Exploratory Prototyping.	ICRE	2000	DBLP DOI BibTeX RDF
13	Mark Richters, Martin Gogolla	Validating UML Models and OCL Constraints.	UML	2000	DBLP DOI BibTeX RDF
13	Sining Wu, Baocai Yin, Tao Cai	The Synthesis of Realistic Human Face.	ICMI	2000	DBLP DOI BibTeX RDF	Morphing model, Texture-mapping, Face model
13	Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi 0001	UPPAAL - Now, Next, and Future.	MOVEP	2000	DBLP DOI BibTeX RDF
13	Frank Dachille, Arie E. Kaufman	High-Degree Temporal Antialiasing.	CA	2000	DBLP DOI BibTeX RDF
13	Lorna Herda, Pascal Fua, Ralf Plänkers, Ronan Boulic, Daniel Thalmann	Skeleton-based Motion Capture for Robust Reconstruction of Human Motion.	CA	2000	DBLP DOI BibTeX RDF	skeleton-based tracking, Motion capture
13	Yahya Aydin, Masayuki Nakajima 0001	Balance control and mass centre adjustment of articulated figures in interactive environments.	Vis. Comput.	1999	DBLP DOI BibTeX RDF	Articulated figure positioning, Balance control, Mass centre adjustment, Interactive environments
13	Eva Cerezo, Alfredo Pina, Francisco J. Serón	Motion and behaviour modelling: state of art and new trends.	Vis. Comput.	1999	DBLP DOI BibTeX RDF	Control techniques, Computer animation, Motion modelling, Behaviour modelling, Synthetic actors
13	Xiaoming Liu 0002, Yueting Zhuang, Yunhe Pan	Video based human animation technique.	ACM Multimedia (1)	1999	DBLP DOI BibTeX RDF	motion library, video, kalman filter, skeleton, camera calibration, feature point, human animation
13	Yahya Aydin, Masayuki Nakajima 0001	Realistic Articulated Character Positioning and Balance Control in Interactive Environments.	CA	1999	DBLP DOI BibTeX RDF