Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Paolo Ferraris	On Modular Translations and Strong Equivalence.	LPNMR	2005	DBLP DOI BibTeX RDF
11	Christophe Crespelle, Christophe Paul	Fully Dynamic Algorithm for Recognition and Modular Decomposition of Permutation Graphs.	WG	2005	DBLP DOI BibTeX RDF
11	Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby	Extending JML for Modular Specification and Verification of Multi-threaded Programs.	ECOOP	2005	DBLP DOI BibTeX RDF
11	Jonathan Aldrich	Open Modules: Modular Reasoning About Advice.	ECOOP	2005	DBLP DOI BibTeX RDF
11	Jean-Bernard Hayet, Tom Mathes, Jacek Czyz, Justus H. Piater, Jacques G. Verly, Benoît Macq	A modular multi-camera framework for team sports tracking.	AVSS	2005	DBLP DOI BibTeX RDF
11	Yangmin Li 0001, Yugang Liu, Shaoze Yan	Adaptive Neural-Network Control for Redundant Nonholonomic Mobile Modular Manipulators.	ISNN (3)	2005	DBLP DOI BibTeX RDF
11	Jing Li, Bao-Liang Lu, Michinori Ichikawa	Typical Sample Selection and Redundancy Reduction for Min-Max Modular Network with GZC Function.	ISNN (1)	2005	DBLP DOI BibTeX RDF
11	Pan Wang, Zhun Fan, Youfeng Li, Shan Feng	Sequential Bayesian Learning for Modular Neural Networks.	ISNN (1)	2005	DBLP DOI BibTeX RDF
11	Kaian Wang, Hai Zhao 0001, Bao-Liang Lu	Task Decomposition Using Geometric Relation for Min-Max Modular SVMs.	ISNN (1)	2005	DBLP DOI BibTeX RDF
11	Yang Yang 0030, Bao-Liang Lu	Structure Pruning Strategies for Min-Max Modular Network.	ISNN (1)	2005	DBLP DOI BibTeX RDF
11	Linke Zhang, Lin He, Ben Kerong, Na Wei, Yunfu Pang, Shijian Zhu	Identification of the Acoustic Fault Sources of Underwater Vehicles Based on Modular Structure Variable RBF Network.	ISNN (3)	2005	DBLP DOI BibTeX RDF
11	Charlie Johnson, Jeff Welser	Future processors: flexible and modular.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	multiprocessor, SoC, accelerators
11	Hui-Cheng Lian, Bao-Liang Lu, Erina Takikawa, Satoshi Hosoi	Gender Recognition Using a Min-Max Modular Support Vector Machine.	ICNC (2)	2005	DBLP DOI BibTeX RDF
11	Jing Li, Bao-Liang Lu, Michinori Ichikawa	An Algorithm for Pruning Redundant Modules in Min-Max Modular Network with GZC Function.	ICNC (1)	2005	DBLP DOI BibTeX RDF
11	Zhi-Gang Fan, Bao-Liang Lu	Multi-view Face Recognition with Min-Max Modular SVMs.	ICNC (2)	2005	DBLP DOI BibTeX RDF
11	Naohiro Fukumura, Keitaro Wakaki, Yoji Uno	A Modular Structure of Auto-encoder for the Integration of Different Kinds of Information.	ICNC (1)	2005	DBLP DOI BibTeX RDF
11	Simone Tellini, Renzo Davoli	Design and Implementation of a Multifunction, Modular and Extensible Proxy Server.	ICN (1)	2005	DBLP DOI BibTeX RDF
11	Fernando J. Barros	Requirements for Modeling and Simulation of Self-Adaptive Systems: A Hierarchical and Modular Approach.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
11	Maciej Piasecki, Ireneusz Matysiak, Anna Rusak	Logo -The Modular Conversational Agent Understanding Polish.	ISDA	2005	DBLP DOI BibTeX RDF
11	Arnd Poetzsch-Heffter, Jan Schäfer 0002	Modular Specification of Encapsulated Object-Oriented Components.	FMCO	2005	DBLP DOI BibTeX RDF
11	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn	Smallfoot: Modular Automatic Assertion Checking with Separation Logic.	FMCO	2005	DBLP DOI BibTeX RDF
11	Doosung Hwang, Ung-Mo Kim, Jaehun Choi, Jeho Park, Jang-Hee Yoo	Predictive Model for Protein Function Using Modular Neural Approach.	ICAPR (1)	2005	DBLP DOI BibTeX RDF
11	Torbjörn Ekman 0001, Görel Hedin	Modular Name Analysis for Java Using JastAdd.	GTTSE	2005	DBLP DOI BibTeX RDF
11	Hyun-Sung Kim, Il-Soo Jeon	Semi-systolic Architecture for Modular Multiplication Over GF(2m).	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
11	Christopher E. Wong, Allison M. Okamura	The Snaptic Paddle: A Modular Haptic Device.	WHC	2005	DBLP DOI BibTeX RDF
11	Pradeep M. Patil, S. N. Kulkarni, A. J. Patil, Dharmapal Dronacharya Doye, Uday V. Kulkarni	Modular General Fuzzy Hypersphere Neural Network.	ICTAI	2005	DBLP DOI BibTeX RDF
11	Massimo Panella, Maurizio Paschero, Fabio Massimo Frattale Mascioli	A modular RC-active network for vibration damping in piezo-electro-mechanical beams.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
11	Domingo Biel, Rafael Ramos, Francesc Guinjoan, Juan J. Negroni, Carlos Meza	Sliding-mode control design of parallel-connected switching converters for modular transformerless DC-AC step-up conversion.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
11	Ben A. Abderazek, Sotaro Kawata, Tsutomu Yoshinaga, Masahiro Sowa	Modular Design Structure and High-Level Prototyping for Novel Embedded Processor Core.	EUC	2005	DBLP DOI BibTeX RDF
11	Abdallah Merhebi, Otmane Aït Mohamed	FPGA implementation of a modular and pipelined WF scheduler for high speed OC192 networks.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	OC192, PL4, POS, WF scheduler, FPGAs, ATM, pipeline
11	Christophe Nègre	Quadrinomial Modular Arithmetic using Modified Polynomial Basis.	ITCC (1)	2005	DBLP DOI BibTeX RDF
11	Galen S. Swint, Calton Pu, Gueyoung Jung, Wenchang Yan, Younggyun Koh, Qinyi Wu, Charles Consel, Akhil Sahai, Koichi Moriyama	Clearwater: extensible, flexible, modular code generation.	ASE	2005	DBLP DOI BibTeX RDF	AXpect, ISG, clearwater, infopipes, code generation, DSL
11	Luca Ferrarini, Carlo Veber, Giuseppe Fogliazza	IEC 61499 implementation of a modular control model for manufacturing systems.	ETFA	2005	DBLP DOI BibTeX RDF
11	Chih-Chung Lu, Shau-Yin Tseng, Szu-Kai Huang	A Secure Modular Exponential Algorithm Resists to Power, Timing, C Safe Error and M Safe Error Attacks.	AINA	2005	DBLP DOI BibTeX RDF
11	David T. Cole, Salah Sukkarieh, Ali Göktogan, R. Hugh Stone, Rhys Hardwick-Jones	The Development of a Real-Time Modular Architecture for the Control of UAV Teams.	FSR	2005	DBLP DOI BibTeX RDF	Guidance and Control Architecture, UAVs
11	Daqi Gao, Shangming Zhu, Wenbing Gu	A Modular Single-Hidden-Layer Perceptron for Letter Recognition.	ICANN (1)	2005	DBLP DOI BibTeX RDF
11	Xiqun Zhu, Yuan Ma	Modular Architecture for System-on-Chip Design of Scalable MEMS Optical Switch Actuator Controller.	IWSOC	2005	DBLP DOI BibTeX RDF
11	Horst F. Wedde, Mario Lischka	Modular authorization and administration.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	Petri-Nets, Modularity, composability, work-flow
11	Paul Feautrier	Scalable and Modular Scheduling.	SAMOS	2004	DBLP DOI BibTeX RDF
11	George J. Tsinarakis, Kimon P. Valavanis	Modular Hybrid Petri Nets for Studying Multi-operational Production Systems where Parts Follow Multiple Alternative Processes.	ICRA	2004	DBLP DOI BibTeX RDF
11	Sung Ho Shin, Delbert Tesar	Analytical Method for Designing Modular Robot Interfaces with High Connection Accuracy.	ICRA	2004	DBLP DOI BibTeX RDF
11	Albert Ko, T. L. Lau, Henry Y. K. Lau	Topological Representation and Analysis Method for Multi-port and Multi-orientation Docking Modular Robots.	ICRA	2004	DBLP DOI BibTeX RDF
11	Damien Sallé, Philippe Bidaud, Guillaume Morel	Optimal Design of High Dexterity Modular MIS Instrument for Coronary Artery Bypass Grafting.	ICRA	2004	DBLP DOI BibTeX RDF
11	Sean A. Patterson, Kenneth A. Knowles Jr., Bradley E. Bishop	Toward Magnetically-coupled Reconfigurable Modular Robots.	ICRA	2004	DBLP DOI BibTeX RDF
11	Lucia Pomello, Luca Bernardinello	Formal Tools for Modular System Development.	ICATPN	2004	DBLP DOI BibTeX RDF
11	Michael J. Wirthlin	Improving the reliability of FPGA circuits using triple-modular redundancy (TMR) & efficient voter placement.	FPGA	2004	DBLP DOI BibTeX RDF
11	Rami Cohen, Danny Raz	An open and modular approach for a context distribution system.	NOMS (1)	2004	DBLP DOI BibTeX RDF
11	José Meseguer 0001, Christiano Braga	Modular Rewriting Semantics of Programming Languages.	AMAST	2004	DBLP DOI BibTeX RDF
11	D. Rehage, Udo B. Carl, M. Merkel, A. Vahl	The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics.	SAFECOMP	2004	DBLP DOI BibTeX RDF
11	Holger Pfeifer, Friedrich W. von Henke	Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.	SAFECOMP	2004	DBLP DOI BibTeX RDF
11	Lei Chen 0017, Mohamed Kamel, Ju Jiang	A Modular System for the Classification of Time Series Data.	Multiple Classifier Systems	2004	DBLP DOI BibTeX RDF
11	Qin-Yu Zhu, Guang-Bin Huang, Chee Kheong Siew	A fast modular implementation for neural networks.	ICARCV	2004	DBLP DOI BibTeX RDF
11	Phan Thanh Duc, Peter Haddawy	A Modular Approach to e-Learning Content Creation and Maintenance.	ICWL	2004	DBLP DOI BibTeX RDF	Courseware Building Tool, Management of Learning Resources, System Architecture
11	Benjamín Castañeda, Yuriy Luzanov, Juan C. Cockburn	Implementation of a Modular Real-Time Feature-Based Architecture Applied to Visual Face Tracking.	ICPR (4)	2004	DBLP DOI BibTeX RDF
11	Tero Rissa, Peter Y. K. Cheung, Wayne Luk	SoftSONIC: A Customisable Modular Platform for Video Applications.	FPL	2004	DBLP DOI BibTeX RDF
11	Ling Zhuo, Viktor K. Prasanna	Scalable and Modular Algorithms for Floating-Point Matrix Multiplication on FPGAs.	IPDPS	2004	DBLP DOI BibTeX RDF
11	Mark Yim, Craig Eldershaw, Ying Zhang, David Duff	Limbless Conforming Gaits with Modular Robots.	ISER	2004	DBLP DOI BibTeX RDF
11	Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar 0001	A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.	ACSD	2004	DBLP DOI BibTeX RDF
11	Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp	Modular design and verification of component-based mechatronic systems with online-reconfiguration.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	unified modelling language (UML), real-time, components, reconfiguration, hybrid systems
11	Bruce Richardson, Krispin Leydon, Mikael Fernström, Joseph A. Paradiso	Z-Tiles: building blocks for modular, pressure-sensing floorspaces.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	blob detection, foot sensing, networked floorspace, pressure-sensitive, self-organising, responsive environments
11	René Thiemann, Jürgen Giesl, Peter Schneider-Kamp	Improved Modular Termination Proofs Using Dependency Pairs.	IJCAR	2004	DBLP DOI BibTeX RDF
11	John F. Sowa	Graphics and Languages for the Flexible Modular Framework.	ICCS	2004	DBLP DOI BibTeX RDF
11	Jana Flochova, Pavol Kolttrik, Peter Drozd	Modular adaptive approaches in DES failure diagnosis and control.	SMC (2)	2004	DBLP DOI BibTeX RDF
11	Jae-Yoon Jung, James A. Reggia	A Descriptive Encoding Language for Evolving Modular Neural Networks.	GECCO (2)	2004	DBLP DOI BibTeX RDF
11	Felipe J. Gil-Castiñeira, Pedro S. Rodríguez-Hernández, Francisco J. González-Castaño, Enrique Costa-Montenegro, Rafael Asorey-Cacheda, José M. Pousada Carballo	A Modular Approach to Real-Time Sensorial Fusion Systems.	KES	2004	DBLP DOI BibTeX RDF
11	David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla	Modular design through component abstraction.	CASES	2004	DBLP DOI BibTeX RDF	behavioral interfaces, synchronous languages, component based design
11	Mehmet Kaya, Reda Alhajj	Utilizing Fuzzy OLAP Mining Towards Novel Approach to Multiagent Modular Reinforcement Learning.	IAT	2004	DBLP DOI BibTeX RDF	data mining, reinforcement learning, multiagent systems, OLAP, fuzziness, data cube
11	Krzysztof Banas	A Modular Design for Parallel Adaptive Finite Element Computational Kernels.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
11	Hiroaki Naganou, Hiroshi Iseki, Ken Masamune	MRI Compatible Modular Designed Robot for Interventional Navigation - Prototype Development and Evaluation.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
11	Andreas Köpfle, Markus A. Schill, Markus L. R. Schwarz, Peter Pott, Achim Wagner, Reinhard Männer, Essameddin Badreddin, Hans-Peter Weiser, Hanns-Peter Scharf	A Modular Scalable Approach to Occlusion-Robust Low-Latency Optical Tracking.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
11	Manfred Schimmler, Viktor Bunimov	Fast Modular Multiplication by Operand Changing.	ITCC (2)	2004	DBLP DOI BibTeX RDF
11	Alex Olwal, Steven Feiner	Unit: modular development of distributed interaction techniques for highly interactive user interfaces.	GRAPHITE	2004	DBLP DOI BibTeX RDF	virtual reality, augmented reality, interaction techniques, mixed reality, visual programming, dataflow programming
11	David C. Keezer, Dany Minier, F. Binette	Modular Extension of ATE to 5 Gbps.	ITC	2004	DBLP DOI BibTeX RDF
11	Robert C. Aitken	A Modular Wrapper Enabling High Speed BIST and Repair for Small Wide Memories.	ITC	2004	DBLP DOI BibTeX RDF
11	Natascha Petry Ligocki, Achim Rettberg, Mauro Cesar Zanella, Andreas Hennig, André Luiz de Freitas Francisco	Towards a Modular Communication System for FPGAs.	DELTA	2004	DBLP DOI BibTeX RDF
11	Mathieu Autonès, Ariel Beck, Philippe Camacho, Nicolas Lassabe, Hervé Luga, François Scharffe	Evaluation of Chess Position by Modular Neural Network Generated by Genetic Algorithm.	EuroGP	2004	DBLP DOI BibTeX RDF
11	Alpha Lee, Kin Wah Lai, Fuk Tak Hung, Wai Lap Leung, Kwok Keung Lam, Chi Chung Leung	Synaesthesia: Multimodal Modular Edutainment Platform Development.	CW	2004	DBLP DOI BibTeX RDF
11	Aditya Mittal, Madhav P. Desai	A Distributed and Pipelined Controller for a Modular and Scalable Hardware Emulator.	VLSI Design	2004	DBLP DOI BibTeX RDF
11	Heron V. O. Silva, Rogério Ferreira Rodrigues, Luiz Fernando Gomes Soares, Débora C. Muchaluat-Saade	NCL 2.0: integrating new concepts to XML modular languages.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	XConnector, XTemplate, composition template, framework for parsing and processing XML, hypermedia connector, SMIL, NCL
11	Jurriaan D. Mulder, Breght R. Boschker	A Modular System for Collaborative Desktop VR/AR with a Shared Workspace.	VR	2004	DBLP DOI BibTeX RDF
11	A. Pavan Kumar, Sukhendu Das, V. Kamakoti 0001	Face Recognition Using Weighted Modular Principle Component Analysis.	ICONIP	2004	DBLP DOI BibTeX RDF
11	Bin Huang, Bao-Liang Lu	Fault Diagnosis for Industrial Images Using a Min-Max Modular Neural Network.	ICONIP	2004	DBLP DOI BibTeX RDF
11	Isabel Correia 0001, M. Eugénia V. Captivo	A Lagrangean Heuristic for a Modular Capacitated Location Problem.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	capacitated location, Lagrangean heuristic, mixed integer linear programming
11	Margarita Bachiller, José Antonio Cerrada, Carlos Cerrada	A Modular Scheme for Controller Design and Performance Evaluation in 3D Visual Servoing.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	vision guided robotics, control system design, pose estimation, system identification, robotic manipulator, visual servoing, tracking control
11	Rajeev Alur, Salvatore La Torre, P. Madhusudan	Modular Strategies for Infinite Games on Recursive Graphs.	CAV	2003	DBLP DOI BibTeX RDF
11	Changlin Cai, Zhongzhi Shi	A Modular Neural Network Architecture with Approximation Capability and Its Applications.	IEEE ICCI	2003	DBLP DOI BibTeX RDF
11	Yiannis Cotronis	Building Grid MPI Applications from Modular Components.	PDP	2003	DBLP DOI BibTeX RDF
11	Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman	Lazy modular upgrades in persistent object stores.	OOPSLA	2003	DBLP DOI BibTeX RDF	presistent objects, ownership types, software upgrades
11	Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello	Modular System Development with Pullbacks.	ICATPN	2003	DBLP DOI BibTeX RDF
11	Luís A. Alexandre, Aurélio C. Campilho, Mohamed S. Kamel	A Probabilistic Model for the Cooperative Modular Neural Network.	IbPRIA	2003	DBLP DOI BibTeX RDF
11	Doosung Hwang, Farshad Fotouhi, Russell L. Finley Jr., William I. Grosky	Predictive Model for Yeast Protein Functions Using Modular Neural Approach.	BIBE	2003	DBLP DOI BibTeX RDF
11	Nadia Nedjah, Luiza de Macedo Mourelle	Minimal Addition-Subtraction Sequences for Efficient Pre-processing in Large Window-Based Modular Exponentiation Using Genetic Algorithms.	IDEAL	2003	DBLP DOI BibTeX RDF
11	Giorgio Giacinto, Fabio Roli, Luca Didaci	A Modular Multiple Classifier System for the Detection of Intrusions in Computer Networks.	Multiple Classifier Systems	2003	DBLP DOI BibTeX RDF
11	Alan Daly, William P. Marnane, Tim Kerins, Emanuel M. Popovici	Fast Modular Division for Application in ECC on Reconfigurable Logic.	FPL	2003	DBLP DOI BibTeX RDF
11	J. Soares Augusto, Carlos Beltrán Almeida, H. C. Campos Neto	A Modular Reconfigurable Architecture for Efficient Fault Simulation in Digital Circuits.	FPL	2003	DBLP DOI BibTeX RDF
11	François Charot, Eslam Yahya, Charles Wagner	Efficient Modular-Pipelined AES Implemenation in Counter Mode on ALTERA FPGA.	FPL	2003	DBLP DOI BibTeX RDF
11	Michele Boreale, Maria Grazia Buscemi	Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.	MFCS	2003	DBLP DOI BibTeX RDF
11	Jean-Luc Beuchat	Some Modular Adders and Multipliers for Field Programmable Gate Arrays.	IPDPS	2003	DBLP DOI BibTeX RDF	modulo m addition, modulo m multiplication, FPGA, Computer arithmetic
11	Tim Kogel, Malte Doerper, Andreas Wieferink, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Serge Goossens	A modular simulation framework for architectural exploration of on-chip interconnection networks.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	simulation, network-on-chip, SystemC, architecture exploration
11	Johann Großschädl, Guy-Armand Kamendje	Optimized RISC Architecture for Multiple-Precision Modular Arithmetic.	SPC	2003	DBLP DOI BibTeX RDF	RSA Algorithm, Finely IntegratedOperand Scanning (FIOS), Multi-Application Smart Cards, Montgomery Multiplication