Search results for "arts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Anja Arts, Alfons Maes, Leo G. M. Noordman, Carel Jansen	Overspecification in action-oriented discourse: task importance affects the production of overspecifications and overspecifications increase identification efficiency in perception.	ExLing	2008	DBLP BibTeX RDF
26	Thomas Arts, Laura M. Castro, John Hughes 0001	Testing Erlang data types with quviq quickcheck.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	quickcheck, erlang, datatypes
26	Wilco Kroon, Tammo Delhaas, Theo Arts, Peter Bovendeerd	Constitutive Modeling of Cardiac Tissue Growth.	FIMH	2007	DBLP DOI BibTeX RDF
26	Sander Ubbink, Peter Bovendeerd, Tammo Delhaas, Theo Arts, Frans N. van de Vosse	Towards model-based analysis of cardiac MR tagging data: Relation between left ventricular shear strain and myofiber orientation.	Medical Image Anal.	2006	DBLP DOI BibTeX RDF
26	Nico H. L. Kuijpers, Rikkert H. Keldermann, Huub M. M. ten Eikelder, Theo Arts, Peter A. J. Hilbers	The Role of the Hyperpolarization-Activated Inward Current $I\rm _ f$ in Arrhythmogenesis: A Computer Model Study.	IEEE Trans. Biomed. Eng.	2006	DBLP DOI BibTeX RDF
26	Thomas Arts, John Hughes 0001, Joakim Johansson, Ulf T. Wiger	Testing telecoms software with quviq QuickCheck.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	test automation, property based testing
26	Barbara Mirel, D. Arts, Mark S. Ackerman, Kevin Kerber, Michael S. Klinkman	Designing CIS to Improve Decisions in Depression Care Management: A Discourse Analysis of Frontline Practice.	AMIA	2006	DBLP BibTeX RDF
26	Thomas Arts, Jaco van de Pol	Introductory paper.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF
26	Femke de Wit, Jan Carel Diehl, Florann A. Arts	How to Design Cultural Appropriate Web Sites for Knowledge Transfer: Understanding Preferences.	IWIPS	2005	DBLP BibTeX RDF
26	Sander Ubbink, Peter Bovendeerd, Tammo Delhaas, Theo Arts, Frans N. van de Vosse	Left Ventricular Shear Strain in Model and Experiment: The Role of Myofiber Orientation.	FIMH	2005	DBLP DOI BibTeX RDF
26	Ferishta Raiez, Danielle G. T. Arts, Ronald Cornet	Terminological System Maintenance: A Procedures Framework and an Exploration of Current Practice.	MIE	2005	DBLP BibTeX RDF
26	Hans Svensson, Thomas Arts	A new leader election implementation.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	distributed systems, implementation, Erlang, leader election
26	Thomas Arts, Clara Benac Earle, John Derrick	Development of a verified Erlang program for resource locking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Formal methods, Functional programming, Erlang, Software verification
26	Julien Milles, Anneke van Susteren, Theo Arts, Patrick Clarysse, Pierre Croisille, Isabelle E. Magnin	Automatic 2D Segmentation of the Left Ventricle in Tagged Cardiac MRI Using Motion Information.	ISBI	2004	DBLP DOI BibTeX RDF
26	Ronald Cornet, Nicolette F. de Keizer, Danielle G. T. Arts	Overcoming Barriers to Evaluation of Terminological Systems.	MedInfo	2004	DBLP DOI BibTeX RDF
26	Danielle G. T. Arts, Nicolette de Keizer, Evert de Jonge, Ronald Cornet	Comparison of methods for evaluation of a medical terminological system.	MedInfo	2004	DBLP DOI BibTeX RDF
26	Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas	Translating Erlang to µCRL.	ACSD	2004	DBLP DOI BibTeX RDF
26	Thomas Arts, Koen Claessen, Hans Svensson	Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.	FATES	2004	DBLP DOI BibTeX RDF
26	Thomas Arts, Wan J. Fokkink	Preface.	FMICS	2003	DBLP DOI BibTeX RDF
26	Francis Arts, Peter Barri, Ivan Clemminck, Alex Niemegeers, Bart Pauwels, Geert Taildeman, Miroslav Vrana	Network processor requirements and benchmarking.	Comput. Networks	2003	DBLP DOI BibTeX RDF
26	Lars-Åke Fredlund, Dilian Gurov, Thomas Noll 0001, Mads Dam, Thomas Arts, Gennady Chugunov	A verification tool for ERLANG.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Formal methods, Theorem proving, Software verification
26	Ricardo Pena, Thomas Arts (eds.)	Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers	IFL	2003	DBLP DOI BibTeX RDF
26	B. Arts, N. van der Eng, Marc J. M. Heijligers, H. Munk, Frans Theeuwen, Luca Benini, Enrico Macii, A. Milia, Roberto Maro, A. Bellu	Statistical Power Estimation of Behavioral Descriptions.	PATMOS	2003	DBLP DOI BibTeX RDF
26	Juan José Sánchez Penas, Thomas Arts	VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions.	ACSD	2003	DBLP DOI BibTeX RDF
26	Thomas Arts, Wan J. Fokkink (eds.)	Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003	FMICS	2003	DBLP BibTeX RDF
26	Nik van Dam, Vanessa Evers, Florann A. Arts	Cultural User Experience Issues in E-government: Designing for a Multi-cultural Society.	Digital Cities	2003	DBLP DOI BibTeX RDF
26	Theo Arts, Tammo Delhaas, Anneke van Susteren, G. Snoep, Frits W. Prinzen	Left Ventricular Flow Dynamics and Transmural Gradients in Myofiber Shortening with MRI-Tagging.	FIMH	2003	DBLP DOI BibTeX RDF
26	M. Vendelin, Peter Bovendeerd, V. Saks, J. Engelbrecht, Theo Arts	Simulating Cardiac Mechanoenergetics in the Left Ventricle.	FIMH	2003	DBLP DOI BibTeX RDF
26	Liesbeth Geerts, Roy Kerckhoffs, Peter Bovendeerd, Theo Arts	Towards Patient Specific Models of Cardiac Mechanics: A Sensitivity Study.	FIMH	2003	DBLP DOI BibTeX RDF
26	Bjarne Däcker, Thomas Arts (eds.)	Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003	Erlang Workshop	2003	DBLP BibTeX RDF
26	Danielle G. T. Arts, Ronald Cornet, Evert de Jonge, Nicolette de Keizer	Comparison of Methods for Evaluation of Medical Terminological Systems.	AMIA	2003	DBLP BibTeX RDF
26	Thomas Arts, Lars-Åke Fredlund	Trace analysis of Erlang programs.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF
26	Danielle G. T. Arts, Nicolette de Keizer, Gert Jan Scheffer	Model Formulation: Defining and Improving Data Quality in Medical Registries: A Literature Review, Case Study, and Generic Framework.	J. Am. Medical Informatics Assoc.	2002	DBLP DOI BibTeX RDF
26	Jürgen Giesl, Thomas Arts, Enno Ohlebusch	Modular Termination Proofs for Rewriting Using Dependency Pairs.	J. Symb. Comput.	2002	DBLP DOI BibTeX RDF
26	Thomas Arts, Markus Mohnen (eds.)	Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers	IFL	2002	DBLP DOI BibTeX RDF
26	Thomas Arts, Clara Benac Earle, John Derrick	Verifying Erlang Code: A Resource Locker Case-Study.	FME	2002	DBLP DOI BibTeX RDF	Model checking, formal verification, process algebra, telecommunication, Erlang
26	Thomas Arts, Lars-Åke Fredlund	Trace analysis of Erlang programs.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
26	Thomas Arts, Juan José Sánchez Penas	Global scheduler properties derived from local restrictions.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
26	Jürgen Giesl, Thomas Arts	Verification of Erlang Processes by Dependency Pairs.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Verification, Distributed processes, Termination, Rewriting
26	Danielle G. T. Arts, Nicolette F. de Keizer, Evert de Jonge	Data Quality Measurement and Assurance in Medical Registries.	MedInfo	2001	DBLP DOI BibTeX RDF
26	Thomas Arts, Izak van Langevelde	Correct Performance of Transaction Capabilities.	ACSD	2001	DBLP DOI BibTeX RDF
26	Theo Arts, Peter Bovendeerd, A. van der Toorn, Liesbeth Geerts, Roy Kerckhoffs, Frits W. Prinzen	Modules in Cardiac Modeling: Mechanics, Circulation, and Depolarization Wave.	FIMH	2001	DBLP DOI BibTeX RDF
26	Thomas Arts, Jürgen Giesl	Termination of term rewriting using dependency pairs.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
26	Michael Egmont-Petersen, U. Schreiner, S. C. Tromp, Thomas Martin Lehmann, Dick W. Slaaf, Theo Arts	Detection of leukocytes in contact with the vessel wall from in vivo microscope recordings using a neural network.	IEEE Trans. Biomed. Eng.	2000	DBLP DOI BibTeX RDF
26	Thomas Arts, Thomas Noll 0001	Verifying Generic Erlang Client-Server Implementations.	IFL	2000	DBLP DOI BibTeX RDF
26	Thomas Arts	System Description: The Dependency Pair Method.	RTA	2000	DBLP DOI BibTeX RDF
26	Willem Albers, Gerda R. J. Arts, Wilbert C. M. Kallenberg	Test Regions Using Two or More Correlated Product Characteristics.	Technometrics	1999	DBLP DOI BibTeX RDF
26	Michael Egmont-Petersen, Theo Arts	Recognition of radiopaque markers in X-ray images using a neural network as nonlinear filter.	Pattern Recognit. Lett.	1999	DBLP DOI BibTeX RDF
26	Thomas Arts, Mads Dam	Verifying a Distributed Database Lookup Manager Written in Erlang.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Thomas Arts, Jürgen Giesl	Applying Rewriting Techniques to the Verification of Erlang Processes.	CSL	1999	DBLP DOI BibTeX RDF
26	Harm Arts, Michel R. C. M. Berkelaar, Koen van Eijk	Computing observability don't cares efficiently through polarization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
26	U. Schreiner, Michael Egmont-Petersen, Thomas Martin Lehmann, S. C. Tromp, Dick W. Slaaf, Theo Arts	Detektion von Leukozyten mit Hilfe neuronaler Strukturen. (PDF / PS)	Bildverarbeitung für die Medizin	1998	DBLP DOI BibTeX RDF
26	Sumit Roy 0003, Harm Arts, Prithviraj Banerjee	PowerShake: A Low Power Driven Clustering and Factoring Methodology for Boolean Expressions.	DATE	1998	DBLP DOI BibTeX RDF
26	Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov	System Description: Verification of Distributed Erlang Programs.	CADE	1998	DBLP DOI BibTeX RDF
26	Sumit Roy 0003, Harm Arts, Prithviraj Banerjee	PowerDrive: a fast, canonical POWER estimator for DRIVing synthEsis.	ICCAD	1998	DBLP DOI BibTeX RDF
26	Sumit Roy 0003, Harm Arts, Prithviraj Banerjee	A low-power logic optimization methodology based on a fast power-driven mapping.	ICCD	1998	DBLP DOI BibTeX RDF
26	Thomas Arts, Jürgen Giesl	Modularity of Termination Using Dependency pairs.	RTA	1998	DBLP DOI BibTeX RDF
26	Thomas Arts, Jürgen Giesl	Automatically Proving Termination Where Simplification Orderings Fail.	TAPSOFT	1997	DBLP DOI BibTeX RDF
26	Thomas Arts, Jürgen Giesl	Proving Innermost Normalisation Automatically.	RTA	1997	DBLP DOI BibTeX RDF
26	Michael Egmont-Petersen, Theo Arts	Detection of implanted markers in radiographic images sequences.	Bildverarbeitung für die Medizin	1996	DBLP BibTeX RDF
26	Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van Eijk	Polarized observability don't cares.	ICCAD	1996	DBLP DOI BibTeX RDF
26	Thomas Arts	Termination by Absence of Infinite Chains of Dependency Pairs.	CAAP	1996	DBLP DOI BibTeX RDF
26	Thomas Arts, Jürgen Giesl	Termination of Constructor Systems.	RTA	1996	DBLP DOI BibTeX RDF
26	Thomas Arts, Hans Zantema	Termination of Logic Programs Using Semantic Unification.	LOPSTR	1995	DBLP DOI BibTeX RDF
26	J. F. M. Theeuwen, H. M. A. M. Arts, Jos T. J. van Eijndhoven, H. J. H. Sleuters, J. H. P. Wijdeven	Module Generation in an Architectural Synthesis Environment.	Synthesis for Control Dominated Circuits	1992	DBLP BibTeX RDF
26	H. M. A. M. Arts, Jos T. J. van Eijndhoven, Leon Stok	Flexible Block-Multiplier Generation.	ICCAD	1991	DBLP DOI BibTeX RDF
25	Gavin Sade	Charmed: From concept to reality.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF	Interactive media arts
25	Mirela Djordjevic	Experience with Pedagogical Patterns in Introductory Java Course.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF	Pedagogical Patterns, CS2001 Java Task Force - CS for Liberal Arts, Java Programming, Introductory Programming Course
25	Kylie A. Peppler, Yasmin B. Kafai	Youth as media art designers: workshops for creative coding.	IDC	2008	DBLP DOI BibTeX RDF	children designers, programming, creativity, media arts, community technology
25	Ansgar Scherp, Frank Nack, Klara Nahrstedt, Masashi Inoue, Andreas Girgensohn, Andreas Henrich, Philipp Sandhaus, Sabine Thieme, Michelle Zhou 0001	Interaction and user experiences with multimedia technologies: challenges and future topics.	HCC	2008	DBLP DOI BibTeX RDF	creative arts, networked multimedia, information retrieval, human-computer interaction, multimedia, interaction, user experience
25	Davide Rocchesso, Stefania Serafin, Frauke Behrendt, Nicola Bernardini, Roberto Bresin, Gerhard Eckel, Karmen Franinovic, Thomas Hermann 0001, Sandra Pauletto, Patrick Susini, Yon Visell	Sonic interaction design: sound, information and experience.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	interactive arts and music, sound modelling, sound perception and cognition, multimodal interaction, product design, auditory display, sound design
25	Phoebe Sengers, Bill Gaver	Staying open to interpretation: engaging multiple meanings in design and evaluation.	Conference on Designing Interactive Systems	2006	DBLP DOI BibTeX RDF	hermeneutics, evaluation, design, interpretation, arts, humanities
25	Antonio Camurri, Barbara Mazzarino, Gualtiero Volpe	Expressive interfaces.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Interactive multimedia systems, Expressiveness in performing arts, Human-computer interaction, Expressive gesture
23	Junfeng Yao, Xiaobiao Xie, Fengchun Lin, Xufa Ji, Xiaoyan Lin, Andy Ju An Wang	The online customer-built WEB3D middleware system for arts and crafts.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
23	Can Kültür, Ilgim Veryeri Alaca	Fine arts perspective in user interface design.	ITiCSE	2009	DBLP DOI BibTeX RDF	basic design, creative thinking, user interface design, design process
23	Daniela Alina Plewe	Transactional arts: interaction as transaction.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	transactional art, transactional media, economics, interactive art
23	Mark W. Bailey, Clark L. Coleman, Jack W. Davidson	Defense against the dark arts.	SIGCSE	2008	DBLP DOI BibTeX RDF	anti-virus software, compilers, computer science education, computer viruses
23	Jari Multisilta, Marjo Mäenpää	Mobile video stories.	DIMEA	2008	DBLP DOI BibTeX RDF	social media, stories, mobile media, narratology, moving image, montage
23	Areti Damala, Pierre Cubaud, Anne Bationo, Pascal Houlier, Isabelle Marchal	Bridging the gap between the digital and the physical: design and evaluation of a mobile augmented reality guide for the museum visit.	DIMEA	2008	DBLP DOI BibTeX RDF	museum handheld devices, evaluation, participatory design, edutainment, mobile augmented reality
23	Yoshiyuki Miwa, Shiroh Itai, Shoichi Hasegawa, Daichi Sakurai	Shadow Arts-Communication: System Supporting Communicability for Encounter Among Remote Groups.	HCI (9)	2007	DBLP DOI BibTeX RDF
23	Manthos Santorineos, Stavroula Zoi, Nefeli Dimitriadi, Chu-Yin Chen	Towards Defining a Suitable Environment for Teaching Digital Arts: The Delphous Experiment.	ICALT	2007	DBLP DOI BibTeX RDF
23	Junta Doi, Kentaro Shimizu, Masakazu Sekijima	High-Density Surface Reconstruction of Fine Arts and Documents for Complete Reproduction and Counterfeit Detection.	ICNSC	2007	DBLP DOI BibTeX RDF
23	Ernst A. Heinz, Kai S. Kunze, Matthias Gruber, David Bannach, Paul Lukowicz	Using Wearable Sensors for Real-Time Recognition Tasks in Games of Martial Arts - An Initial Experiment.	CIG	2006	DBLP DOI BibTeX RDF
23	Pamela Jennings, Elisa Giaccardi, Magda Wesolkowska	About face interface: creative engagement in the new media arts and HCI.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	aesthetic inquiry, research-in-practice, socio-technical environments, HCI, engagement, evaluation methods, creativity support tools, social theory
23	Shankar Mahadevan, Michael Storgaard, Jan Madsen, Kashif Virk	ARTS: A System-Level Framework for Modeling MPSoC Components and Analysis of their Causality.	MASCOTS	2005	DBLP DOI BibTeX RDF
23	Lina Peng, K. Selçuk Candan	Adaptive Multi-Sensor, Multi-Actuator Media Workflow System for Interactive Arts.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
23	Lecia Jane Barker, Kathy Garvin-Doxas, Eric S. Roberts	What can computer science learn from a fine arts approach to teaching?	SIGCSE	2005	DBLP DOI BibTeX RDF	pedagogy, gender issues, CS education research, classroom management
23	Lina Peng, K. Selçuk Candan, Kyung Dong Ryu, Karam S. Chatha, Hari Sundaram	ARIA: an adaptive and programmable media-flow architecture for interactive arts.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	multi-model art, tools for creating multimedia art, interactive
23	J. R. Parker 0001	Games and Animation: Collaborations Between the Arts and Computer Science.	ITCC (1)	2004	DBLP DOI BibTeX RDF
23	John F. Dooley	Software engineering in the liberal arts: combining theory and practice.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF
23	J. R. Parker 0001, Katrin Becker, Douglas McCullough	Computer science and the arts: some multi-disciplinary teaching collaborations.	ITiCSE	2003	DBLP DOI BibTeX RDF
23	Xiaolu Zuo	Communication Networks: States of the Arts.	GCC (2)	2003	DBLP DOI BibTeX RDF
23	Lon Dubinsky, W. F. Garrett-Petts	"Working Well, Together": Arts-Based Research and the Cultural Future of Small Cities.	AI Soc.	2002	DBLP DOI BibTeX RDF	Artists-as-researchers, Collaboration, Culture, Social capital, Community development, Cities
23	Gireesh K. Gupta	Information technology and liberal arts.	ACM SIGCSE Bull.	2001	DBLP DOI BibTeX RDF
23	Jean Gallagher	The merging of the arts with technology.	ACM Multimedia Workshops	2000	DBLP DOI BibTeX RDF
23	Clare Bates Congdon	Machine learning in the liberal arts curriculum.	SIGCSE	2000	DBLP DOI BibTeX RDF
23	John E. Howland	Using J as Expository Language in the Teaching of Computer Science to Liberal Arts Students.	APL	1996	DBLP DOI BibTeX RDF	APL, J
23	Hideyuki Tokuda, Yoshito Tobe, Stephen T.-C. Chou, José M. F. Moura	Continuous Media Communication with Dynamic QOS Control Using ARTS with an FDDI Network.	SIGCOMM	1992	DBLP DOI BibTeX RDF
23	Peter D. Smith	Computing trends in small liberal arts colleges.	SIGCSE	1988	DBLP DOI BibTeX RDF
23	Nancy L. Hagelhans	A computer science/mathematics major for liberal arts colleges.	SIGCSE	1987	DBLP DOI BibTeX RDF