Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Masaki Ohira, Ranajit Chatterjee, Tetsushi Kamegawa, Fumitoshi Matsuno	Development of Three-legged Modular Robots and Demonstration of Collaborative Task Execution.	ICRA	2007	DBLP DOI BibTeX RDF
16	Gregory Tholey, Jaydev P. Desai	A Modular, Automated Laparoscopic Grasper with Three-Dimensional Force Measurement Capability.	ICRA	2007	DBLP DOI BibTeX RDF
16	Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe	Ready for distribution?: turning modular into distributed applications with the R-OSGi deployment tool.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	concierge, deployment, eclipse, OSGi, R-OSGi
16	Steve M. Shaner, Gary T. Leavens, David A. Naumann	Modular verification of higher-order methods with mandatory calls specified by model programs.	OOPSLA	2007	DBLP DOI BibTeX RDF	grey-box approach, higher order method, mandatory call, model program, verification, specification languages, hoare logic, refinement calculus
16	Chih-Han Yu, François-Xavier Willems, Donald E. Ingber, Radhika Nagpal	Self-organization of environmentally-adaptive shapes on a modular robot.	IROS	2007	DBLP DOI BibTeX RDF
16	Brian T. Kirby, Burak Aksak, Jason Campbell, James F. Hoburg, Todd C. Mowry, Padmanabhan Pillai, Seth Copen Goldstein	A modular robotic system using magnetic force effectors.	IROS	2007	DBLP DOI BibTeX RDF
16	Olivia Mendoza, Patricia Melin, Oscar Castillo 0001, Guillermo Licea	Type-2 Fuzzy Logic for Improving Training Data and Response Integration in Modular Neural Networks for Image Recognition.	IFSA (1)	2007	DBLP DOI BibTeX RDF
16	Martin Friedmann, Sebastian Petters, Max Risler, Hajime Sakamoto, Oskar von Stryk, Dirk Thomas	A New, Open and Modular Platform for Research in Autonomous Four-Legged Robots.	AMS	2007	DBLP DOI BibTeX RDF
16	Tomas Ágoston, Csaba Csuprai, Juraj Onderik, Roman Durikovic	Design of Modular Rendering Pipeline.	CIT	2007	DBLP DOI BibTeX RDF
16	Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn	Modular verification of a non-blocking stack.	POPL	2007	DBLP DOI BibTeX RDF	concurrency, separation logic, non-blocking
16	Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav	Modular Shape Analysis for Dynamically Encapsulated Programs.	ESOP	2007	DBLP DOI BibTeX RDF
16	Gökay Saldamli, Çetin Kaya Koç	Spectral Modular Exponentiation.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
16	William Hasenplaugh, Gunnar Gaubatz, Vinodh Gopal	Fast Modular Reduction.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
16	Tetsuo Furukawa, Kazuhiro Tokunaga	Realized through a Marriage with Modular-Networks.	FOCI	2007	DBLP DOI BibTeX RDF
16	Toshihiko Watanabe, Yoshiya Takahashi	Hierarchical reinforcement learning using a modular fuzzy model for multi-agent problem.	SMC	2007	DBLP DOI BibTeX RDF
16	Rob Mills, Richard A. Watson	Variable discrimination of crossover versus mutation using parameterized modular structure.	GECCO	2007	DBLP DOI BibTeX RDF	building block hypothesis, nearly decomposable systems, mutation, crossover
16	Alexander Malkis, Andreas Podelski, Andrey Rybalchenko	Precise Thread-Modular Verification.	SAS	2007	DBLP DOI BibTeX RDF
16	Lukas L. Diduch, Ronald Müller, Gerhard Rigoll	A Framework for Modular Signal Processing Systems with High-Performance Requirements.	ICME	2007	DBLP DOI BibTeX RDF
16	Klaus Ostermann	Aspects and modular reasoning in nonmonotonic logic.	FOAL	2007	DBLP DOI BibTeX RDF
16	Marc Bertola, Ron Irvine	A Modular Suite for High-Definition Image Processor Co-Verification.	ESTIMedia	2007	DBLP DOI BibTeX RDF
16	Rafal Scherer, Marcin Korytkowski, Robert Nowicki, Leszek Rutkowski	Modular Rough Neuro-fuzzy Systems for Classification.	PPAM	2007	DBLP DOI BibTeX RDF
16	Rogelio N. Limón Cordero, Isidro Ramos Salavert	Analyzing Styles of the Modular Software Architecture View.	ECSA	2007	DBLP DOI BibTeX RDF
16	Benoît Latré, Eli De Poorter, Ingrid Moerman, Piet Demeester	MOFBAN: A Lightweight Modular Framework for Body Area Networks.	EUC	2007	DBLP DOI BibTeX RDF
16	Ignacio Solinis-Camalich, Alexis Quesada-Arencibia, José Carlos Rodríguez-Rodríguez, Roberto Moreno-Díaz Jr.	An Open Modular System for Monitoring Remote Sensors.	EUROCAST	2007	DBLP DOI BibTeX RDF	Struts, EJB3, monitoring, sensor, Eclipse, SMS, J2EE, Remote control, video camera, alarm
16	Amir Ali Forough Nassiraei, Yasunori Takemura, Atsushi Sanada 0002, Yuichi Kitazumi, Yu Ogawa, Ivan Godler, Kazuo Ishii, Hiroyuki Miyamoto, Ahmad Ghaderi	Concept of Mechatronics Modular Design for an Autonomous Mobile Soccer Robot.	CIRA	2007	DBLP DOI BibTeX RDF
16	Patricia Melin, Alejandra Mancilla, Miguel Lopez, Jose Soria, Oscar Castillo 0001	Pattern Recognition for Industrial Monitoring and Security using the Fuzzy Sugeno Integral and Modular Neural Networks.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Zhi-Fei Ye, Bao-Liang Lu	Learning Imbalanced Data Sets with a Min-Max Modular Support Vector Machine.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira	Modular Access Control Via Strategic Rewriting.	ESORICS	2007	DBLP DOI BibTeX RDF
16	Dale Miller 0001, Alexis Saurin	From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic.	CSL	2007	DBLP DOI BibTeX RDF
16	Viorica Sofronie-Stokkermans	Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions.	FroCoS	2007	DBLP DOI BibTeX RDF
16	Abdulah Abdulah Zadeh	High Speed Modular Divider Based on GCD Algorithm.	ICICS	2007	DBLP DOI BibTeX RDF	GCD algorithm, Radix four, Finite Field, ECC
16	Petra Malik, Robi Malik, David Streader, Steve Reeves	Modular Synthesis of Discrete Controllers.	ICECCS	2007	DBLP DOI BibTeX RDF
16	Ricardo Franco Mendoza Garcia, Kasper Støy, David Johan Christensen, Andreas Lyder	A self-reconfigurable communication network for modular robots.	ROBOCOMM	2007	DBLP DOI BibTeX RDF
16	Yang Yang 0030, Bao-Liang Lu	Incorporating Domain Knowledge into a Min-Max Modular Support Vector Machine for Protein Subcellular Localization.	ICONIP (2)	2007	DBLP DOI BibTeX RDF
16	Joonhwan Yi, John P. Hayes	High-level delay test generation for modular circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
16	Ramachandruni Venkata Kamala, M. B. Srinivas	High-Throughput Montgomery Modular Multiplication.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
16	Masahiro Shimizu, Takafumi Mori, Akio Ishiguro	A Development of a Modular Robot That Enables Adaptive Reconfiguration.	IROS	2006	DBLP DOI BibTeX RDF
16	Alberto Brunete, Ernesto Gambao, Jose Emilio Torres, Miguel Hernando 0001	A 2 DoF Servomotor-based Module for Pipe Inspection Modular Micro-robots.	IROS	2006	DBLP DOI BibTeX RDF
16	Mark Moll, Peter M. Will, Maks Krivokon, Wei-Min Shen	Distributed Control of the Center of Mass of a Modular Robot.	IROS	2006	DBLP DOI BibTeX RDF
16	Alexander Malkis, Andreas Podelski, Andrey Rybalchenko	Thread-Modular Verification Is Cartesian Abstract Interpretation.	ICTAC	2006	DBLP DOI BibTeX RDF
16	Alexis Maciel, Toniann Pitassi	Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives.	LICS	2006	DBLP DOI BibTeX RDF
16	Bas Edixhoven	On the Computation of the Coefficients of a Modular Form.	ANTS	2006	DBLP DOI BibTeX RDF
16	Mariko Sakashita, Kazuhisa Makino, Hiroshi Nagamochi, Satoru Fujishige	Minimum Transversals in Posi-modular Systems.	ESA	2006	DBLP DOI BibTeX RDF
16	Gérard P. Huet, Benoît Razet	The Reactive Engine for Modular Transducers.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
16	Jimmy Sastra, Sachin Chitta, Mark Yim	Dynamic Rolling for a Modular Loop Robot.	ISER	2006	DBLP DOI BibTeX RDF
16	Adam Pridgen, Christine Julien 0001	SMASH: Modular Security for Mobile Agents.	SELMAS (LNCS)	2006	DBLP DOI BibTeX RDF
16	Dang-Yong Du, Hai-Lin Lan, Wei-Xin Ling	Modular Neural Network Rule Extraction Technique in Application to Country Stock Cooperate Governance Structure.	ISNN (2)	2006	DBLP DOI BibTeX RDF
16	Souradyuti Paul, Bart Preneel	On the (In)security of Stream Ciphers Based on Arrays and Modular Addition.	ASIACRYPT	2006	DBLP DOI BibTeX RDF
16	Benjamin Grégoire, Laurent Théry	A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers.	IJCAR	2006	DBLP DOI BibTeX RDF
16	Guerric Meurice de Dormale, Jean-Jacques Quisquater	Iterative Modular Division over GF(2m): Novel Algorithm and Implementations on FPGA.	ARC	2006	DBLP DOI BibTeX RDF
16	Ming-Hsien Tsai 0001, Bow-Yaw Wang	Modular Formalization of Reactive Modules in COQ.	ASIAN	2006	DBLP DOI BibTeX RDF
16	Zhongqiang Wu, Yingzhou Zhang, Baowen Xu	Modular Monadic Slicing in the Presence of Pointers.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
16	Michele Boreale	Attacking Right-to-Left Modular Exponentiation with Timely Random Faults.	FDTC	2006	DBLP DOI BibTeX RDF	fault-based cryptanalysis, public-key cryptosystems, smartcards
16	Qi Wang, Vincent Hayward	Compact, Portable, Modular, High-performance, Distributed Tactile Transducer Device Based on Lateral Skin Deformation.	HAPTICS	2006	DBLP DOI BibTeX RDF	virtual reality, tactile displays, haptic devices
16	Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin	A Modeling Paradigm for Integrated Modular Avionics Design.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
16	Bonseok Koo, Dongwook Lee, Gwonho Ryu, Taejoo Chang, Sangjin Lee 0002	High-Speed RSA Crypto-processor with Radix-4 Modular Multiplication and Chinese Remainder Theorem.	ICISC	2006	DBLP DOI BibTeX RDF	Booth’s algorithm, RSA, Chinese Remainder Theorem, Montgomery multiplication, Carry Save Adder
16	Kazuo Sakiyama, Bart Preneel, Ingrid Verbauwhede	A fast dual-field modular arithmetic logic unit and its hardware implementation.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Martin Trefzer, Jörg Langeheine, Karlheinz Meier, Johannes Schemmel	A Modular Framework for the Evolution of Circuits on Configurable Transistor Array Architectures.	AHS	2006	DBLP DOI BibTeX RDF
16	Mikhail Prokopenko, Vadim Gerasimov, Ivan Tanev	Evolving Spatiotemporal Coordination in a Modular Robotic System.	SAB	2006	DBLP DOI BibTeX RDF
16	Hazem M. El-Bakry	Fast Co-operative Modular Neural Processors for Human Face Detection.	IJCNN	2006	DBLP DOI BibTeX RDF
16	Himanshu Thapliyal, Anvesh Ramasahayam, Vivek Reddy Kotha, Kunul Gottimukkula, M. B. Srinivas	Modified Montgomery Modular Multiplication Using 4: 2 Compressor and CSA Adder.	DELTA	2006	DBLP DOI BibTeX RDF
16	Franck Bimbard, Laurent George 0001	On the conception of an autonomous and modular robot based on an Event Driven OSEK System with deterministic real-time behavior.	ICAS	2006	DBLP DOI BibTeX RDF
16	Jongman Kim, Chrysostomos Nicopoulos, Dongkook Park, Vijaykrishnan Narayanan, Mazin S. Yousif, Chita R. Das	A Gracefully Degrading and Energy-Efficient Modular Router Architecture for On-Chip Networks.	ISCA	2006	DBLP DOI BibTeX RDF
16	Jin-Hua Hong, Bin-Yan Tsai	A Fast Bit-Interleaving RSA Cryptosystem Based on Radix-4 Cellular-Array Modular Multiplier.	APCCAS	2006	DBLP DOI BibTeX RDF
16	Masayuki Noro	Modular dynamic evaluation.	ISSAC	2006	DBLP DOI BibTeX RDF
16	Nicholas Gerard Edmonds, Douglas Stark, Jesse Davis	Mass: modular architecture for sensor systems.	IPSN	2005	DBLP DOI BibTeX RDF
16	Barthélémy von Haller, Auke Jan Ijspeert, Dario Floreano	Co-evolution of Structures and Controllers for Neubot Underwater Modular Robots.	ECAL	2005	DBLP DOI BibTeX RDF
16	Holger Giese, Martin Hirsch 0001	Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
16	Vineet R. Khare, Xin Yao 0001, Bernhard Sendhoff, Yaochu Jin, Heiko Wersing	Co-evolutionary modular neural networks for automatic problem decomposition.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
16	Yanlai Li, Kuanquan Wang, David Zhang 0001	Palmprint Recognition Based on Translation Invariant Zernike Moments and Modular Neural Network.	ISNN (2)	2005	DBLP DOI BibTeX RDF
16	Hai Zhao 0001, Bao-Liang Lu	Improvement on Response Performance of Min-Max Modular Classifier by Symmetric Module Selection.	ISNN (2)	2005	DBLP DOI BibTeX RDF
16	Caroline Kudla, Kenneth G. Paterson	Modular Security Proofs for Key Agreement Protocols.	ASIACRYPT	2005	DBLP DOI BibTeX RDF
16	Christian Sauer 0001, Matthias Gries, Sören Sonntag	Modular Reference Implementation of an IP-DSLAM.	ISCC	2005	DBLP DOI BibTeX RDF
16	Charis Papadopoulos, Constantinos Voglis	Drawing Graphs Using Modular Decomposition.	GD	2005	DBLP DOI BibTeX RDF
16	Qiang Liu, Dong Tong 0001, Xu Cheng 0001	Non-interleaving architecture for hardware implementation of modular multiplication.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
16	Bruno Courcelle, Christian Delhommé	The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic.	CSL	2005	DBLP DOI BibTeX RDF
16	Hazem M. El-Bakry	Human Face Detection Using New High Speed Modular Neural Networks.	ICANN (1)	2005	DBLP DOI BibTeX RDF
16	Johann Großschädl, Roberto Maria Avanzi, Erkay Savas, Stefan Tillich	Energy-Efficient Software Implementation of Long Integer Modular Arithmetic.	CHES	2005	DBLP DOI BibTeX RDF
16	Marcelo E. Kaihara, Naofumi Takagi	Bipartite Modular Multiplication.	CHES	2005	DBLP DOI BibTeX RDF
16	Jianbing Shen, Xiaogang Jin 0001, Chuan Zhou 0008	A Color Image Encryption Algorithm Based on Magic Cube Transformation and Modular Arithmetic Operation.	PCM (2)	2005	DBLP DOI BibTeX RDF
16	David Pichardie	Modular Proof Principles for Parameterised Concretizations.	CASSIS	2005	DBLP DOI BibTeX RDF
16	Tilo Böhmann, Kai-Uwe Loser	Towards a service agility assessment - Modeling the composition and coupling of modular business services.	CEC Workshops	2005	DBLP DOI BibTeX RDF
16	Christian Sauer 0001, Matthias Gries, Sören Sonntag	Modular domain-specific implementation and exploration framework for embedded software platforms.	DAC	2005	DBLP DOI BibTeX RDF	DSLAM, programmable platforms, software development, design space exploration, network processing
16	Mehmet Kaya, Reda Alhajj	Modular fuzzy-reinforcement learning approach with internal model capabilities for multiagent systems.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
16	Vladimir V. Kornyak	A Modular Algorithm for Computing Cohomologies of Lie Algebras and Superalgebras.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
16	Clifford S. Bonaventura, Kathryn W. Jablokow	A Modular Dynamic Simulation Algorithm for Complex Robot Systems.	ICRA	2004	DBLP DOI BibTeX RDF
16	Alex Golovinsky, Mark Yim, Ying Zhang, Craig Eldershaw, David Duff	PolyBot and PolyKinetic™ System: a Modular Robotic Platform for Education.	ICRA	2004	DBLP DOI BibTeX RDF
16	Sungyong Park, Mark A. Minor	Modeling and Dynamic Control of Compliant Framed wheeled Modular Mobile Robots.	ICRA	2004	DBLP DOI BibTeX RDF
16	Alessandro Cilardo, Antonino Mazzeo, Luigi Romano, Giacinto Paolo Saggese	Carry-Save Montgomery Modular Exponentiation on Reconfigurable Hardware.	DATE	2004	DBLP DOI BibTeX RDF
16	Claudio de la Riva, Javier Tuya	Modular Model Checking of Software Specifications with Simultaneous Environment Generation.	ATVA	2004	DBLP DOI BibTeX RDF
16	Vitaly Shmatikov	Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation.	ESOP	2004	DBLP DOI BibTeX RDF
16	Ricardo Nastas Acras, Silvia Regina Vergilio	Splinter: A Generic Framework for Evolving Modular Finite State Machines.	SBIA	2004	DBLP DOI BibTeX RDF	modularity, evolutionary programming
16	Yasutake Takahashi, Kazuhiro Edazawa, Minoru Asada	Modular Learning System and Scheduling for Behavior Acquisition in Multi-agent Environment.	RoboCup	2004	DBLP DOI BibTeX RDF
16	Charles Lakos, Laure Petrucci	Modular Analysis of Systems Composed of Semiautonomous Subsystems.	ACSD	2004	DBLP DOI BibTeX RDF
16	Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann	Modular Proof Systems for Partial Functions with Weak Equality.	IJCAR	2004	DBLP DOI BibTeX RDF
16	Ferat Sahin	Groundscouts: architecture for a modular micro robotic platform for swarm intelligence and cooperative robotics.	SMC (1)	2004	DBLP DOI BibTeX RDF
16	Qi Sun, Anindya Banerjee 0001, David A. Naumann	Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language.	SAS	2004	DBLP DOI BibTeX RDF
16	Cécile Bui Thanh, Hanna Klaudel	Object-Oriented Modelling with High-Level Modular Petri Nets.	IFM	2004	DBLP DOI BibTeX RDF
16	Jonathan R. Zyzalo, Glen Bright, Olaf Diegel, Johan Potgieter	Modular Mechatronic Robotic Plug-and-Play Controller.	KES	2004	DBLP DOI BibTeX RDF
16	Ciaran McIvor, Máire McLoone, John V. McCanny	FPGA Montgomery modular multiplication architectures suitable for ECCs over GF(p).	ISCAS (3)	2004	DBLP DOI BibTeX RDF