Search results for "module"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Daniel Cabeza Gras, Manuel V. Hermenegildo	A New Module System for Prolog.	Computational Logic	2000	DBLP DOI BibTeX RDF	modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation
20	Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr.	The use of carry-save representation in joint module selection and retiming.	DAC	2000	DBLP DOI BibTeX RDF
20	Peng Yin Choo, Abram Detofsky, Ahmed Louri	The Equivalency Processing Parallel Photonic Integrated Circuit (EP3IC), a Parallel Digital Equivalence Search Module.	AIPR	2000	DBLP DOI BibTeX RDF
20	Bao-Liang Lu, Masami Ito	Task decomposition and module combination based on class relations: a modular neural network for pattern classification.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
20	Markus Wolf 0001, Ulrich Kleine	Application independent module generation in analog layouts.	ED&TC	1997	DBLP DOI BibTeX RDF
20	Judicaël Courant	An Applicative Module Calculus.	TAPSOFT	1997	DBLP DOI BibTeX RDF
20	Witold Kosinski, Martyna Weigl	Expert system with an adaptive fuzzy inference module.	KES (2)	1997	DBLP DOI BibTeX RDF
20	Shashidhar Thakur, D. F. Wong 0001	Series-parallel functions and FPGA logic module design.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	series-parallel technology mapping, tree-based technology mapping algorithm, universal logic modules, field programmable gate arrays
20	Savi Maharaj, Elsa L. Gunter	Studying the ML Module System in Hol.	TPHOLs	1994	DBLP DOI BibTeX RDF
20	Sophie Billet-Coat, Danièle Hérin-Aime	A Multi-Agent Architecture for an Evolving Expert System Module.	DEXA	1994	DBLP DOI BibTeX RDF
20	Gia-Shuh Jang, Feipei Lai, Bor-Wei Jiang, Tai-Ming Parng, Li-Hua Chien	Intelligent stock trading system with price trend prediction and reversal recognition using dual-module neural networks.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Neural networks, prediction, stock trading
20	Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs	On the Relationship Between Algebraic Module Specifications and Program Modules.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
20	Roland Dietrich	A Preprocessor Based Module System for Prolog.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
20	Daniel Hoffman, C. Brealey	Module Test Case Generation.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
20	I. Vandeweerd, Kris Croes, Luc Rijnders, Paul Six, Hugo De Man	REDUSA: Module Generation by Automatic Elimination of Superfluous Blocks in Regular Structures.	DAC	1989	DBLP DOI BibTeX RDF
20	Yin-min Wei, Edgar Howell	What is the proper size of a program module? (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
20	Francesco Parisi-Presicce	Partial Composition and Recursion of Module Specifications.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
20	Francesco Parisi-Presicce	Inner and Mutual Compatibility of Basic Operations on Module Specifications.	CAAP	1986	DBLP DOI BibTeX RDF
19	Feng Feng 0003, Young Bae Jun	Inductive semimodules and the vector modules over them.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Semimodule, Inductive *-semiring, Kleene module, Inductive semimodule, Linear inequation system, Semiring, Kleene algebra
19	Maria Grzegorek	Towards an Exploration of GCA Ordered Pixels.	Computer Recognition Systems 2	2008	DBLP DOI BibTeX RDF	gradient module, Grade Correspondence Analysis, Image, gray level
19	Ziyao Xu, Yeping He, Lingli Deng	An Integrity Assurance Mechanism for Run-Time Programs.	Inscrypt	2008	DBLP DOI BibTeX RDF	Integrity Assurance, Virtual Trusted Platform Module, Trusted Computing, Virtual Machine Monitor
19	Paul Kaufmann, Marco Platzner	Advanced techniques for the creation and propagation of modules in cartesian genetic programming.	GECCO	2008	DBLP DOI BibTeX RDF	automatically defined functions (adfs), cartesian genetic programming (cgp), embedded cartesian genetic programming (ecgp), crossover operator, module acquisition
19	Tianmiao Wang, Xusheng Lei, Wusheng Chou	The Development of Robot Technology in China.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	robot for professional use, robot for domestic use, Industrial robot, function module
19	Sang-Hyun Park, Hoon Choi, Sang-Han Lee, Taejoo Chang	The High-Speed Packet Cipher System Suitable for Small Sized Data.	IWSEC	2006	DBLP DOI BibTeX RDF	Packet Cipher, SoC(System on Chip), Cryptographic module, Security API
19	Daniel Arias, Manuel Ladra	Central Extensions of Precrossed Modules.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	central extension, precrossed module, cohomology, Galois theory
19	Ali Ahmadinia, Christophe Bobda, Sándor P. Fekete, Jürgen Teich, Jan van der Veen	Optimal Routing-Conscious Dynamic Placement for Reconfigurable Devices.	FPL	2004	DBLP DOI BibTeX RDF	field-programable gate array (FPGA), occupied space manager (OSM), routing-conscious placement, Manhattan metric, line sweep technique, optimal running time, lower bounds, Reconfigurable computing, module placement
19	A. R. Grandjeán, M. P. López	H2q(T, G, delta) and q-perfect Crossed Modules.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	perfect crossed module, universal central extension, non-abelian tensor product, homology modulo q
19	Helmut Röhrl	Convexity Theories VII. Discrete Gamma-Convex Modules.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	discrete -convex module, join semilattice, Klein-Hilbert relation
19	Dominic Duggan	Type-Based Hot Swapping of Running Modules.	ICFP	2001	DBLP DOI BibTeX RDF	module interconnection languages, dynamic typing, shared libraries, hot swapping
19	Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge	Deriving Software Specifications from Event Based Models.	ZB	2000	DBLP DOI BibTeX RDF	System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
19	Taghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom	Modeling software quality: the Software Measurement Analysis and Reliability Toolkit.	ICTAI	2000	DBLP DOI BibTeX RDF	Software Measurement Analysis and Reliability Toolkit, reliability enhancement activities, high risk modules, automated reasoning processes, CBR systems, CBR classification, module-order models, rank-order, military command control and communications, software developers, software tools, software quality, software metrics, software reliability, cluster analysis, case-based reasoning, case based reasoning, software performance evaluation, software product, life cycle, software quality modeling, software quality models, fault predictions, process metrics, SMART, fault prone modules, quality factor, classification models, command and control systems, research tool
19	Xiaobing Zhang, Shyhtsun Felix Wu, Zhi Fu, Tsung-Li Wu	Malicious Packet Dropping: How It Might Impact the TCP Performance and How We Can Detect It.	ICNP	2000	DBLP DOI BibTeX RDF	malicious packet dropping, dropping attack, severe damage, Internet environment, statistical analysis module, session delay, Internet, statistical analysis, transport protocols, packet switching, position, router, TCP performance, telecommunication security, hacker, detection performance, packet reorderings, denial of service attacks
19	Pil Joong Lee, Eun Jeong Lee, Yong Duk Kim	How to Implement Cost-Effective and Secure Public Key Cryptosystems.	CHES	1999	DBLP DOI BibTeX RDF	Secure module in terminal, digital signature/identification, smart cards, public-key cryptosystem, precomputation
19	Marcos Luiz Mucheroni, Célio Estevan Morón, José Hiroki Saito	ArchMDSP: using DSPs for parallel image processing.	EUROMICRO	1997	DBLP DOI BibTeX RDF	ArchMDSP, image mapping, real-time problems, fault-tolerant problems, sub-image distribution available, Sun SparcStation, Sbus, multiple-module carrier card, TMS320C40 processors, timing measurements, 8 Mbyte, parallel architecture, parallel machines, parallel machine, speedup, operators, digital signal processors, communication overhead, parallel programming environment, image size, pipeline structure, parallel image processing
19	Sing Bing Kang, Katsushi Ikeuchi	A Robot System that Observes and Replicates Grasping Tasks.	ICCV	1995	DBLP DOI BibTeX RDF	grasping tasks replication, grasp synthesis, robot task planning, observation system, grasping task recognition module, task translator, active multibaseline stereo system, dataglove, complimentary sensory data, PUMA 560 arm, Utah/MIT hand, computational complexity, complexity, data stream, mobile robots, path planning, path planning, automatic programming, robot system, robot programming, object motion
19	Manjit Borah, Mary Jane Irwin, Robert Michael Owens	Minimizing power consumption of static CMOS circuits by transistor sizing and input reordering.	VLSI Design	1995	DBLP DOI BibTeX RDF	power consumption minimisation, static CMOS circuits, input reordering, high fan-out gates, power constrained module generator, PowerSizer, logic CAD, circuit layout CAD, CMOS logic circuits, logic circuits, minimisation, arithmetic circuits, circuit optimisation, integrated circuit layout, transistor sizing
19	Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia	A Decompositional Approach to the Design of Parallel Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	complete computer programs, decompositional approach, parallel program design, parallel implementation correctness, module specifications, frequently occurring control structures, subprograms, property refinement procedure, sequential composition, UNITY logic, UC programming language, diffusion aggregation, fluid flow simulations, formal specification, parallel programming, program verification, digital simulation, diffusion, iteration, physics computing, program control structures, program specifications, flow simulation
19	Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi	Modeling Correlation in Software Recovery Blocks.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software recovery blocks, software fault-tolerance technique, successive acceptance tests, correct module outputs, pairwise correlation, beta-binomial density, Stochastic Reward Network, Stochastic Petri Net Package, SPNP, Petri nets, fault tolerant computing, software reliability, software reliability, statistical analysis, correlation, Markov models, stochastic modeling, system recovery, stochastic Petri nets, recovery blocks, functional specification
19	Douglas E. Harms, Bruce W. Weide	Copying and Swapping: Influences on the Design of Reusable Software Components.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	data movement primitive, generic reusable software components, generic module designs, swapping style, data structures, software reusability
19	L. J. Chmura, Anthony F. Norcio, T. J. Wicinski	Evaluating Software Design Processes by Analyzing Change Data Over Time.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	software design processes evaluation, early design and code change data, software cost reduction, error-correction effort, stepwise growth, module interface updates, software engineering
19	Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin	On Distributing JASMIN's Optimistic Multiversioning Page Manager.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	optimistic multiversioning page manager, functionally distributed database system, multiple microcomputers, page manager, transaction-management facilities, multiversioning concurrency control scheme, conflict checking, real-time database applications, telephone switching, routing services, centralized database, JASMIN intelligent store module, system implementation techniques, process structure, fast response time, data structures, data structures, synchronization, distributed databases, concurrency control, message passing, transaction processing, software packages, high throughput, microcomputer applications, read-only transactions, software modules
19	Herman Lam, Stanley Y. W. Su, Nageshwar R. Koganti	A Physical Database Design Evaluation System for CODASYL Databases.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	network data model, physical database design evaluation system, CODASYL databases, interactive design tool, transaction analyzer, core module, processing requirements, logical transactions, physical transaction, cost formulas, multiple record types, UCSD Pascal, IBM computers, user interface, user interfaces, software tools, software tools, DBMS, database management systems, program testing, analytical models, file organisation, file organisation, IBM PC
19	Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra	Introduction to Part I.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
19	Shun Nishide, Tatsuhiro Nakagawa, Tetsuya Ogata, Jun Tani, Toru Takahashi 0001, Hiroshi G. Okuno	Modeling tool-body assimilation using second-order Recurrent Neural Network.	IROS	2009	DBLP DOI BibTeX RDF
19	Yulin Qin	Some Web Intelligence Oriented Brain Informatics Studies.	Brain Informatics	2009	DBLP DOI BibTeX RDF
19	Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner	Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
19	Michael A. Bender, Sándor P. Fekete, Tom Kamphans, Nils Schweer	Maintaining Arrays of Contiguous Objects.	FCT	2009	DBLP DOI BibTeX RDF
19	Sriram Sambamurthy, Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham	Functionally valid gate-level peak power estimation for processors.	ISQED	2009	DBLP DOI BibTeX RDF
19	Xun Liang 0001, Rong-Chang Chen, Jian Yang	An architecture-adaptive neural network online control system.	Neural Comput. Appl.	2008	DBLP DOI BibTeX RDF	Hidden neurons, Control system, Pruning, Orthogonal projection
19	Wen Ding, Qing Wu, Weihua Hu, Zhiling Hu, Hongbiao Xie	A Linux-based Development and Application of Automatic Test System.	ICYCS	2008	DBLP DOI BibTeX RDF
19	Li Zheng, Yintao Liu, Jing Wang, Fang Yang	Multiple Standards Compatible Learning Resource Management.	ICALT	2008	DBLP DOI BibTeX RDF
19	Dries Schellekens, Pim Tuyls, Bart Preneel	Embedded Trusted Computing with Authenticated Non-volatile Memory.	TRUST	2008	DBLP DOI BibTeX RDF
19	Hongfu Zhou	DC Servo System Design Based on Fuzzy Control with DSP.	ICNSC	2008	DBLP DOI BibTeX RDF
19	M. Todd, Stephen D. J. McArthur, James R. McDonald, S. J. Shaw	A Semiautomatic Approach to Deriving Turbine Generator Diagnostic Knowledge.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
19	Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe, Teresa Mroczek	Deriving Belief Networks and Belief Rules from Data: A Progress Report.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	belief rules, BeliefSEEKER, belief networks
19	Rashad Sharaf, Mahmoud Reda Taha, Mohammed Tarbouchi, Aboelmagd Noureldin	Merits and limitations of using fuzzy inference system for temporal integration of INS/GPS in vehicular navigation.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Data fusion, Fuzzy systems, Positioning systems, Inertial navigation
19	Dan Feng 0001, Lanxiang Chen, Lingfang Zeng, Zhongying Niu	FPGA/ASIC based Cryptographic Object Store System.	IAS	2007	DBLP DOI BibTeX RDF
19	Rafal Leszczyna	Anonymity Architecture for Mobile Agent Systems.	HoloMAS	2007	DBLP DOI BibTeX RDF
19	Makoto Ishitsuka, Kazuo Ishii	Modularity development and control of an underwater manipulator for AUV.	IROS	2007	DBLP DOI BibTeX RDF
19	Nathan Woods	Integrating FPGAs in high-performance computing: the architecture and implementation perspective.	FPGA	2007	DBLP DOI BibTeX RDF	compute acceleration, high-performance computinghigh-performance computing, reconfigurable computing, co-processor
19	Heetaek Ceong, Kyehwa Park, Sungju Jung	Computer Simulation Framework for Flatfish Aquaculture.	FBIT	2007	DBLP DOI BibTeX RDF
19	Jin-Yi Wu, Jenn-Jier James Lien	Using the Orthographic Projection Model to Approximate the Perspective Projection Model for 3D Facial Reconstruction.	PSIVT	2007	DBLP DOI BibTeX RDF	orthographic projection and perspective projection, 3D reconstruction, factorization
19	Ching-Ting Tu, Jenn-Jier James Lien	Facial Occlusion Reconstruction: Recovering Both the Global Structure and the Local Detailed Texture Components.	PSIVT	2007	DBLP DOI BibTeX RDF	Facial reconstruction, facial synthesis, facial occlusion, eigenspace
19	Michael D. Kane, John A. Springer	Integrating bioinformatics, distributed data management, and distributed computing for applied training in high performance computing.	SIGITE Conference	2007	DBLP DOI BibTeX RDF
19	Vyas Krishnan, Srinivas Katkoori	A genetic algorithm for the design space exploration of datapaths during high-level synthesis.	IEEE Trans. Evol. Comput.	2006	DBLP DOI BibTeX RDF
19	Jianxin Wang 0001, Ying An, Yu Sheng, Shaohua Li 0006	IDSVL: Intrusion Detection System Virtual Lab Based on Component in the Internet.	ICWL	2006	DBLP DOI BibTeX RDF	intrusion detection system, Java applet, virtual lab, Java bean
19	Bogdan Moisuc, Jérôme Gensel, Paule-Annick Davoine, Hervé Martin	Designing Adaptive Spatio-temporal Information Systems for Natural Hazard Risks with ASTIS.	W2GIS	2006	DBLP DOI BibTeX RDF
19	Zhen Sun, Ee-Peng Lim	INEXT: An Investigative Search Tool for Knowledge Extraction.	WISI	2006	DBLP DOI BibTeX RDF	knowledge extraction, Document ranking
19	You-Heng Hu, Linlin Ge	The University of New South Wales at GeoCLEF 2006.	CLEF	2006	DBLP DOI BibTeX RDF	geographic knowledge base, geo-textual indexing, Genetic Programming, Geographic Information Retrieval
19	Jason Yao-Tsung Tsai, James Jenn-Jier Lien	Efficient Object Segmentation Using Digital Matting for MPEG Video Sequences.	ACCV (2)	2006	DBLP DOI BibTeX RDF
19	Ilse Ravyse, Dongmei Jiang, Xiaoyue Jiang, Guoyun Lv, Yunshu Hou, Hichem Sahli, Rongchun Zhao	DBN Based Models for Audio-Visual Speech Analysis and Recognition.	PCM	2006	DBLP DOI BibTeX RDF
19	Susan Bergin, Ronan Reilly	Programming: factors that influence success.	SIGCSE	2005	DBLP DOI BibTeX RDF	programming, CS1, predictors
19	Preeti Bajaj, A. Dalavi, Sushant Dubey, Mrinal Mouza, Shalabh Batra, Sarika Bhojwani	Soft Computing Based Real-Time Traffic Sign Recognition: A Design Approach.	KES (1)	2005	DBLP DOI BibTeX RDF
19	Yan Ha, Hea-Sook Park, Soon-Mi Lee, Young-Whan Park, Youngshin Han	Design and Implementation of SMS Security System for Wireless Environment.	KES (2)	2005	DBLP DOI BibTeX RDF
19	Jung-Hyun Kim 0006, Dong-Gyu Kim, Jeong-Hoon Shin, Sang-Won Lee 0001, Kwang-Seok Hong	Hand Gesture Recognition System Using Fuzzy Algorithm and RDBMS for Post PC.	FSKD (2)	2005	DBLP DOI BibTeX RDF
19	David González Ortega, Francisco Javier Díaz Pernas, José Fernando Díez Higuera, Mario Martínez-Zarzuela, Daniel Boto-Giralda	Computer Vision Architecture for Real-Time Face and Hand Detection and Tracking.	VISUAL	2005	DBLP DOI BibTeX RDF
19	HyunRyong Lee, JongWon Kim 0001	A Proxy-Based Distributed Approach for Reliable Content Sharing Among UPnP-Enabled Home Networks.	PCM (1)	2005	DBLP DOI BibTeX RDF
19	Satyanadh Gundimada, Vijayan K. Asari	Adaptive Confidence Level Assignment to Segmented Human Face Regions for Improved Face Recognition.	AIPR	2005	DBLP DOI BibTeX RDF
19	Stéphane Lecoeuche, Christophe Lurette, Sylvain Lalot	New supervision architecture based on on-line modelling of non-stationary data.	Neural Comput. Appl.	2004	DBLP DOI BibTeX RDF	Non-stationary data, Monitoring, Unsupervised learning, Diagnostic, Dynamical classification, Auto-adaptation
19	Lauren L. Rose	Graphs, Syzygies, and Multivariate Splines.	Discret. Comput. Geom.	2004	DBLP DOI BibTeX RDF
19	Maurice Chu, Patrick Cheung, James Reich	Distributed attention.	SenSys	2004	DBLP DOI BibTeX RDF	sensor network, distributed algorithm, resource allocation, attention, programming model, information architecture, factor graph
19	Zhao Yu, Xiu Li 0001, Lei Lin, Wenhuang Liu, Shouju Ren	A blackboard-based multi-agent distributed QFD system.	SMC (6)	2004	DBLP DOI BibTeX RDF
19	Rajeev Alur, Salvatore La Torre, P. Madhusudan	Modular Strategies for Recursive Game Graphs.	TACAS	2003	DBLP DOI BibTeX RDF
19	Soo-Cheol Oh, Sang-Hwa Chung, Hankook Jang	Design and Implementation of CC-NUMA Card II for SCI-Based PC Clustering.	CLUSTER	2002	DBLP DOI BibTeX RDF
19	Spyros Vrettos, Andreas Stafylopatis	A Fuzzy Rule-Based Agent for Web Retrieval-Filtering.	Web Intelligence	2001	DBLP DOI BibTeX RDF	Approximate Retrieval, Web-Based Learning Systems, Learning User Profiles, Information Filtering
19	Todd L. Graves, Alan F. Karr, J. S. Marron, Harvey P. Siy	Predicting Fault Incidence Using Software Change History.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Fault potential, code decay, change management data, metrics, statistical analysis, generalized linear models
19	Elena Machkasova, Franklyn A. Turbak	A Calculus for Link-Time Compilation.	ESOP	2000	DBLP DOI BibTeX RDF
19	Joerg Abke, Erich Barke	CoMGen: Direct Mapping of Arbitrary Components into LUT-Based FPGAs.	FPL	2000	DBLP DOI BibTeX RDF
19	Keiichiro Kagawa, Kouichi Nitta, Yusuke Ogura, Jun Tanida, Yoshiki Ichioka	Architecture Description and Prototype Demonstration of Optoelectronic Parallel-Matching Architecture.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
19	Boaz Barak, Amir Herzberg, Dalit Naor, Eldad Shai	The Proactive Security Toolkit and Applications.	CCS	1999	DBLP DOI BibTeX RDF
19	Frank Drewes, Peter Knirsch 0001, Hans-Jörg Kreowski, Sabine Kuske	Graph Transformation Modules and Their Composition.	AGTIVE	1999	DBLP DOI BibTeX RDF
19	Mario Hernández, Jorge Cabrera 0001, Antonio C. Domínguez, Modesto Castrillón Santana, Cayetano Guerra, Daniel Hernández-Sosa, Josep Isern	DESEO: An Active Vision System for Detection, Tracking and Recognition.	ICVS	1999	DBLP DOI BibTeX RDF
19	Rajeev Alur, Thomas A. Henzinger	Modularity for Timed and Hybrid Systems.	CONCUR	1997	DBLP DOI BibTeX RDF
19	Sébastien Diana, Éric Trupin, F. Jouzel, Yves Lecourtier, Jacques Labiche	From Acquisition to Modelisation of a Form Base to Retrieve Information.	ICDAR	1997	DBLP DOI BibTeX RDF	feature extraction, image analysis, Forms
19	Jia Liang Han	Program Partition and Logic Program Analysis.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	logic programming, query optimization, program verifications, deductive databases, semantic analysis, Declarative programming, program partitions
19	Isambo Karali, Constantin Halatsis	A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics.	TAPSOFT	1995	DBLP DOI BibTeX RDF
19	Marnix C. M. Weusten	Validation: The Key Concept in Maintenance of Legal KBS.	ICAIL	1993	DBLP DOI BibTeX RDF
19	Horst Hansen, Michael Löwe	Modular Algebraic Specifications.	ALP	1988	DBLP DOI BibTeX RDF
17	Yuantao Chen, Runlong Xia, Kai Yang 0010, Ke Zou	MFMAM: Image inpainting via multi-scale feature module with attention module.	Comput. Vis. Image Underst.	2024	DBLP DOI BibTeX RDF
17	Ka Man Lo, Yiming Liang, Wenyu Du, Yuantao Fan, Zili Wang, Wenhao Huang, Lei Ma 0008, Jie Fu	m2mKD: Module-to-Module Knowledge Distillation for Modular Transformers.	CoRR	2024	DBLP DOI BibTeX RDF