Search results for "lego"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jay S. Silver, Eric Rosenbaum	Twinkle: programming with color.	TEI	2010	DBLP DOI BibTeX RDF	tangible programming, color, toolkit, sensing
13	Ding-Bang Luh, Chia-Ling Chang	From Novice to Expert - User's Search Approaches for Design Knowledge.	HCI (10)	2009	DBLP DOI BibTeX RDF	User as innovator, Knowledge management, Information search, Design knowledge
13	Onur Keskin, Erol Uyar	A Framework for Multi Robot Guidance Control.	HoloMAS	2009	DBLP DOI BibTeX RDF	global vision, multi-agent systems, mobile robot, path finding
13	Ozan Çaldiran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem 0001, Volkan Patoglu	Bridging the Gap between High-Level Reasoning and Low-Level Control.	LPNMR	2009	DBLP DOI BibTeX RDF
13	Keith Holman, Jeremy Kuzub, Mohammad Moallemi, Gabriel A. Wainer	Cable-anchor robot implementation using embedded CD++.	SimuTools	2009	DBLP DOI BibTeX RDF
13	Cornelia Wendt, Michael Popp, Berthold Färber	Emotion induction during human-robot interaction.	HRI	2009	DBLP DOI BibTeX RDF	joint construction, stress induction, human-robot interaction, emotion recognition
13	Eleonora Bilotta, Lorella Gabriele, Rocco Servidio, Assunta Tavernise	Edutainment Robotics as Learning Tool.	Edutainment	2009	DBLP DOI BibTeX RDF
13	Peter Schmitt, Susanne Seitinger	Plywood punk: a holistic approach to designing animated artifacts.	TEI	2009	DBLP DOI BibTeX RDF	design, robotics, prototyping, design methodology, mechatronics
13	Cindy M. Robertson, Blair MacIntyre, Bruce N. Walker	An evaluation of graphical context when the graphics are outside of the task area.	ISMAR	2008	DBLP DOI BibTeX RDF
13	Grzegorz J. Nalepa	Prototype Prolog API for Mindstorms NXT.	KI	2008	DBLP DOI BibTeX RDF
13	Dongsun Kim 0001, Suntae Kim, Seokhwan Kim, Sooyong Park	Software Engineering Education Toolkit for Embedded Software Architecture Design Methodology Using Robotic Systems.	APSEC	2008	DBLP DOI BibTeX RDF
13	Andrea Schankin, Olaf Stursberg, Anna Schubö	The Role of Implicit Context Information in Guiding Visual-Spatial Attention.	ICVW	2008	DBLP DOI BibTeX RDF	contextual cueing, learning, perception, visual attention, Cognitive systems
13	Marjo Virnes	Robotics in special needs education.	IDC	2008	DBLP DOI BibTeX RDF	programmable construction kit, special needs education, robotics, educational technology, social robot
13	Marjo Virnes, Erkki Sutinen, Eija Kärnä-Lin	How children's individual needs challenge the design of educational robotics.	IDC	2008	DBLP DOI BibTeX RDF
13	Stefan Enderle, Wolfgang Guenther, Hans-Juergen Hilscher, Holger Kenn	xROB-S and iCon-X: Flexible Hardware, Visual Programming and Software Component Reuse.	RoboCup	2008	DBLP DOI BibTeX RDF
13	Franz Brauer, Muhammad Sarwar Ehsan, Gernot Kubin	Subjective evaluation of conversational multimedia quality in IP networks.	MMSP	2008	DBLP DOI BibTeX RDF
13	Stephanie Ludi, Thomas Reichlmayr	Developing inclusive outreach activities for students with visual impairments.	SIGCSE	2008	DBLP DOI BibTeX RDF	accessibility, inclusion, outreach
13	Kathryn E. Merrick	Designing Toys That Come Alive: Curious Robots for Creative Play.	ICEC	2008	DBLP DOI BibTeX RDF	motivated reinforcement learning, creative play, robots, creative design, Curiosity
13	Olivier Michel, Fabien Rohrer, Yvan Bourquin	Rat's Life: A Cognitive Robotics Benchmark.	EUROS	2008	DBLP DOI BibTeX RDF
13	Florent Lafarge, Xavier Descombes, Josiane Zerubia, Marc Pierrot-Deseilligny	3D City Modeling Based on Hidden Markov Model.	ICIP (2)	2007	DBLP DOI BibTeX RDF
13	Daniele Benedettelli, Nicola Ceccarelli, Andrea Garulli, Antonio Giannitrapani	Experimental validation of a decentralized control law for multi-vehicle collective motion.	IROS	2007	DBLP DOI BibTeX RDF
13	Matthew D. Handier, Gregory S. Hornby	Evolving Quadruped Gaits with a Heterogeneous Modular Robotic System.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
13	Abhishek Ranjan, Jeremy P. Birnholtz, Ravin Balakrishnan	Dynamic shared visual spaces: experimenting with automatic camera control in a remote repair task.	CHI	2007	DBLP DOI BibTeX RDF	collaboration, computer-supported cooperative work, empirical studies, video conferencing, motion tracking, video mediated communication, camera control
13	Arushi Raghuvanshi, Yale Fan, Michal Woyke, Marek A. Perkowski	Quantum Robots for Teenagers.	ISMVL	2007	DBLP DOI BibTeX RDF
13	Gary B. Parker, Dejan Duzevik, Andrey S. Anev, Ramona Georgescu	Morphological Evolution of Dynamic Structures in a 3-Dimensional Simulated Environment.	CIRA	2007	DBLP DOI BibTeX RDF
13	Martin Modahl, Bikash Agarwalla, T. Scott Saponas, Gregory D. Abowd, Umakishore Ramachandran	UbiqStack: a taxonomy for a ubiquitous computing software stack.	Pers. Ubiquitous Comput.	2006	DBLP DOI BibTeX RDF
13	Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott	A semantic model for safe protocol interaction.	SAC	2006	DBLP DOI BibTeX RDF
13	Tero Vallius, Juha Röning	ATOMI II - Framework for Easy Building of Object-oriented Embedded Systems.	DSD	2006	DBLP DOI BibTeX RDF
13	Abhishek Ranjan, Jeremy P. Birnholtz, Ravin Balakrishnan	An exploratory analysis of partner action and camera control in a video-mediated collaborative task.	CSCW	2006	DBLP DOI BibTeX RDF	computer vision, collaboration, computer-supported cooperative work, empirical studies, video conferencing, motion tracking, video mediated communication, camera control
13	Cherry Keahey Owen, Doug Hale, Ilhyun Lee, Haesun K. Lee	The UTPB computer science research lab: running on student power.	SIGUCCS	2006	DBLP DOI BibTeX RDF	academic system setup and maintenance, lab management
13	Rachel Goldman, M. Q. Azhar, Elizabeth Sklar	From RoboLab to Aibo: A Behavior-Based Interface for Educational Robotics.	RoboCup	2006	DBLP DOI BibTeX RDF
13	Ilkka Jormanainen, Yuejun Zhang, Erkki Sutinen, Kinshuk	Agency Architecture for Teacher Intervention in Robotics Classes.	ICALT	2006	DBLP DOI BibTeX RDF
13	Pablo Barrera, Gregorio Robles, José María Cañas, Francisco Martín 0001, Vicente Matellán	Impact of libre software tools and methods in the robotics field.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	robotics education, robotics industry, robotics research, open source, libre software
13	Tero Vallius, Juha Röning	Embedded Object Architecture.	DSD	2005	DBLP DOI BibTeX RDF
13	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Systematic Implementation of Real-Time Models.	FM	2005	DBLP DOI BibTeX RDF
13	J. C. Ernest, A. S. Bowser, S. Ghule, S. Sudireddy, Jameson P. Porter, Douglas A. Talbert, Martha J. Kosa	Weathering MindStorms with drizzle and DIODE in CS0.	ITiCSE	2005	DBLP DOI BibTeX RDF	robots, CS0
13	Teddy Alfaro, María Cristina Riff Rojas	An On-the-fly Evolutionary Algorithm for Robot Motion Planning.	ICES	2005	DBLP DOI BibTeX RDF
13	Laxmisha Rai, Soon-Ju Kang	Multi-Thread Based Synchronization of Locomotion Control in Snake Robots.	RTCSA	2005	DBLP DOI BibTeX RDF
13	Vassilios Dagdilelis, Maya Satratzemi, Katerina Kagani	Teaching (with) Robots in Secondary Schools: Some New and Not-So-New Pedagogical Problems.	ICALT	2005	DBLP DOI BibTeX RDF
13	Maya Satratzemi, Vassilios Dagdilelis, Katerina Kagani	Teaching Programming with Robots: A Case Study on Greek Secondary Education.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF
13	Dmitriy Bespalov, Cheuk Yiu Ip, William C. Regli, Joshua Shaffer	Benchmarking CAD search techniques.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	3D search, design repositories, solid model databases, shape matching, shape recognition
13	Anthony R. Dick, Philip H. S. Torr, Roberto Cipolla	Modelling and Interpretation of Architecture from Several Images.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	object recognition, architectural modelling, structure and motion
13	Yan Jin 0009, I-Ming Chen, Guilin Yang	Structure Synthesis and Singularity Analysis of a Parallel Manipulator based on Selective Actuation.	ICRA	2004	DBLP DOI BibTeX RDF
13	Olivier Boite	Proof Reuse with Extended Inductive Types.	TPHOLs	2004	DBLP DOI BibTeX RDF
13	Gauri Nanda, Adrian Cable, V. Michael Bove Jr., Moneta Ho, Han Hoang	bYOB [Build Your Own Bag]: a computationally-enhanced modular textile system.	MUM	2004	DBLP DOI BibTeX RDF	enhanced situational awareness, fabric building blocks, network detection, tangible interface, customization, ambient interface, modular systems
13	Kemal Oflazer, Yasin Yilmaz	Developing Finite State NLP Systems with a Graphical Environment.	ISCIS	2004	DBLP DOI BibTeX RDF
13	Carsten Schürmann	Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.	FLOPS	2004	DBLP DOI BibTeX RDF
13	María del Pilar Muñoz, Andrés René Hurtado	Programming Robotic Devices with a Timed Concurrent Constraint Language.	CP	2004	DBLP DOI BibTeX RDF
13	Pamela B. Lawhead, Michaele E. Duncan, Constance G. Bland, Michael Goldweber, Madeleine Schep, David J. Barnes, Ralph G. Hollingsworth	A road map for teaching introductory programming using LEGOcopyright mindstorms robots.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF	2nd tier students, computer controlled models, computing and interaction, Java, robotics, object-oriented, CS1, CS2
13	Martyn Fletcher, Duncan C. McFarlane, Andrew Lucas 0002, James Brusey, Dennis Jarvis	The Cambridge Packing Cell -- A Holonic Enterprise Demonstrator.	CEEMAS	2003	DBLP DOI BibTeX RDF
13	Andreas Rasche, Peter Tröger, Michael Dirska, Andreas Polze	Foucault's Pendulum in the Distributed Control Lab.	WORDS Fall	2003	DBLP DOI BibTeX RDF
13	Judicaël Courant	Explicit Universes for the Calculus of Constructions.	TPHOLs	2002	DBLP DOI BibTeX RDF
13	Peter Fritzson, Peter Bunus	Modelica-A General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF
13	Arnold H. Buss	Simkit: component based simulation modeling with Simkit.	WSC	2002	DBLP DOI BibTeX RDF
13	You-Hee Choi, Oh-Cheon Kwon, Gyu-Sang Shin	An Approach to Composition of EJB Components Using C2 Style.	EUROMICRO	2002	DBLP DOI BibTeX RDF	Composition, C2, Component Based Software Development (CBSD), EJB
13	Norio Ishii, Kazuhisa Miwa	Interactive processes between mental and external operations in creative activity: a comparison of experts' and novices' performance.	Creativity & Cognition	2002	DBLP DOI BibTeX RDF	external operation, mental operation, expertise, cognitive processes, protocol analysis
13	Paul Frenger	Extreme Forth.	ACM SIGPLAN Notices	2001	DBLP DOI BibTeX RDF	FORTH
13	Jucain E. Butler, Jay B. Brockman	A web-based learning tool that simulates a simple computer architecture.	ACM SIGCSE Bull.	2001	DBLP DOI BibTeX RDF
13	Laurent Granvilliers, Éric Monfroy	A Graphical Interface for Solver Cooperations.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
13	Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch	Embedded Control Systems Development with Giotto.	LCTES/OM	2001	DBLP DOI BibTeX RDF
13	Michael Goldweber, Clare Bates Congdon, Barry S. Fagin, Deborah J. Hwang, Frank Klassner	The use of robots in the undergraduate curriculum: experience reports.	SIGCSE	2001	DBLP DOI BibTeX RDF
13	Marko Luther	More On Implicit Syntax.	IJCAR	2001	DBLP DOI BibTeX RDF
13	Michael Rosenblatt, Howie Choset	Designing and Implementing Hands-On Robotics Labs.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF
13	Antonia Balaa, Yves Bertot	Fix-Point Equations for Well-Founded Recursion in Type Theory.	TPHOLs	2000	DBLP DOI BibTeX RDF
13	Gilles Barthe, Femke van Raamsdonk	Constructor Subtyping in the Calculus of Inductive Constructions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
13	Conor McBride	Elimination with a Motive.	TYPES	2000	DBLP DOI BibTeX RDF
13	Oscar Luiz Monteiro de Farias, Luiz Má C. P. M. de Farias	Distributed information system on an Internet/intranet environment (DISI2E).	ACM-GIS	2000	DBLP DOI BibTeX RDF	object associations, hypertext, distributed information system
13	David Aspinall 0001	Proof General: A Generic Tool for Proof Development.	TACAS	2000	DBLP DOI BibTeX RDF
13	Jae-Chul Moon, Jun Ho Park, Soon-Ju Kang	An Event Channel-based Embedded Software Architecture for Developing Telemetric and Teleoperation Systems on the WWW.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
13	Alan Cameron Wills	Catalysis: Precision Modeling and Design for Components.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
13	Thorsten Altenkirch, Bernhard Reus	Monadic Presentations of Lambda Terms Using Generalized Inductive Types.	CSL	1999	DBLP DOI BibTeX RDF	inductive types, Type Theory, category theory, ?-calculus
13	Aaron B. Brown, David L. Oppenheimer, Kimberly Keeton, Randi Thomas, John Kubiatowicz, David A. Patterson 0001	ISTORE: Introspective Storage for Data-Intensive Network Services.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	intelligent devices, server appliances, scalability, high availability, administration, adaptive software, introspection, self-monitoring, self-maintenance
13	Frank Pfenning, Carsten Schürmann	Algorithms for Equality and Unification in the Presence of Notational Definitions.	TYPES	1998	DBLP DOI BibTeX RDF
13	Peter Aczel	On Relating Type Theories and Set Theories.	TYPES	1998	DBLP DOI BibTeX RDF
13	Wendy E. Mackay	Augmented reality: linking real and virtual worlds: a new paradigm for interacting with computers.	AVI	1998	DBLP DOI BibTeX RDF	augmented reality, participatory design, design space exploration, interactive paper
13	Marc D. Hansen, Doanna Meads, Alex Pang	Comparative Visualization of Protein Structure-Sequence Alignments.	INFOVIS	1998	DBLP DOI BibTeX RDF
13	A. Richard Newton	Technical Challenges of IP and System-on-Chip: The ASIC Vendor Perspective (Panel).	DAC	1998	DBLP DOI BibTeX RDF
13	Takahisa Mohri	On Formalization of Bicategory Theory.	TPHOLs	1997	DBLP DOI BibTeX RDF
13	Thomas Schreiber	Auxiliary Variables and Recursive Procedures.	TAPSOFT	1997	DBLP DOI BibTeX RDF
13	Gang Chen	Subtyping Calculus of Construction (Extended Abstract).	MFCS	1997	DBLP DOI BibTeX RDF
13	Furio Honsell, Marino Miculan	A Natural Deduction Approach to Dynamic Logic.	TYPES	1995	DBLP DOI BibTeX RDF
13	Gilles Barthe, Mark Ruys, Henk Barendregt	A Two-Level Approach Towards Lean Proof-Checking.	TYPES	1995	DBLP DOI BibTeX RDF
13	Ramayya Kumar, Thomas Kropf, Klaus Schneider 0001	Formal synthesis of circuits with a simple handshake protocol.	VLSI Design	1995	DBLP DOI BibTeX RDF	formal circuit synthesis, preproven building blocks, higher-order temporal operators, parametrized data signals, sequentially composed modules, parallel module composition, protocols, high level synthesis, logic design, operator semantics, template, formal logic, correctness proofs, synchronous circuits, handshake protocol, HOL theorem prover
13	James McKinna, Rod M. Burstall	Deliverables: A Categorial Approach to Program Development in Type Theory.	MFCS	1993	DBLP DOI BibTeX RDF