|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 287 occurrences of 199 keywords
|
|
|
Results
Found 689 publication records. Showing 684 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Jay S. Silver, Eric Rosenbaum |
Twinkle: programming with color. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 4th International Conference on Tangible and Embedded Interaction 2010, Cambridge, MA, USA, January 24-27, 2010, pp. 383-384, 2010, ACM, 978-1-60558-841-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 501-510, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HoloMAS ![In: Holonic and Multi-Agent Systems for Manufacturing, 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings, pp. 315-323, 2009, Springer, 978-3-642-03666-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 342-354, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Keith Holman, Jeremy Kuzub, Mohammad Moallemi, Gabriel A. Wainer |
Cable-anchor robot implementation using embedded CD++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 35, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Cornelia Wendt, Michael Popp, Berthold Färber |
Emotion induction during human-robot interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, HRI 2009, La Jolla, California, USA, March 9-13, 2009, pp. 213-214, 2009, ACM, 978-1-60558-404-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Learning by Playing. Game-based Education System Design and Development, 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings, pp. 422, 2009, Springer, 978-3-642-03363-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Peter Schmitt, Susanne Seitinger |
Plywood punk: a holistic approach to designing animated artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 3rd International Conference on Tangible and Embedded Interaction 2009, Cambridge, UK, February 16-18, 2009, pp. 123-126, 2009, ACM, 978-1-60558-493-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMAR ![In: 7th IEEE and ACM International Symposium on Mixed and Augmented Reality, ISMAR 2008, Cambridge, UK, 15-18th September 2008, pp. 73-76, 2008, IEEE Computer Society, 978-1-4244-2840-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Grzegorz J. Nalepa |
Prototype Prolog API for Mindstorms NXT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, pp. 393-394, 2008, Springer, 978-3-540-85844-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 317-324, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Andrea Schankin, Olaf Stursberg, Anna Schubö |
The Role of Implicit Context Information in Guiding Visual-Spatial Attention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVW ![In: Cognitive Vision, 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers, pp. 93-106, 2008, Springer, 978-3-540-92780-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
contextual cueing, learning, perception, visual attention, Cognitive systems |
13 | Marjo Virnes |
Robotics in special needs education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Proceedings of the 7th International Conference on Interaction Design and Children, IDC 2008, Chicago, Illinois, USA, June 11-13, 2008, pp. 29-32, 2008, ACM, 978-1-59593-994-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Proceedings of the 7th International Conference on Interaction Design and Children, IDC 2008, Chicago, Illinois, USA, June 11-13, 2008, pp. 274-281, 2008, ACM, 978-1-59593-994-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, Suzhou, China, July 15-18, 2008], pp. 485-494, 2008, Springer, 978-3-642-02920-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Franz Brauer, Muhammad Sarwar Ehsan, Gernot Kubin |
Subjective evaluation of conversational multimedia quality in IP networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMSP ![In: International Workshop on Multimedia Signal Processing, MMSP 2008, October 8-10, 2008, Shangri-la Hotel, Cairns, Queensland, Australia, pp. 872-876, 2008, IEEE Signal Processing Society, 978-1-4244-2295-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Stephanie Ludi, Thomas Reichlmayr |
Developing inclusive outreach activities for students with visual impairments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008, pp. 439-443, 2008, ACM, 978-1-59593-799-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
accessibility, inclusion, outreach |
13 | Kathryn E. Merrick |
Designing Toys That Come Alive: Curious Robots for Creative Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Entertainment Computing - ICEC 2008, 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008. Proceedings, pp. 149-154, 2008, Springer, 978-3-540-89221-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROS ![In: Second European Robotics Symposium 2008, EUROS 2008, Prague, Czech Republic, pp. 223-232, 2008, Springer, 978-3-540-78315-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Florent Lafarge, Xavier Descombes, Josiane Zerubia, Marc Pierrot-Deseilligny |
3D City Modeling Based on Hidden Markov Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 521-524, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 4170-4175, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Matthew D. Handier, Gregory S. Hornby |
Evolving Quadruped Gaits with a Heterogeneous Modular Robotic System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 3631-3638, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 1177-1186, 2007, ACM, 978-1-59593-593-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway, pp. 18, 2007, IEEE Computer Society, 978-0-7695-2831-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIRA ![In: Proceedings of the 7th IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2007, 20-23 June 2007, Jacksonville, Florida, USA, pp. 534-540, 2007, IEEE, 1-4244-0790-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 10(1), pp. 21-27, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott |
A semantic model for safe protocol interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1599-1600, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Tero Vallius, Juha Röning |
ATOMI II - Framework for Easy Building of Object-oriented Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia, pp. 464-474, 2006, IEEE Computer Society, 0-7695-2609-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2006 ACM Conference on Computer Supported Cooperative Work, CSCW 2006, Banff, Alberta, Canada, November 4-8, 2006, pp. 403-412, 2006, ACM, 1-59593-249-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 34th Annual ACM SIGUCCS Conference on User Services 2006, Edmonton, Alberta, Canada, November 5-8, 2006, pp. 309-316, 2006, ACM, 1-59593-438-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2006: Robot Soccer World Cup X, pp. 122-133, 2006, Springer, 978-3-540-74023-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Ilkka Jormanainen, Yuejun Zhang, Erkki Sutinen, Kinshuk |
Agency Architecture for Teacher Intervention in Robotics Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 142-143, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-6, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
robotics education, robotics industry, robotics research, open source, libre software |
13 | Tero Vallius, Juha Röning |
Embedded Object Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August - 3 September 2005, Porto, Portugal, pp. 102-107, 2005, IEEE Computer Society, 0-7695-2433-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin |
Systematic Implementation of Real-Time Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 139-156, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, pp. 353, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings, pp. 119-130, 2005, Springer, 3-540-28736-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Laxmisha Rai, Soon-Ju Kang |
Multi-Thread Based Synchronization of Locomotion Control in Snake Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China, pp. 559-562, 2005, IEEE Computer Society, 0-7695-2346-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 5-8, 2005, pp. 757-761, 2005, IEEE Computer Society, 0-7695-2338-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Maya Satratzemi, Vassilios Dagdilelis, Katerina Kagani |
Teaching Programming with Robots: A Case Study on Greek Secondary Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Advances in Informatics, 10th Panhellenic Conference on Informatics, PCI 2005, Volos, Greece, November 11-13, 2005, Proceedings, pp. 502-512, 2005, Springer, 3-540-29673-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Dmitriy Bespalov, Cheuk Yiu Ip, William C. Regli, Joshua Shaffer |
Benchmarking CAD search techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the Tenth ACM Symposium on Solid and Physical Modeling 2005, Cambridge, Massachusetts, USA, June 13-15, 2005, pp. 275-286, 2005, ACM, 1-59593-015-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 60(2), pp. 111-134, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4533-4538, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Olivier Boite |
Proof Reuse with Extended Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings, pp. 50-65, 2004, Springer, 3-540-23017-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUM ![In: Proceedings of the 3rd International Conference on Mobile and Ubiquitous Multimedia, MUM 2004, College Park, Maryland, USA, October 27-29, 2004, pp. 1-4, 2004, ACM, 1-58113-981-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings, pp. 147-156, 2004, Springer, 3-540-23526-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Carsten Schürmann |
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 22-23, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 803, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 35(2), pp. 191-201, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings, pp. 533-543, 2003, Springer, 3-540-40450-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Rasche, Peter Tröger, Michael Dirska, Andreas Polze |
Foucault's Pendulum in the Distributed Control Lab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS Fall ![In: 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 1-3 October 2003, Anacapri (Capri Island), Italy, pp. 299-306, 2003, IEEE Computer Society, 0-7695-2054-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Judicaël Courant |
Explicit Universes for the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 115-130, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), San Diego, California, USA, 14-18 April 2002, pp. 365-380, 2002, IEEE Computer Society, 0-7695-1552-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Arnold H. Buss |
Simkit: component based simulation modeling with Simkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 243-249, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, pp. 40-47, 2002, IEEE Computer Society, 0-7695-1787-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 4th Conference on Creativity & Cognition, Loughborough, United Kingdom, October 13-16, 2002, pp. 178-185, 2002, ACM, 1-58113-465-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
external operation, mental operation, expertise, cognitive processes, protocol analysis |
13 | Paul Frenger |
Extreme Forth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 36(12), pp. 16-19, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
FORTH |
13 | Jucain E. Butler, Jay B. Brockman |
A web-based learning tool that simulates a simple computer architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 33(2), pp. 47-50, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Laurent Granvilliers, Éric Monfroy |
A Graphical Interface for Solver Cooperations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 457-467, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch |
Embedded Control Systems Development with Giotto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES/OM ![In: Proceedings of The Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES 2001), June 22-23, 2001 / The Workshop on Optimization of Middleware and Distributed Systems (OM 2001), June 18, 2001, Snowbird, Utah, USA, pp. 64-72, 2001, ACM, 1-58113-425-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2001, Charlotte, North Carolina, USA, 2001, pp. 404-405, 2001, ACM, 1-58113-329-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Marko Luther |
More On Implicit Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 386-400, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Michael Rosenblatt, Howie Choset |
Designing and Implementing Hands-On Robotics Labs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 15(6), pp. 32-39, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Antonia Balaa, Yves Bertot |
Fix-Point Equations for Well-Founded Recursion in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings, pp. 1-16, 2000, Springer, 3-540-67863-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Gilles Barthe, Femke van Raamsdonk |
Constructor Subtyping in the Calculus of Inductive Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 17-34, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Conor McBride |
Elimination with a Motive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, pp. 197-216, 2000, Springer, 3-540-43287-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-GIS ![In: ACM-GIS 2000, Proceedings of the Eighth ACM Symposium on Advances in Geographic Information Systems, November 10-11, 2000, Washington D.C., USA, pp. 197-198, 2000, ACM, 1-58113-319-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
object associations, hypertext, distributed information system |
13 | David Aspinall 0001 |
Proof General: A Generic Tool for Proof Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 38-42, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, RTAS'99, Vancouver, British Columbia, Canada, June 2-4, 1999, pp. 224-233, 1999, IEEE Computer Society, 0-7695-0194-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Alan Cameron Wills |
Catalysis: Precision Modeling and Design for Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 400, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Thorsten Altenkirch, Bernhard Reus |
Monadic Presentations of Lambda Terms Using Generalized Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 453-468, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Hot Topics in Operating Systems ![In: Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, HotOS-VII, Rio Rico, Arizona, USA, March 28-30, 1999, pp. 32-37, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers, pp. 179-193, 1998, Springer, 3-540-66537-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Peter Aczel |
On Relating Type Theories and Set Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers, pp. 1-18, 1998, Springer, 3-540-66537-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Wendy E. Mackay |
Augmented reality: linking real and virtual worlds: a new paradigm for interacting with computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24 - 27, 1998, pp. 13-21, 1998, ACM Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 1998 IEEE Symposium on Information Visualization (InfoVis '98), 19-20 October 1998, Research Triangle Park, NC, USA, Proceedings, pp. 106-110, 1998, IEEE Computer Society, 0-8186-9093-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | A. Richard Newton |
Technical Challenges of IP and System-on-Chip: The ASIC Vendor Perspective (Panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 501, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Takahisa Mohri |
On Formalization of Bicategory Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings, pp. 199-214, 1997, Springer, 3-540-63379-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Schreiber |
Auxiliary Variables and Recursive Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 697-711, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Gang Chen |
Subtyping Calculus of Construction (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, pp. 189-198, 1997, Springer, 3-540-63437-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Furio Honsell, Marino Miculan |
A Natural Deduction Approach to Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, pp. 165-182, 1995, Springer, 3-540-61780-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Gilles Barthe, Mark Ruys, Henk Barendregt |
A Two-Level Approach Towards Lean Proof-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, pp. 16-35, 1995, Springer, 3-540-61780-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Ramayya Kumar, Thomas Kropf, Klaus Schneider 0001 |
Formal synthesis of circuits with a simple handshake protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 255-259, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 32-67, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #684 of 684 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7] |
|