Search results for "sketch"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Yu Yang, Qing Li 0001, Minhao Yu, Yueting Zhuang	Sketch-based retrieval on Flash movies via primary scene.	ISM	2005	DBLP DOI BibTeX RDF
18	Rick L. Vinyard Jr., Joseph J. Pfeiffer Jr.	Using Color Component Overlays for Result Visualization in a Classification by Sketch System.	Diagrams	2004	DBLP DOI BibTeX RDF
18	Xiaoyang Mao, Hiroki Kato, Atsumi Imamiya, Ken Anjyo	Sketch Interface Based Expressive Hairstyle Modelling and Rendering.	Computer Graphics International	2004	DBLP DOI BibTeX RDF
18	Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese, Michele Risi	A Parsing Technique for Sketch Recognition Systems.	VL/HCC	2004	DBLP DOI BibTeX RDF
18	Georgii Khachaturov, Rafael Moncayo-Muños	Synthetic Image of Multiresolution Sketch Leads to New Features.	3DPVT	2004	DBLP DOI BibTeX RDF
18	Binbin Peng, Yin Liu 0001, Wenyin Liu, Guanglin Huang	Sketch Recognition Based on Topological Spatial Relationship.	SSPR/SPR	2004	DBLP DOI BibTeX RDF
18	Jaehwa Park, Young-Bin Kwon	An Efficient Representation of Hand Sketch Graphic Messages Using Recursive Bezier Curve Approximation.	ICIAR (1)	2004	DBLP DOI BibTeX RDF
18	Yizhou Wang 0001, Song Chun Zhu	Modeling Textured Motion : Particle, Wave and Sketch.	ICCV	2003	DBLP DOI BibTeX RDF
18	Beryl Plimmer, Mark D. Apperley	Evaluating a sketch environment for novice programmers.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	sketching, novice programmers, tool evaluation
18	Stephan Al-Zubi, Arslan Brömme, Klaus D. Tönnies	Using an Active Shape Structural Model for Biometric Sketch Recognition.	DAGM-Symposium	2003	DBLP DOI BibTeX RDF
18	Ferran Naya, Julián Francisco Conesa Pastor, Manuel Contero, Pedro Company, Joaquim A. Jorge	Smart Sketch System for 3D Reconstruction Based Modeling.	Smart Graphics	2003	DBLP DOI BibTeX RDF
18	Jian Sun 0001, Nanning Zheng 0001, Hai Tao, Heung-Yeung Shum	Image Hallucination with Primal Sketch Priors.	CVPR (2)	2003	DBLP DOI BibTeX RDF
18	Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez	Toy(FD): Sketch of Operational Semantics.	CP	2003	DBLP DOI BibTeX RDF
18	Ulrik Brandes, Markus Eiglsperger, Michael Kaufmann 0001, Dorothea Wagner	Sketch-Driven Orthogonal Graph Drawing.	GD	2002	DBLP DOI BibTeX RDF
18	Christopher D. Hundhausen	The "Algorithms Studio" Project: Using Sketch-Based Visualization Technology to Construct and Discuss Visual Representations of Algorithms.	HCC	2002	DBLP DOI BibTeX RDF
18	Herman Martins Gomes, Robert B. Fisher	Learning and Extracting Primal-Sketch Features in a Log-Polar Image Representation.	SIBGRAPI	2001	DBLP DOI BibTeX RDF
18	Liu Wenyin, Xiangyu Jin, Zhengxing Sun	Sketch-Based User Interface for Inputting Graphic Objects on Small Screen Devices.	GREC	2001	DBLP DOI BibTeX RDF
18	Amy P. Felty, Frank A. Stomp	Cache Coherency in SCI: Specification and a Sketch of Correctness.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	SCI (Scalable Coherent Interface), Distributed systems, Formal verification, Temporal logic, Cache coherency, IEEE standard
18	Johan Berndtsson	Designing an Intranet from Scratch to Sketch: Experiences from Techniques used in the IDEnet Project.	HICSS	1999	DBLP DOI BibTeX RDF	Informal interviewing, Future Workshop with Democratic Dialogue, Intranet, Card Sorting, Techniques, Information Systems Design
18	Melvin Fitting	Higher-Order Modal Logic - A Sketch.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
18	Stanislaw Matusiak, Mohamed Daoudi, Thierry Blu, Olivier Avaro	Sketch-Based Images Database Retrieval.	Multimedia Information Systems	1998	DBLP DOI BibTeX RDF
18	Tony Lindeberg	Detecting salient blob-like image structures and their scales with a scale-space primal sketch: A method for focus-of-attention.	Int. J. Comput. Vis.	1993	DBLP DOI BibTeX RDF
14	Huai-Yu Wu, Chunhong Pan, Hongbin Zha, Qing Yang 0002, Songde Ma	Partwise Cross-Parameterization via Nonregular Convex Hull Domains.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	Cross-parameterization, nonregular approximation domains, compatible remeshing, sketch-based segmentation, convex hull, critical points
14	Tanu Malik, Ligia Nistor, Ashish Gehani	Tracking and Sketching Distributed Data Provenance.	eScience	2010	DBLP DOI BibTeX RDF	Distributed, Sketch, Provenance, Auditing, Lineage, Pedigree
14	Takeo Igarashi	Keynote address: Interactive "smart" computers.	3DUI	2010	DBLP DOI BibTeX RDF	clothing manipulation interfaces, interactive smart computers, smart user interfaces, 2D geometric drawing program, electronic whiteboard system, automatic zooming, pen-based computing, interactive 3D graphics, sketch-based 3D modeling
14	Kai Wang, Jianmin Zheng, Hock Soon Seah	Reference Plane Assisted Sketching Interface for 3D Freeform Shape Design.	CW	2010	DBLP DOI BibTeX RDF	sketch based interface and modeling, freeform shape design, reference planes, interaction techniques, deformations
14	Rongqing Song, Zhongke Wu, Mingquan Zhou, Xuefeng Ao	Free-form Sketching with Ball B-Splines.	HCI (6)	2009	DBLP DOI BibTeX RDF	Ball B-Spline, Free-form Shapes, Sketch
14	Gamhewage C. de Silva, Kiyoharu Aizawa	Retrieving multimedia travel stories using location data and spatial queries.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	sketch-based querying, travel diary, multimedia retrieval
14	Jean-Luc Mari	Surface Sketching with a Voxel-Based Skeleton.	DGCI	2009	DBLP DOI BibTeX RDF	automatic mesh generation, topological skeleton, geometrical modeling, sketch, voxel, Discrete geometry
14	Han Hee Song, Tae Won Cho, Vacha Dave, Yin Zhang 0001, Lili Qiu	Scalable proximity estimation and link prediction in online social networks.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	proximity measure, social network, embedding, sketch, matrix factorization, link prediction
14	Jie Li, Danli Wang, Guozhong Dai	A Pen-Based 3D Role Modeling Tool for Children.	Trans. Edutainment	2008	DBLP DOI BibTeX RDF	3D role modeling, gesture recognition, sketch, storytelling, pen-based interface
14	Yotam I. Gingold, Denis Zorin	Shading-based surface editing.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	deformations, interactive modeling, image-based modeling, sketch-based modeling
14	Lian'en Huang, Lei Wang, Xiaoming Li	Achieving both high precision and high recall in near-duplicate detection.	CIKM	2008	DBLP DOI BibTeX RDF	web document repository, similarity, sketch, fingerprint, longest common subsequence, near-duplicate
14	Ray Maleh, Anna C. Gilbert	Sublinear Recovery of Sparse Wavelet Signals.	DCC	2008	DBLP DOI BibTeX RDF	sublinear recovery, Haar, Reed Muller, wavelets, sketch, sparse
14	Yoshitake Shojiguchi, Masato Soga, Noriyuki Matsuda, Hirokazu Taki	Interactive Learning Environment for Drawing Skill Based on Perspective.	KES (3)	2008	DBLP DOI BibTeX RDF	Sketch, Learning environment, Skill, Perspective
14	Hongxin Zhang 0001, Julien Hadim, Xavier Granier	Using the CAT for 3D Sketching in Front of Large Displays.	Smart Graphics	2008	DBLP DOI BibTeX RDF	Large Display, Interaction Devices, Sketch-based 3D Modeling
14	Guangzheng Fei, Won-Sook Lee, Chris Joslin, Zijun Xin	3D animation creation using space canvases for free-hand drawing.	VRCAI	2008	DBLP DOI BibTeX RDF	sketch-based modeling and animation, space canvases
14	Fausto Richetti Blanco, Manuel M. Oliveira	Instant mesh deformation.	SI3D	2008	DBLP DOI BibTeX RDF	curve-based deformation, interactive mesh deformation, sketch-based editing
14	Heeyoul Choi, Brandon Paulson, Tracy Hammond	Gesture Recognition Based on Manifold Learning.	SSPR/SPR	2008	DBLP DOI BibTeX RDF	Kernel Isomap, Manifold Learning, Sketch Recognition
14	Andrew Nealen, Takeo Igarashi, Olga Sorkine, Marc Alexa	FiberMesh: designing freeform surfaces with 3D curves.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	differential representations, fair surface design, sketch based interfaces and modeling, sketching, deformations
14	Yuki Mori, Takeo Igarashi	Plushie: an interactive design system for plush toys.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	plush toys, cloth simulation, sketch-based modeling
14	Teng-Wen Chang, Yuan-Bang Cheng	Implementing an Interactive Collage Table System with Design Puzzle Exploration.	HCI (2)	2007	DBLP DOI BibTeX RDF	interactive collage table, design collage, multi-touch and sketch, design puzzle, design exploration
14	Haiyan Yang, CuiXia Ma, Dongxing Teng, Guozhong Dai, Hongan Wang	Adaptive User Interactive Sketching for Teaching Based on Pen Gesture.	HCI (13)	2007	DBLP DOI BibTeX RDF	intent-based method, sketch, adaptive interface, pen gesture
14	Gurmeet Singh Manku, Arvind Jain, Anish Das Sarma	Detecting near-duplicates for web crawling.	WWW	2007	DBLP DOI BibTeX RDF	search, similarity, sketch, fingerprint, hamming distance, web crawl, web document, near-duplicate
14	Robert Adelmann, Tobias Bischoff, Tobias Lauer	IDEA: a framework for the fast creation of interactive animations by pen sketching.	ITiCSE	2007	DBLP DOI BibTeX RDF	education, algorithm animation, sketch recognition
14	HyoJong Shin, Takeo Igarashi	Magic canvas: interactive design of a 3-D scene prototype from freehand sketches.	Graphics Interface	2007	DBLP DOI BibTeX RDF	3-D scene, prototype, sketch
14	Xiaofan Chen, Beryl Plimmer	CodeAnnotator: digital ink annotation within Eclipse.	OZCHI	2007	DBLP DOI BibTeX RDF	digital ink annotation, annotation, sketch, Eclipse
14	Peter Reid, Fred Hallett-Hook, Beryl Plimmer, Helen C. Purchase	Applying layout algorithms to hand-drawn graphs.	OZCHI	2007	DBLP DOI BibTeX RDF	tablet PC, sketch tools, layout algorithms
14	Qin Lv, William Josephson, Zhe Wang, Moses Charikar, Kai Li 0001	Efficient filtering with sketches in the ferret toolkit.	Multimedia Information Retrieval	2006	DBLP DOI BibTeX RDF	feature-rich data, filtering, sketch, similarity search, toolkit
14	Qin Lv, William Josephson, Zhe Wang, Moses Charikar, Kai Li 0001	Ferret: a toolkit for content-based similarity search of feature-rich data.	EuroSys	2006	DBLP DOI BibTeX RDF	feature-rich data, sketch, similarity search, toolkit
14	Takashi Ijiri, Shigeru Owada, Makoto Okabe, Takeo Igarashi	Floral diagrams and inflorescences: interactive flower modeling using botanical structural constraints.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	floral diagram, inflorescence, 3D modeling, sketch-based modeling, flower
14	Suckchul Kim, Yoonsik Tak, Yunyoung Nam, Eenjun Hwang	mCLOVER: mobile content-based leaf image retrieval system.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	query by photograph, content-based image retrieval, mobile platform, query by sketch
14	Stéphane Safin, Christelle Boulanger, Pierre Leclercq	Premières évaluations d'un bureau virtuel pour un processus de conception augmenté.	IHM	2005	DBLP DOI BibTeX RDF	augmented design process, building engineering, human computer interaction in design, self-generated model, sketch based modelling
14	Patrick Coleman, Karan Singh, Leon Barrett, Nisha Sudarsanam, Cindy Grimm	3D screen-space widgets for non-linear projection.	GRAPHITE	2005	DBLP DOI BibTeX RDF	non-linear perspective, rendering, projection, perspective, camera control, sketch interface
14	Youngihn Kho, Michael Garland	Sketching mesh deformations.	SI3D	2005	DBLP DOI BibTeX RDF	interactive mesh deformation, sketch-based editing, intuitive interfaces
14	John W. Byers, Jeffrey Considine, Michael Mitzenmacher, Stanislav Rost	Informed content delivery across adaptive overlay networks.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	digital fountain, min-wise sketch, peer-to-peer, bloom filter, overlay, erasure code, content delivery, reconciliation
14	Heloise Hwawen Hse, Michael Shilman, A. Richard Newton	Robust sketched symbol fragmentation using templates.	IUI	2004	DBLP DOI BibTeX RDF	shape templates, sketch-based user interface, HCI, fitting, perceptual grouping, curve segmentation
14	Aaron Adler, Randall Davis	Speech and sketching for multimodal design.	IUI	2004	DBLP DOI BibTeX RDF	multimodal interaction, sketch, speech
14	Hiroaki Tobita, Jun Rekimoto	Flat3D: A Shared Virtual 3D World Grown by Creative Activities and Communication through the Network.	Computer Graphics International	2004	DBLP DOI BibTeX RDF	Shred Virtual 3D World, Creation and Communication, Sketch Manipulation, Virtual Reality
14	Roland Juchmes, Pierre Leclercq	EsQUIsE-SMA: un système multi-agents pour l'interprétation d'esquisses architecturales.	IHM	2004	DBLP DOI BibTeX RDF	hand-drawn sketch recognition, multi-agent systems, computer aided design, human-computer interface
14	Eric Saund	Finding Perceptually Closed Paths in Sketches and Drawings.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Contour closure, closed path, Gestalt laws, sketch interpretation, line art analysis, graphics recognition, perceptual organization
14	Robert Rasch, Alexander Kott, Kenneth D. Forbus	Incorporating AI into Military Decision Making: An Experiment.	IEEE Intell. Syst.	2003	DBLP DOI BibTeX RDF	military decision making, experimental AI, course-of-action analysis, knowledge-based systems, qualitative reasoning, planning and scheduling, sketch-based interfaces, decision aids
14	Thomas Jung, Mark D. Gross, Ellen Yi-Luen Do	Annotating and sketching on 3D web models.	IUI	2002	DBLP DOI BibTeX RDF	sketch in 3D, collaboration, annotation, VRML, gesture recognition, 3D models, pen-based interface, Java 3D
14	Pierre Leclercq	Interface-esquisse effacée en ingénierie de conception.	IHM	2002	DBLP DOI BibTeX RDF	user interface ergonomics, adaptative interface, architectural design, sketch interface, implicit knowledge, design assistance
14	Stéphane Huot, Cédric Dumas	Vers des modeleurs 3D créatifs: étude de dessins d'architectes.	IHM	2002	DBLP DOI BibTeX RDF	3D modelling interfaces, architectural drawing, sketch
14	Thomas Jung, Mark D. Gross, Ellen Yi-Luen Do	Sketching annotations in a 3D web environment.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	sketch in 3D, collaboration, annotation, VRML, 3D models, pen-based interface, java 3D
14	P. A. C. Varley, Ralph R. Martin	Estimating depth from line drawing.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	B-rep models, sketch input
14	Nick Halper, Stefan Schlechtweg, Thomas Strothotte	Creating non-photorealistic images the designer's way.	NPAR	2002	DBLP DOI BibTeX RDF	design, user interfaces, non-photorealistic rendering, sketch interface, creative process, modular system
14	Liu Wenyin, Wenjie Qian, Rong Xiao, Xiangyu Jin	Smart Sketchpad - An On-line Graphics Recognition System.	ICDAR	2001	DBLP DOI BibTeX RDF	support vector machines (SVMs), artificial neural network (ANN), shape recognition, Graphics recognition, sketch recognition, pen-based user interface
14	Jirí Adámek, Francis Borceux	Morita Equivalence of Sketches.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	Morita equivalence, sketch
14	Martin Hyland, John Power	Symmetric monoidal sketches.	PPDP	2000	DBLP DOI BibTeX RDF	action calculi, categories of wirings, symmetric monoidal category, sketch
14	Adam T. Lake, Carl Marshall, Mark Harris, Marc Blackstein	Stylized rendering techniques for scalable real-time 3D animation.	NPAR	2000	DBLP DOI BibTeX RDF	cartoon effects, cartoon rendering, pencil sketch rendering, real-time nonphotorealistic animation and rendering, silhouette edge detection, stylized rendering
14	Charles E. Jacobs, Adam Finkelstein, David Salesin	Fast multiresolution image querying.	SIGGRAPH	1995	DBLP DOI BibTeX RDF	query by content, sketch retrieval, wavelets, image databases, content-based retrieval, image indexing, query by example, similarity retrieval, image metrics
13	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
13	Suzanne Kieffer, Adrien Coyette, Jean Vanderdonckt	User interface design by sketching: a complexity analysis of widget representations.	EICS	2010	DBLP DOI BibTeX RDF	level of fidelity, user interface design, sketching, shape recognition, user interface prototyping
13	Andrew Correa, Matthew R. Walter, Luke Fletcher, Jim Glass, Seth J. Teller, Randall Davis	Multimodal interaction with an autonomous forklift.	HRI	2010	DBLP DOI BibTeX RDF	forklift, interaction, robotic, autonomous, tablet
13	Yaoye Zhang, Zhengxing Sun, Kai Liu 0022, Yan Zhang 0007	A Method of 3D Garment Model Generation Using Sketchy Contours.	CGIV	2009	DBLP DOI BibTeX RDF
13	Christian Holz 0001, Steven Feiner	Relaxed selection techniques for querying time-series graphs.	UIST	2009	DBLP DOI BibTeX RDF	time-series data, similarity queries
13	Xuejin Chen, Sing Bing Kang, Ying-Qing Xu, Julie Dorsey, Heung-Yeung Shum	Sketching reality: Realistic interpretation of architectural designs.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	realistic imagery, Sketching, shape
13	Dimitri Van De Ville, Michael Unser	Complex Wavelet Bases, Steerability, and the Marr-Like Pyramid.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
13	Alla Safonova, Jessica K. Hodgins	Synthesizing Human Motion from Intuitive Constraints.	Artificial Intelligence Techniques for Computer Graphics	2008	DBLP DOI BibTeX RDF
13	Takahiro Hayashi, Taisuya Kiyono, Koji Abe, Rikio Onai	Retrieval of 2D vector images by matching Weighted Feature Points.	ICIP	2008	DBLP DOI BibTeX RDF
13	Ying Yan 0002, Beng Chin Ooi, Aoying Zhou	Continuous Content-Based Copy Detection over Streaming Videos.	ICDE	2008	DBLP DOI BibTeX RDF
13	Jooseop Yun, Jun Miura	A quantitative measure for the navigability of a mobile robot using rough maps.	IROS	2008	DBLP DOI BibTeX RDF
13	Christophe Jermann, Hiroshi Hosobe	A constraint hierarchies approach to geometric constraints on sketches.	SAC	2008	DBLP DOI BibTeX RDF
13	Grégory Wallet, Hélène Sauzéon, Jérôme Rodrigues, Bernard N'Kaoua	Use of virtual reality for spatial knowledge transfer: effects of passive/active exploration mode in simple and complex routes for three different recall tasks.	VRST	2008	DBLP DOI BibTeX RDF	exploration mode, recall tasks, route complexity, virtual reality, spatial cognition, knowledge transfer
13	Yoshifumi Kitamura, Rong Rong, Yoshinori Hirano, Kazuhiro Asai, Fumio Kishino	Video agent: interactive autonomous agents generated from real-world creatures.	VRST	2008	DBLP DOI BibTeX RDF	interactive multimedia content, image processing, fuzzy logic, computer animation, video database, characters
13	Mizuki Oka, Kazuhiko Kato, Yingqing Xu, Lin Liang, Fang Wen 0001	Scribble-a-Secret: Similarity-based password authentication using sketches.	ICPR	2008	DBLP DOI BibTeX RDF
13	Yao-Chung Fan, Arbee L. P. Chen	Efficient and robust sensor data aggregation using linear counting sketches.	IPDPS	2008	DBLP DOI BibTeX RDF
13	Marco de Sá, Luís Carriço, Luís Duarte, Tiago Reis	A mixed-fidelity prototyping tool for mobile devices.	AVI	2008	DBLP DOI BibTeX RDF	mobile interaction design, evaluation, usability, prototyping
13	Clayton Lewis	Simplicity in cognitive assistive technology: a framework and agenda for research.	Univers. Access Inf. Soc.	2007	DBLP DOI BibTeX RDF	User interface design, Cognitive disabilities
13	Howard Zhou, Jie Sun 0004, Greg Turk, James M. Rehg	Terrain Synthesis from Digital Elevation Models.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Terrain synthesis, terrain analysis, texture synthesis, Digital Elevation Models
13	Weiming Hu, Dan Xie, Zhouyu Fu, Wenrong Zeng, Stephen J. Maybank	Semantic-Based Surveillance Video Retrieval.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
13	Guangyan Huang, Zhiming Ding, Jing He 0004	Automatic Generation of Traditional Style Painting by Using Density-Based Color Clustering.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
13	Stilian Stoev, Marios Hadjieleftheriou, George Kollios, Murad S. Taqqu	Norm, Point, and Distance Estimation Over Multiple Signals Using Max-Stable Distributions.	ICDE	2007	DBLP DOI BibTeX RDF
13	Kyung-Sook Park, Dong-Soo Kwon, Mignon Park	A Design of the Mental Model of a Cognitive Robot.	RO-MAN	2007	DBLP DOI BibTeX RDF
13	Hilaire Fernandes, Stéphane Ducasse, Thibault Carron	DR. GEO II: Adding Interactivity Planes in Interactive Dynamic Geometry.	C5	2007	DBLP DOI BibTeX RDF
13	Ely Porat, Ohad Lipsky	Improved Sketching of Hamming Distance with Error Correcting.	CPM	2007	DBLP DOI BibTeX RDF
13	Edith Cohen, Haim Kaplan	Bottom-k sketches: better and more efficient estimation of aggregates.	SIGMETRICS	2007	DBLP DOI BibTeX RDF	bottom-k, sampling, sketches, approximate query processing
13	David Van Horn, Harry G. Mairson	Relating complexity and precision in control flow analysis.	ICFP	2007	DBLP DOI BibTeX RDF	eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction