Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Wojciech Jamroga, Thomas Ågotnes	Modular interpreted systems.	AAMAS	2007	DBLP DOI BibTeX RDF	open computational systems, temporal and strategic logics, model checking, modeling methodology
11	A. Jayaraman, C. C. Sekhar, V. S. Chakravarthy	Modular Approach to Recognition of Strokes in Telugu Script.	ICDAR	2007	DBLP DOI BibTeX RDF
11	Seyed Mohammad Mahdi Javadi, Michael B. Monagan	A sparse modular GCD algorithm for polynomials over algebraic function fields.	ISSAC	2007	DBLP DOI BibTeX RDF	GCD algorithms, sparse interpolation, algebraic function fields
11	Haruhisa Kurokawa, Kohji Tomita, Akiya Kamimura, Shigeru Kokaji, Takashi Hasuo, Satoshi Murata	Self-reconfigurable modular robot M-TRAN: distributed control and communication.	ROBOCOMM	2007	DBLP DOI BibTeX RDF	coordinated motion control, distributed autonomous system, central pattern generator
11	Julio Villalba, Tomás Lang, Mario A. González	Double-Residue Modular Range Reduction for Floating-Point Hardware Implementations.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Range-reduction, elementary function evaluation, floating-point arithmetic
11	Jon-Fredrik Nielsen	A Modular Framework for Development and Interlaboratory Sharing and Validation of Diffusion Tensor Tractography Algorithms.	J. Digit. Imaging	2006	DBLP DOI BibTeX RDF	Diffusion tensor imaging, white matter, tractography
11	Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul Lieverse	System architecture evaluation using modular performance analysis: a case study.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF
11	Tine Verhanneman, Frank Piessens, Bart De Win, Eddy Truyen, Wouter Joosen	A Modular Access Control Service for Supporting Application-Specific Policies.	IEEE Distributed Syst. Online	2006	DBLP DOI BibTeX RDF	security, access control, aspect-oriented programming, design tools
11	Alessandro Garcia 0001, Christina Chavez, Thaís Vasconcelos Batista, Cláudio Sant'Anna, Uirá Kulesza, Awais Rashid, Carlos José Pereira de Lucena	On the Modular Representation of Architectural Aspects.	EWSA	2006	DBLP DOI BibTeX RDF	Architectural Connection, Architecture Description Languages, Aspect-Oriented Software Development
11	Jie Bao 0001, Doina Caragea, Vasant G. Honavar	On the Semantics of Linking and Importing in Modular Ontologies.	ISWC	2006	DBLP DOI BibTeX RDF
11	Casey Carlson, Andrew Drenner, Ian T. Burt, Nikolaos Papanikolopoulos	Modular Mobile Docking Station Design.	IROS	2006	DBLP DOI BibTeX RDF
11	K. H. Low	Locomotion Consideration and Implementation of Robotic Fish with Modular Undulating Fins: Analysis and Experimental Study.	IROS	2006	DBLP DOI BibTeX RDF
11	Yuzuru Terada, Satoshi Murata	Modular Structure Assembly using Gradient Field.	IROS	2006	DBLP DOI BibTeX RDF
11	Shinya Aoi, Hitoshi Sasaki, Kazuo Tsuchiya	Turning Maneuvers of a Multi-legged Modular Robot Using Its Inherent Dynamic Characteristics.	IROS	2006	DBLP DOI BibTeX RDF
11	Minghui Wang, Shugen Ma, Bin Li 0001, Yuechao Wang	Configuration Analysis for Reconfigurable Modular Planetary Robots Based on MSV and CSM.	IROS	2006	DBLP DOI BibTeX RDF
11	Katsuyuki Ukegawa, M. C. Natori	Deadlock Resolution in Self-Assembly of Modular Structure Systems.	IROS	2006	DBLP DOI BibTeX RDF
11	Dan Zou, Tianmiao Wang, Jianhong Liang	Reconfiguration Research on Modular Mobile Robot.	IROS	2006	DBLP DOI BibTeX RDF
11	Dan O. Popa, Rakesh Murthy, Manoj Mitta, Jeongsik Sin, Harry E. Stephanou	M3-Modular Multi-Scale Assembly System for MEMS Packaging.	IROS	2006	DBLP DOI BibTeX RDF
11	Behnam Salemi, Mark Moll, Wei-Min Shen	SUPERBOT: A Deployable, Multi-Functional, and Modular Self-Reconfigurable Robotic System.	IROS	2006	DBLP DOI BibTeX RDF
11	Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen	Efficient interactive configuration of unbounded modular systems.	SAC	2006	DBLP DOI BibTeX RDF	interactive configuration, constraint satisfaction
11	Kingshuk Karuri, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Monu Kedia	Design and implementation of a modular and portable IEEE 754 compliant floating-point unit.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
11	Laura Chaubard, Jean-Eric Pin, Howard Straubing	First Order Formulas with Modular Predicates.	LICS	2006	DBLP DOI BibTeX RDF
11	Guénaël Renault, Kazuhiro Yokoyama	A Modular Method for Computing the Splitting Field of a Polynomial.	ANTS	2006	DBLP DOI BibTeX RDF
11	Wei Chen 0009, Rui Gong, Kui Dai, Fang Liu 0002, Zhiying Wang 0003	Two New Space-Time Triple Modular Redundancy Techniques for Improving Fault Tolerance of Computer Systems.	CIT	2006	DBLP DOI BibTeX RDF
11	Manuel Caeiro Rodríguez, Luis E. Anido-Rifón, Martín Llamas Nistal	Engineering Modular Web-based Education Systems to Support EML Units of Learning.	Education for the 21st Century	2006	DBLP DOI BibTeX RDF
11	Frank Lömker, Sebastian Wrede 0001, Marc Hanheide, Jannik Fritsch	Building Modular Vision Systems with a Graphical Plugin Environment.	ICVS	2006	DBLP DOI BibTeX RDF
11	Changhan Park, Inho Paek, Joon Ki Paik	Improved Face Recognition Using Extended Modular Principal Component Analysis.	ISVC (1)	2006	DBLP DOI BibTeX RDF
11	Timothy J. Rogers 0002, Bedrich Benes, Gary R. Bertoline	Towards a Modular Network-Distributed Mixed-Reality Learning Space System.	ISVC (2)	2006	DBLP DOI BibTeX RDF
11	Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos	A Modular Architecture for Intelligent Web Resource Based Tutoring Systems.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
11	Marylin Winter, George E. Taylor	A Modular Neural Network Approach to Improve Map-Matched GPS Positioning.	W2GIS	2006	DBLP DOI BibTeX RDF	GIS, Artificial Neural Networks, Location Based Services, GPS, Map Matching
11	Adrien Coulet, Malika Smaïl-Tabbone, Amedeo Napoli, Marie-Dominique Devignes	Suggested Ontology for Pharmacogenomics (SO-Pharm): Modular Construction and Preliminary Testing.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
11	Martin Ouwerkerk, Frank J. Pasveer, Nur Engin	SAND: a modular application development platform for miniature wireless sensors.	BSN	2006	DBLP DOI BibTeX RDF
11	Chitta Baral, Juraj Dzifcak, Hiro Takahashi	Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
11	Anna Gál, Vladimir Trifonov	On the Correlation Between Parity and Modular Polynomials.	MFCS	2006	DBLP DOI BibTeX RDF
11	Frank T. Bergmann, Herbert M. Sauro	SBW - a modular framework for systems biology.	WSC	2006	DBLP DOI BibTeX RDF
11	Stefan Senczyna	Modular Model of a Logic Circuit Using Object-Oriented Programming.	ITNG	2006	DBLP DOI BibTeX RDF
11	Jun Luo, Bao-Liang Lu	Gender Recognition Using a Min-Max Modular Support Vector Machine with Equal Clustering.	ISNN (2)	2006	DBLP DOI BibTeX RDF
11	Seung Soo Han, Dong Sun Seo, Sang Jeen Hong	Modeling and Characterization of Plasma Processes Using Modular Neural Network.	ISNN (2)	2006	DBLP DOI BibTeX RDF
11	Sami Gazzah, Najoua Essoukri Ben Amara	Writer Identification Using Modular MLP Classifier and Genetic Algorithm for Optimal Features Selection.	ISNN (2)	2006	DBLP DOI BibTeX RDF
11	Yang Yang 0030, Bao-Liang Lu	Prediction of Protein Subcellular Multi-locations with a Min-Max Modular Support Vector Machine.	ISNN (2)	2006	DBLP DOI BibTeX RDF
11	Yanen Li, Feng Lu, Yanhong Zhou	Identifying the Modular Structures in Protein Interaction Networks.	ICIC (3)	2006	DBLP DOI BibTeX RDF
11	Amanda J. Parkes, Vincent Leclerc, Hiroshi Ishii 0001	Glume: exploring materiality in a soft augmented modular modeling system.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	tangible user inteface, 3D visualization, materiality
11	Yi Wang, Jennifer Rexford	A modular RCP for flexible interdomain route control.	CoNEXT	2006	DBLP DOI BibTeX RDF	routing, control, modularity, BGP, flexibility, extensibility
11	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
11	Jorge M. Santos, Luís A. Alexandre, Joaquim Marques de Sá	Modular Neural Network Task Decomposition Via Entropic Clustering.	ISDA (1)	2006	DBLP DOI BibTeX RDF
11	Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson 0001	Modular verification of code with SAT.	ISSTA	2006	DBLP DOI BibTeX RDF	formal methods, formal verification, first-order logic, SAT, software model checking, alloy
11	Ping Wang 0012, James M. Rehg	A Modular Approach to the Analysis and Evaluation of Particle Filters for Figure Tracking.	CVPR (1)	2006	DBLP DOI BibTeX RDF
11	Shay Gueron	Data and Computational Fault Detection Mechanism for Devices That Perform Modular Exponentiation.	FDTC	2006	DBLP DOI BibTeX RDF	safe errors, RSA, smartcards, Fault attacks, countermeasures, embedded devices
11	Marco Mamei, Franco Zambonelli	Programming Modular Robots with the TOTA Middleware.	ESOA	2006	DBLP DOI BibTeX RDF
11	Sebastian Knorr, Evren Imre, Burak Özkalayci, A. Aydin Alatan, Thomas Sikora	A Modular Scheme for 2D/3D Conversion of TV Broadcast.	3DPVT	2006	DBLP DOI BibTeX RDF
11	Peter Mayer 0002, Paul Panek, Georg Edelmayer, Marnix Nuttin, Wolfgang L. Zagler	Scenarios of Use for a Modular Robotic Mobility Enhancement System for Profoundly Disabled Children in an Educational and Institutional Care Environment.	ICCHP	2006	DBLP DOI BibTeX RDF
11	Uzair Ahmad, Andrey Gavrilov, Sungyoung Lee, Young-Koo Lee	Modular Multilayer Perceptron for WLAN Based Localization.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Naoyuki Kubota, Toshiyuki Shimizu	Modular Fuzzy Neural Networks for Imitative Learning of A Partner Robot.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Patricia Melin, Olivia Mendoza, Miguel Soto, Maribel Gutierez, Daniel Solano	An Intelligent System for Pattern Recognition and Time Series Prediction using Modular Neural Networks.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Eric A. Antonelo, Albert-Jan Baerveldt, Thorsteinn S. Rögnvaldsson, Maurício F. Figueiredo	Modular Neural Network and Classical Reinforcement Learning for Autonomous Robot Navigation: Inhibiting Undesirable Behaviors.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Jing Li, Bao-Liang Lu	A New Supervised Clustering Algorithm Based on Min-Max Modular Network with Gaussian-Zero-Crossing Functions.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Tobias Zimmer, Michael Beigl	AwareOffice: Integrating Modular Context-Aware Applications.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
11	Georgios Lidoris, Martin Buss	A Multi-agent System Architecture for Modular Robotic Mobility Aids.	EUROS	2006	DBLP DOI BibTeX RDF
11	Stefan Tuchschmid, Markus Grassi, Daniel Bachofen, P. Früh, Markus Thaler, Gábor Székely, Matthias Harders	A Flexible Framework for Highly-Modular Surgical Simulation Systems.	ISBMS	2006	DBLP DOI BibTeX RDF
11	Wojciech Rajski, Janusz Rajski	Modular Compactor of Test Responses.	VTS	2006	DBLP DOI BibTeX RDF
11	Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta	From PSL to NBA: a Modular Symbolic Encoding.	FMCAD	2006	DBLP DOI BibTeX RDF
11	Feng Gang	Design of Modular Multiplier Based on Improved Montgomery Algorithm and Systolic Array.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
11	Frederico Santos, João Pedro Fernandes Trovão, A. Marques, Paulo Pedreiras, Joaquim Ferreira 0001, Luís Almeida 0001, Max Mauro Santos	A Modular Control Architecture for a Small Electric Vehicle.	ETFA	2006	DBLP DOI BibTeX RDF
11	Björn Andersson	Roadmaps and visions II - Getting ahead, staying ahead: modular sun x64 servers for HPC.	SC	2006	DBLP DOI BibTeX RDF
11	Mercedes Fernández-Redondo, Joaquín Torres-Sospedra, Carlos Hernández-Espinosa	Improving the Expert Networks of a Modular Multi-Net System for Pattern Recognition.	ICANN (1)	2006	DBLP DOI BibTeX RDF
11	Parikshit Gopalan, Venkatesan Guruswami, Richard J. Lipton	Algorithms for Modular Counting of Roots of Multivariate Polynomials.	LATIN	2006	DBLP DOI BibTeX RDF
11	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell	Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C.	SCAM	2006	DBLP DOI BibTeX RDF
11	Jun-Hong Chen, Ming-Der Shieh, Haw-Shiuan Wu, Wen-Ching Lin	Asynchronous Design of Modular Multiplication Using Adaptive Radix Computation.	APCCAS	2006	DBLP DOI BibTeX RDF
11	Peter Novák 0001, Jürgen Dix	Modular BDI architecture.	AAMAS	2006	DBLP DOI BibTeX RDF	agent and multiagent architectures, infrastructures and environments for agent systems, frameworks, agent programming languages, BDI architecture
11	Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter	Applying Modular Decomposition to Parameterized Bicluster Editing.	IWPEC	2006	DBLP DOI BibTeX RDF	edge modification problems, bicluster graphs, NP-complete problems, fixed-parameter tractability, cluster graphs
11	Kazuhiro Tokunaga, Tetsuo Furukawa	Modular Network SOM: Theory, Algorithm and Applications.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
11	Neeharika Gudur, Vijayan K. Asari	Gabor Wavelet Based Modular PCA Approach for Expression and Illumination Invariant Face Recognition.	AIPR	2006	DBLP DOI BibTeX RDF
11	Emilio García 0001, Antonio Correcher Salvador, Francisco José Morant Anglada, Eduardo Quiles 0001, Ramón Blasco Giménez	Modular Fault Diagnosis Based on Discrete Event Systems.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	fault diagnosis, discrete event systems, large scale systems
11	Stefan Havlík	A Modular Concept of the Robotic Vehicle for Demining Operations.	Auton. Robots	2005	DBLP DOI BibTeX RDF	robotic vehicle, humanitarian demining, mine detection/destruction, remote control
11	Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis	Modular Representation of Agent Interaction Rules through Argumentation.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	multi-agent systems, protocols, argumentation, strategies
11	Krishnendu Chakrabarty, Vikram Iyengar, Mark D. Krasniewski	Test planning for modular testing of hierarchical SOCs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
11	Eric M. Dashofy, André van der Hoek, Richard N. Taylor	A comprehensive approach for the development of modular software architecture description languages.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	ArchStudio 3, xADL 2.0, XML, Architecture description languages
11	Nicos Maglaveras, Ioanna Chouvarda, Vassilis Koutkias, George Gogou, Irini Lekka, Dimitrios G. Goulis, Avram Avramidis, Charalambos Karvounis, George Louridas, E. Andrew Balas	The citizen health system (CHS): a Modular medical contact center providing quality telemedicine services.	IEEE Trans. Inf. Technol. Biomed.	2005	DBLP DOI BibTeX RDF
11	Amit Sethi, Mandar Rahurkar, Thomas S. Huang	Variable module graphs: a framework for inference and learning in modular vision systems.	ICIP (2)	2005	DBLP DOI BibTeX RDF
11	Ari Y. Benbasat, Joseph A. Paradiso	A compact modular wireless sensor platform.	IPSN	2005	DBLP DOI BibTeX RDF
11	Giorgio Calarco, Carla Raffaelli	Implementation of Implicit QoS Control in a Modular Software Router Context.	QoS-IP	2005	DBLP DOI BibTeX RDF
11	Heiko Mantel	The framework of selective interleaving functions and the modular assembly kit.	FMSE	2005	DBLP DOI BibTeX RDF	formal specification and analysis of security properties, noninterference, information flow security
11	Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell	A modular correctness proof of IEEE 802.11i and TLS.	CCS	2005	DBLP DOI BibTeX RDF	protocol composition logic, TLS, IEEE 802.11i
11	Jeffrey R. van der Hoeven, Hilde van Wijngaarden	Modular Emulation as a Viable Preservation Strategy.	ECDL	2005	DBLP DOI BibTeX RDF
11	Jerome Quartana, Laurent Fesquet, Marc Renaudin	Modular Asynchronous Network-on-Chip: Application to GALS Systems Rapid Prototyping.	VLSI-SoC	2005	DBLP DOI BibTeX RDF
11	Graham Schelle, Dirk Grunwald	CUSP: a modular framework for high speed network applications on FPGAs.	FPGA	2005	DBLP DOI BibTeX RDF	networking, parallelism, reconfigurable hardware, speculation
11	Fernanda Lima Kastensmidt, Luca Sterpone, Luigi Carro, Matteo Sonza Reorda	On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs.	DATE	2005	DBLP DOI BibTeX RDF
11	Hegui Ye, Ming Liang	Solving the combined modular product scheduling and production cell reconfiguration problem: a GA approach with parallel chromosome coding.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
11	K. Rustan M. Leino, Peter Müller 0001	Modular Verification of Static Class Invariants.	FM	2005	DBLP DOI BibTeX RDF
11	Ernesto Wandeler, Lothar Thiele	Abstracting functionality for modular performance analysis of hard real-time systems.	ASP-DAC	2005	DBLP DOI BibTeX RDF
11	Tongquan Wei, Kaijie Wu 0001, Ramesh Karri, Alex Orailoglu	Fault tolerant quantum cellular array (QCA) design using Triple Modular Redundancy with shifted operands.	ASP-DAC	2005	DBLP DOI BibTeX RDF
11	Anne Bergeron, Cédric Chauve, Fabien de Montgolfier, Mathieu Raffinot	Computing Common Intervals of K Permutations, with Applications to Modular Decomposition of Graphs.	ESA	2005	DBLP DOI BibTeX RDF
11	Arkadev Chattopadhyay, Kristoffer Arnsfelt Hansen	Lower Bounds for Circuits with Few Modular and Symmetric Gates.	ICALP	2005	DBLP DOI BibTeX RDF
11	Ralph Debusmann, Oana Postolache, Maarika Traat	A Modular Account of Information Structure in Extensible Dependency Grammar.	CICLing	2005	DBLP DOI BibTeX RDF
11	Jolita Ralyté, Neil A. M. Maiden, Colette Rolland, Rébecca Deneckère	Applying Modular Method Engineering to Validate and Extend the RESCUE Requirements Process.	ER	2005	DBLP DOI BibTeX RDF
11	Markus Müller-Olm, Helmut Seidl	Analysis of Modular Arithmetic.	ESOP	2005	DBLP DOI BibTeX RDF
11	Stephen V. Rice, Harry M. Markowitz, Ana Marjanski, Stephen M. Bailey	The SIMSCRIPT III programming language for modular object-oriented simulation.	WSC	2005	DBLP DOI BibTeX RDF
11	José A. Ramírez-Hernández, Heshan Li, Emmanuel Fernandez, Charles R. McLean, Swee Leong	A framework for standard modular simulation in semiconductor wafer fabrication systems.	WSC	2005	DBLP DOI BibTeX RDF
11	Yasutake Takahashi, Kazuhiro Edazawa, Kentarou Noma, Minoru Asada	Simultaneous Learning to Acquire Competitive Behaviors in Multi-agent System Based on Modular Learning System.	RoboCup	2005	DBLP DOI BibTeX RDF
11	Yasutake Takahashi, Tomoki Nishi, Minoru Asada	Self Task Decomposition for Modular Learning System Through Interpretation of Instruction by Coach.	RoboCup	2005	DBLP DOI BibTeX RDF