|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7000 occurrences of 3406 keywords
|
|
|
Results
Found 18100 publication records. Showing 18100 according to the selection in the facets
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 |
|
Displaying result #601 - #700 of 18100 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|