Search results for "Centaur"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
100	Joshua Mehling, Philip Strawser, Lyndon B. Bridgwater, William K. Verdeyen, Roger Rovekamp	Centaur: NASA's Mobile Humanoid Designed for Field Work.	ICRA	2007	DBLP DOI BibTeX RDF
90	Satoshi Tsuda, Kuniya Shinozaki, Ryohei Nakatsu	Concept and architecture of a centaur robot.	DIMEA	2007	DBLP DOI BibTeX RDF	animal robot, robot, humanoid robot, centaur
81	Jean-Luc Levaire	Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study.	ESOP	1992	DBLP DOI BibTeX RDF
81	Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual	CENTAUR: The System.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF	LISP
71	Kuniya Shinozaki, Satoshi Tsuda, Ryohei Nakatsu	Development and evaluation of a centaur robot.	DIMEA	2008	DBLP DOI BibTeX RDF	human gesture, pet robot, humanoid robot, walking, centaur
63	Satoshi Tsuda, Yousuke Oda, Kuniya Shinozaki, Ryohei Nakatsu	Concept and Architecture of a Centaur Robot.	ICEC	2007	DBLP DOI BibTeX RDF
63	Hervé Le Verge	Alpha du Centaur: An Environment for the Design of Systolic Arrays.	STACS	1992	DBLP DOI BibTeX RDF
63	Dominique Clément, Janet Incerpi, Gilles Kahn	CENTAUR: Towards a "Software Tool Box" for Programming Environments.	SEE	1989	DBLP DOI BibTeX RDF
63	Pierrick Gachet, Christophe Mauras, Patrice Quinton, Yannick Saouter	Alpha du centaur: a prototype environment for the design of parallel regular alorithms.	ICS	1989	DBLP DOI BibTeX RDF
52	Alcides Lanza	Phil Winsor, Jon Christopher Nelson, Yu-Cheng Tseng, Michael Thompson, Joseph Klein, Thomas Clark, Larry Austin: CEMIsonics: The Threshold of Sound (CDMC Vol. 27) Compact disc, 1998, Centaur CRC 2407; available from Centaur Records, Inc., 8867 Highland Rd., Suite 206, Baton Rouge, Louisiana 70808, USA; telephone (225) 336-4877; fax (225) 336-9678; electronic mail info@centaurrecords.com; World Wide Web www.centaurrecords.com.	Comput. Music. J.	2000	DBLP DOI BibTeX RDF
52	Alcides Lanza	Allen Strange, Mickey Helms, Brian Belet, Michael Frengel, Dan Wyman, Doug Michael, Pablo Furman: Music from CREAM: Music for Players and Digital Media (CDMC Vol. 26) Compact disc, 1998, Centaur CRC 2404; available from Centaur Records, Inc., 8867 Highland Rd., Suite 206, Baton Rouge, Louisiana 70808, USA; telephone (225) 336-4877; fax (225) 336-9678; electronic mail info@centaurrecords.com; World Wide Web www.centaurrecords.com.	Comput. Music. J.	2000	DBLP DOI BibTeX RDF
45	Bernard Coulette, Sophie Marcaillou-Ebersold	View based object oriented approach for complex system modelling.	ECBS	1997	DBLP DOI BibTeX RDF	view based object oriented approach, complex system modelling, object-oriented environments, VBOOL language, view definition, viewpoint declaration, dynamic viewpoint evolution, Ariane4 vehicle equipment bay, object-oriented programming, visibility, object-oriented model, viewpoints, consistency checking, Centaur
45	Sandrine Blazy, Philippe Facon	Formal Specification and Prototyping of a Program Specializer.	TAPSOFT	1995	DBLP DOI BibTeX RDF	software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur
45	Isabelle Attali, Denis Caromel, Andrew L. Wendelborn	From a formal dynamic semantics of Sisal to a Sisal environment.	HICSS (2)	1995	DBLP DOI BibTeX RDF	formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines
44	Warren A. Hunt Jr., Sol Swords	Centaur Technology Media Unit Verification.	CAV	2009	DBLP DOI BibTeX RDF
44	Vivek Shrivastava, Nabeel Ahmed, Shravan K. Rayanchu, Suman Banerjee 0001, Srinivasan Keshav, Konstantina Papagiannaki, Arunesh Mishra	CENTAUR: realizing the full potential of centralized wlans through a hybrid data path.	MobiCom	2009	DBLP DOI BibTeX RDF	centralized WLAN, centralized scheduling, epoch scheduling, exposed terminals, hidden terminals
44	Satoshi Tsuda, Kuniya Shinozaki, Ryohei Nakatsu	Development and Evaluation of a Centaur Robot.	KES (1)	2008	DBLP DOI BibTeX RDF
44	Satoshi Tsuda, Kuniya Shinozaki, Ryohei Nakatsu	Development and Evaluation of a Centaur Robot.	ICEC	2008	DBLP DOI BibTeX RDF
44	Greg Schohn, Adam Berger	CENTAUR: A Two-Panel User Interface for Mobile Document Access.	Mobile HCI	2004	DBLP DOI BibTeX RDF
44	Yves Bertot	Implementation of an Interpreter for a Parallel Language in Centaur.	ESOP	1990	DBLP DOI BibTeX RDF
37	Yoon Sang Kim, Jangwook Lee, Sooyong Lee, Munsang Kim	A force reflected exoskeleton-type masterarm for human-robot interaction.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
27	Norbert Kajler	User Interfaces for Symbolic Computation: A Case Study.	ACM Symposium on User Interface Software and Technology	1993	DBLP DOI BibTeX RDF	CAS/PI, software engineering, user interface, Maple, computer algebra, symbolic computation, tool integration, software bus, Centaur
27	Norbert Kajler	CAS/PI: A Portable and Extensible Interface for Computer Algebra Systems.	ISSAC	1992	DBLP DOI BibTeX RDF	CAS/PI, software engineering, user interface, computer algebra, tool integration, software bus, Centaur
26	Haoyun Yan, Jianquan Li, Haifeng Liu, Zhixin Tu, Ping Yang, Muye Pang, Yuquan Leng, Chenglong Fu 0001	Locomotion Control on Human-Centaur System With Spherical Joint Interaction.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
26	Pedro Alves, Bruno Pereira Cipriano	The centaur programmer - How Kasparov's Advanced Chess spans over to the software development of the future.	CoRR	2023	DBLP DOI BibTeX RDF
26	Qigao Cheng, Haoyun Yan, Kui Xiang, Jing Luo 0005, Muye Pang, Yuquan Leng, Chenglong Fu 0001	Simulation Analysis of Synchronous Walking Control for Centaur System.	ICIRA (7)	2023	DBLP DOI BibTeX RDF
26	Fan Mo, Mohammad Malekzadeh, Soumyajit Chatterjee, Fahim Kawsar, Akhil Mathur	Centaur: Federated Learning for Constrained Edge Devices.	CoRR	2022	DBLP DOI BibTeX RDF
26	Ping Yang, Haoyun Yan, Bowen Yang, Jianquan Li, Kailin Li 0002, Yuquan Leng, Chenglong Fu 0001	A Centaur System for Assisting Human Walking with Load Carriage.	IROS	2022	DBLP DOI BibTeX RDF
26	Matteo Parigi Polverini, Enrico Mingo Hoffman, Arturo Laurenzi, Nikos G. Tsagarakis	Agile Actions with a Centaur-Type Humanoid: A Decoupled Approach.	CoRR	2021	DBLP BibTeX RDF
26	Matteo Parigi Polverini, Enrico Mingo Hoffman, Arturo Laurenzi, Nikos G. Tsagarakis	Agile Actions with a Centaur-Type Humanoid: A Decoupled Approach.	ICRA	2021	DBLP DOI BibTeX RDF
26	Ben Swanson, Kory W. Mathewson, Ben Pietrzak, Sherol Chen, Monica Dinalescu	Story Centaur: Large Language Model Few Shot Learning as a Creative Writing Tool.	EACL (System Demonstrations)	2021	DBLP DOI BibTeX RDF
26	Chun-Yi Liu 0002, Jagadish Kotra, Myoungsoo Jung, Mahmut Taylan Kandemir	Centaur: A Novel Architecture for Reliable, Low-Wear, High-Density 3D NAND Storage.	Proc. ACM Meas. Anal. Comput. Syst.	2020	DBLP DOI BibTeX RDF
26	Matteo Parigi Polverini, Arturo Laurenzi, Enrico Mingo Hoffman, Francesco Ruscelli, Nikos G. Tsagarakis	Multi-Contact Heavy Object Pushing With a Centaur-Type Humanoid Robot: Planning and Control for a Real Demonstrator.	IEEE Robotics Autom. Lett.	2020	DBLP DOI BibTeX RDF
26	Joachim de Curtò, R. Duvall	Vulcan Centaur: towards end-to-end real-time perception in lunar rovers.	CoRR	2020	DBLP BibTeX RDF
26	Ranggi Hwang, Taehun Kim, Youngeun Kwon, Minsoo Rhu	Centaur: A Chiplet-based, Hybrid Sparse-Dense Accelerator for Personalized Recommendations.	CoRR	2020	DBLP BibTeX RDF
26	Xiangxu Lin, Saifuddin Mahmud, Sara Roman, Alfred Shaker, Zachary Law, MinYi Lin, Jong-Hoon Kim	Design of A Novel Transformable Centaur Robot with Multilateral Control Interface for Search and Rescue Missions.	CACRE	2020	DBLP DOI BibTeX RDF
26	Chun-Yi Liu 0002, Jagadish Kotra, Myoungsoo Jung, Mahmut Taylan Kandemir	Centaur: A Novel Architecture for Reliable, Low-Wear, High-Density 3D NAND Storage.	SIGMETRICS (Abstracts)	2020	DBLP DOI BibTeX RDF
26	Ranggi Hwang, Taehun Kim, Youngeun Kwon, Minsoo Rhu	Centaur: A Chiplet-based, Hybrid Sparse-Dense Accelerator for Personalized Recommendations.	ISCA	2020	DBLP DOI BibTeX RDF
26	Abraham Addisie, Valeria Bertacco	Centaur: Hybrid Processing in On/Off-chip Memory Architecture for Graph Analytics.	DAC	2020	DBLP DOI BibTeX RDF
26	Amir Watad, Alexander Libov, Ohad Shacham, Edward Bortnikov, Mark Silberstein	Achieving Scalability in a k-NN Multi-GPU Network Service with Centaur.	PACT	2019	DBLP DOI BibTeX RDF
26	Tobias Klamt, Diego Rodriguez, Max Schwarz, Christian Lenz, Dmytro Pavlichenko, David Droeschel, Sven Behnke	Supervised Autonomous Locomotion and Manipulation for Disaster Response with a Centaur-like Robot.	CoRR	2018	DBLP BibTeX RDF
26	Tobias Klamt, Diego Rodriguez, Max Schwarz, Christian Lenz, Dmytro Pavlichenko, David Droeschel, Sven Behnke	Supervised Autonomous Locomotion and Manipulation for Disaster Response with a Centaur-Like Robot.	IROS	2018	DBLP DOI BibTeX RDF
26	Muhsen Owaida, David Sidler, Kaan Kara, Gustavo Alonso	Centaur: A Framework for Hybrid CPU-FPGA Databases.	FCCM	2017	DBLP DOI BibTeX RDF
26	Max Schwarz, Marius Beul, David Droeschel, Sebastian Schüller, Arul Selvam Periyasamy, Christian Lenz, Michael Schreiber, Sven Behnke	Supervised Autonomy for Exploration and Mobile Manipulation in Rough Terrain with a Centaur-Like Robot.	Frontiers Robotics AI	2016	DBLP DOI BibTeX RDF
26	Xiang Zhang, Lirui Gong, Yunbo Xun, Xuewei Piao, Kai Lei	Centaur: A evolutionary design of hybrid NDN/IP transport architecture for streaming application.	UEMCON	2016	DBLP DOI BibTeX RDF
26	Ricardo Koller, Ali José Mashtizadeh, Raju Rangaswami	Centaur: Host-Side SSD Caching for Storage Performance Control.	ICAC	2015	DBLP DOI BibTeX RDF
26	Junghee Lee, Chrysostomos Nicopoulos, Hyung Gyu Lee, Jongman Kim	Centaur: a hybrid network-on-chip architecture utilizing micro-network fusion.	Des. Autom. Embed. Syst.	2014	DBLP DOI BibTeX RDF
26	Shen Li 0002, Lu Su, Yerzhan Suleimenov, Hengchang Liu, Tarek F. Abdelzaher, Guihai Chen	Centaur: Dynamic message dissemination over online social networks.	ICCCN	2014	DBLP DOI BibTeX RDF
26	Rajalakshmi Nandakumar, Krishna Kant Chintalapudi, Venkata N. Padmanabhan	Centaur: locating devices in an office environment.	MobiCom	2012	DBLP DOI BibTeX RDF
26	Warren A. Hunt Jr., Sol Swords, Jared Davis, Anna Slobodová	Use of Formal Verification at Centaur Technology.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
26	Alexander M. Bronstein, Michael M. Bronstein, Alfred M. Bruckstein, Ron Kimmel	Partial Similarity of Objects, or How to Compare a Centaur to a Horse.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Partial similarity, Non-rigid shapes, Gromov-Hausdorff distance, Metric geometry, Deformation-invariant similarity, Multicriterion optimization, Edit distance, Pareto optimality, Correspondence, Shape similarity, Levenshtein distance
26	Xin Zhang 0003, Adrian Perrig, Hui Zhang 0001	Centaur: A Hybrid Approach for Reliable Policy-Based Routing.	ICDCS	2009	DBLP DOI BibTeX RDF
26	Mary Simoni	Diane Thome: Bright Air/Brilliant Fire Compact disc, CRC2527, 2001; available from Centaur Records, Inc. 8867 Highland Rd., Suite 206, Baton Rouge, LA, USA; telephone (+1) 225-336-4877; fax (+1) 225-336-9678; electronic mail info@centaurrecords.com; Web www.centaurrecords.com.	Comput. Music. J.	2002	DBLP DOI BibTeX RDF
26	Sami Ylönen, Aarne Halme	WorkPartner - centaur like service robot.	IROS	2002	DBLP DOI BibTeX RDF
26	Philip C. Baczewski	CDCM Computer Music Series, Vol. 28: Larry Austin: Sound Plays, Cityscapes, Sound Portraits - 1993-96 Compact disc, 1999, Centaur CRC 2428; available from CDCM, P.O. Box 50888, Denton, Texas 76206, USA; telephone (940) 591-8128; electronic mail cdcm@sndart.cemi.unt.edu; World Wide Web www.music.unt.edu/CDCM/newcdccat.html#28.	Comput. Music. J.	2000	DBLP DOI BibTeX RDF
26	Thierry Despeyroux, Brigitte Trousse	Semantic verification of Web sites using a Centaur-based approach.	RIAO	2000	DBLP BibTeX RDF
26	Olivier Corby, Rose Dieng	Cokace: A Centaur-based environment for CommonKADS Conceptual Modelling Language.	ECAI	1996	DBLP BibTeX RDF
26	Catherine Dezan, Hervé Le Verge, Patrice Quinton, Yannick Saouter	The Alpha du Centaur environment.	Algorithms and Parallel VLSI Architectures	1991	DBLP BibTeX RDF
18	Nancy G. Leveson	A Systems-Theoretic Approach to Safety in Software-Intensive Systems.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	accident models, software engineering, Software safety, system safety
18	Aarne Halme, Jouni Sievilä, Ilkka Kauppi, Sami Ylönen	Performing Skilled Work with an Interactively Operated Service Robot.	FSR	2003	DBLP DOI BibTeX RDF
18	Paul Brown	Implementing the Spirit of SQL-99.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF	INFORMIX, language standards, SQL, SQL, object-relational database
18	Paul Klint	A Meta-Environment for Generating Programming Environments.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF
18	Sandrine Blazy, Philippe Facon	Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs	CAiSE	1993	DBLP DOI BibTeX RDF
18	Hervé Le Verge	Reduction Operators in ALPHA.	PARLE	1992	DBLP DOI BibTeX RDF	Parallel Languages extensions, Programming environments for parallel languages, Systolic arrays and regular computation
18	Norbert Kajler	Building a Computer Algebra Environment by Composition of Collaborative Tools.	DISCO	1992	DBLP DOI BibTeX RDF	User Interface, Computer Algebra, Tool Integration, Software Bus
18	Hervé Le Verge, Christophe Mauras, Patrice Quinton	The ALPHA language and its use for the design of systolic arrays.	J. VLSI Signal Process.	1991	DBLP DOI BibTeX RDF
18	Isabelle Attali, Jacques Chazarain	Functional Evaluation of Strongly Non Circular Typol Specifications.	WAGA	1990	DBLP DOI BibTeX RDF