Search results for "module"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Sule Yildirim, Gregory L. Dam, James C. Houk	The mind agents in Netlogo 3.1.	SpringSim (2)	2007	DBLP BibTeX RDF	computational microscopic module, distributed processing modules, mind agents
16	Ying Huang, Chunyuan Zhang, Dong Liu 0022, Yi Li, Sheng-xin Weng	The Design on SEU-Tolerant Information Processing System of the On-Board-Computer.	APPT	2007	DBLP DOI BibTeX RDF	Dual Fault-Tolerant, Triple Module Redundancy, Cost-Off-The-Shelf, Field Programmable Gate Array, Single-Event-Upsets
16	Soheil Aminzadeh, Saeed Safari	Co-evolutionary high-level test synthesis.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	co-evolutionary algorithm, module binding, genetic algorithm, scheduling, register allocation, high-level test synthesis
16	Musa Alci	New dynamic fuzzy structure and dynamic system identification.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Dynamic fuzzy module (DFM), Non-linear dynamic system, System identification
16	Sam Tobin-Hochstadt, Matthias Felleisen	Interlanguage migration: from scripts to programs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	interlanguage migration, contract, ?-calculus, module systems
16	Kristinn R. Thórisson	Modeling Multimodal Communication as a Complex System.	ZiF Workshop	2006	DBLP DOI BibTeX RDF	Multimodal realtime communication, complex natural system, heterogeneous large system, abstract module, theory of dialogue, computational model
16	Pierre-Malo Deniélou, James J. Leifer	Abstraction preservation and subtyping in distributed languages.	ICFP	2006	DBLP DOI BibTeX RDF	serialisation and distributed computation, subtyping, type theory, programming language semantics, module systems
16	Scott Owens, Matthew Flatt	From structures and functors to modules and units.	ICFP	2006	DBLP DOI BibTeX RDF	component, structure, module, unit, functor
16	Robert Grimm 0001	Better extensibility through modular syntax.	PLDI	2006	DBLP DOI BibTeX RDF	extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system
16	Naofumi Homma, Sei Nagashima, Yuichi Imai, Takafumi Aoki, Akashi Satoh	High-Resolution Side-Channel Attack Using Phase-Based Waveform Matching.	CHES	2006	DBLP DOI BibTeX RDF	cryptographic module, waveform matching, phase-only correlation, side-channel attacks, DPA, DEMA
16	Keigo Watanabe, Kiyotaka Izumi, Junnosuke Maki, Katsuharu Fujimoto	A Fuzzy Behavior-Based Control for Mobile Robots Using Adaptive Fusion Units.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	behavioral fusion, module learning, sensor information, s, genetic algorithm, fuzzy control, behavior-based control, nonholonomic mobile robots
16	Gavin J. Seal	Cartesian Closed Topological Categories and Tensor Products.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	monoidal closed category, topological category, R-module object, tensor product, Cartesian closed category
16	Masanori Hariyama, Tetsuya Aoyama, Michitaka Kameyama	Genetic Approach to Minimizing Energy Consumption of VLSI Processors Using Multiple Supply Voltages.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	data-path design, scheduling, Automatic synthesis, module selection
16	David M. Lewis, Elias Ahmed, Gregg Baeckler, Vaughn Betz, Mark Bourgeault, David Cashman, David R. Galloway, Mike Hutton, Christopher Lane, Andy Lee, Paul Leventis, Sandy Marquardt, Cameron McClintock, Ketan Padalia, Bruce Pedersen, Giles Powell, Boris Ratchev, Srinivas Reddy, Jay Schleicher, Kevin Stevens, Richard Yuan, Richard Cliff, Jonathan Rose	The Stratix II logic and routing architecture.	FPGA	2005	DBLP DOI BibTeX RDF	logic module, FPGA, routing
16	Hammad Majeed	A new approach to evaluate GP schema in context.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	tree semantics, schema theory, module acquisition
16	Tom Lada	Linfinity Algebra Representations.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	L algebra, L module
16	Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita	Universal Delay-Insensitive Circuits with Bidirectional and Buffering Lines.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	bidirectional buffering lines, module, Asynchronous systems, universality, delay-insensitive circuits
16	Deo Prakash Vidyarthi, Anil Kumar Tripathi, Biplab Kumer Sarker, Abhishek Dhawan, Laurence Tianruo Yang	Cluster-Based Multiple Task Allocation in Distributed Computing System.	IPDPS	2004	DBLP DOI BibTeX RDF	InterProcessor Distance, Heterogeneous DCS, Inter-Module communication, Load, Task partitioning
16	Jon A. Sjogren	Principal Rings and their Invariant Factors.	Appl. Algebra Eng. Commun. Comput.	2003	DBLP DOI BibTeX RDF	Bézoutian ring, Module capacity, Smith canonical form, Distributive semi-group lattice, Invariant basis property
16	Yi-Bing Lin, Ming-Feng Chen, Herman Chung-Hwa Rao	Potential Fraudulent Usage in Mobile Telecommunications Networks.	IEEE Trans. Mob. Comput.	2002	DBLP DOI BibTeX RDF	Fraudulent usage, subscriber identity module (SIM), mobile network, Universal Mobile Telecommunication System (UMTS), mobility management, GSM
16	Robert Pollack	Dependently Typed Records in Type Theory.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Inductive-recursive, Manifest types, Signature, Module, Sharing, Dependent types, Pebble
16	Ines Grützner, Niniek Angkasaputra, Dietmar Pfahl	A systematic approach to produce small courseware modules for combined learning and knowledge management environements.	SEKE	2002	DBLP DOI BibTeX RDF	courseware module production, knowledge packaging, CSCL
16	Iwan M. Duursma, Carlos Rentería-Márquez, Horacio Tapia-Recillas	Reed-Muller Codes on Complete Intersections.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Complete intersection, Hilbert polynomial, Vanishing ideal, a -invariant of an ideal, Graded finite free resolution, Canonical module, Reed-Muller code
16	Hiroshi Hosobe	A modular geometric constraint solver for user interface applications.	UIST	2001	DBLP DOI BibTeX RDF	module mechanisms, geometric constraints, graph layouts, soft constraints, constraint solvers
16	D. Pumplün, Helmut Röhrl	Convexity Theories V: Extensions of Absolutely and Totally Convex Modules.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	absolutely, totally convex module, coextension, (co-) product, direct sum, extension
16	Stephen A. Blythe, Robert A. Walker 0001	Efficient optimal design space characterization methodologies.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	clock-length determination, efficient searching, scheduling, high-level synthesis, design space exploration, bounding, module selection
16	Günther Specht, Thomas Kahabka	Information Filtering and Personalization in Databases Using Gaussian Curves.	IDEAS	2000	DBLP DOI BibTeX RDF	Gaussian curves, adaptive personalisation algorithm, arbitrary information systems, GRAS algorithm, Gaussian Rating Adaptation Scheme, retrieved document sorting, personal interests, personal relevance, user numbers, background information, feedback techniques, user profile adaptation, object profile adaptation, profile maturity, MultiMAP multimedia database, generic personalisation provider module, databases, collaborative filtering, information filtering, content-based filtering, information retrieval systems, multimedia data, content structure
16	Yiorgos Makris, Jamison Collins, Alex Orailoglu	Fast hierarchical test path construction for DFT-free controller-datapath circuits.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	fast hierarchical test path construction, DFT-free controller-datapath circuits, transparency based scheme, locally generated vectors, global design test, influence tables, valid control state sequences, module testing, fault coverage levels, vector counts, logic testing, test generation, automatic test pattern generation, ATPG, computational cost reduction
16	Luiz Antônio Pereira Neves, Jacques Facon	Methodology of Automatic Extraction of Table-Form Cells.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	table-form cells, active cells, line intersection recognition, correction module mechanisms, error detection/correction, intersection identification phase, form bases, document image processing, automatic extraction
16	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
16	Jean-François Pommaret, Alban Quadrat	Generalized Bezout Identity.	Appl. Algebra Eng. Commun. Comput.	1998	DBLP DOI BibTeX RDF	Generalized Bezout identity, Janet sequence, Formal integrability, Commutative algebra, Controllability, Parametrization, D -module
16	Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha	IMPACT: A High-Level Synthesis System for Low Power Control-Flow Intensive Circuits.	DATE	1998	DBLP DOI BibTeX RDF	multiplexer re-structuring, low power, high-level synthesis, resource sharing, control-flow, module selection
16	Lennart Augustsson	Cayenne - a Language with Dependent Types.	ICFP	1998	DBLP DOI BibTeX RDF	type systems, language design, dependent types, module systems
16	Ken Posse	A Formalization of the IEEE 1149.1-1990 Diagnostic Methodology as Applied to Multichip Modules.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	fault diagnosis, Boundary-Scan, Multichip Module, MCM, interconnect testing, manufacturing defects
16	Ethan Scarl, Kurt McCall	Model-based diagnosis in a power distribution testbed.	ECBS	1997	DBLP DOI BibTeX RDF	ro/spl delta/on model-based diagnosis shell, breadboard testbed, diagnostic algorithm, Space Station Module, software testbed, hardware testbed, Marshall Space Flight Center, expert system, power management, diagnostic expert systems, power distribution system, constraint-based modeling
16	Anthony M. Sloane	Generating Dynamic Program Analysis Tools.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure
16	I. Rabinovitch, Anastasios N. Venetsanopoulos	High Quality Image Compression Using the Wavelet Transform.	ICIP (1)	1997	DBLP DOI BibTeX RDF	high quality image compression, nonzero coefficients, HVS based processing module, performance, wavelet transform, data compression, human visual system, compression ratios, wavelet filter
16	Andreas Polzer, Hansjörg Klock, Joachim M. Buhmann	Video coding by region-based motion compensation and spatio-temporal wavelet transform.	ICIP (3)	1997	DBLP DOI BibTeX RDF	region-based motion compensation, spatio-temporal wavelet transform, low bit-rate video compression, region-based motion estimation, wavelet transform coding, motion segmentation module, mean field techniques, parameter estimation, video coding, video coding, EM algorithm, maximum likelihood estimation, expectation-maximization algorithm
16	Hans-Peter Eich, Christian Ohmann, Konrad Lang	Decision support in acute abdominal pain using an expert system for different knowledge bases.	CBMS	1997	DBLP DOI BibTeX RDF	acute abdominal pain, documentation program, medical data dictionary, knowledge modules, clinical data, automatic rule generation, diagnostic scores, general knowledge module, knowledge-based system, decision support systems, decision support system, expert system, knowledge bases, rule sets
16	Claudia I. Horta, José A. Lima	Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans.	EUROMICRO	1997	DBLP DOI BibTeX RDF	floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning
16	Herbert Dawid, Klaus-Jürgen Koch, Johannes Stahl 0004	ADPCM codec: from system level description to versatile HDL model.	ASAP	1997	DBLP DOI BibTeX RDF	differential pulse code modulation, ADPCM codec, system level description, versatile HDL model, architectural design exploration, fast system simulation, adaptive differential pulse code modulation codec module, power analysis, design verification, behavioral synthesis, design reuse, system complexity, design constraints
16	Matthew B. Dwyer	Modular Flow Analysis for Concurrent Software.	ASE	1997	DBLP DOI BibTeX RDF	modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming
16	Ajay Khoche, Erik Brunvand	Critical hazard free test generation for asynchronous circuits.	VTS	1997	DBLP DOI BibTeX RDF	self-timed control circuits, critical hazard-free tests, six-valued algebra, macro-module library, partial scan based DFT environment, unbounded delay model, asynchronous circuits, asynchronous circuits, D-algorithm
16	Michael Siff, Thomas W. Reps	Identifying modules via concept analysis.	ICSM	1997	DBLP DOI BibTeX RDF	program module identification, object similarity identification, algorithmic framework, concept lattice, subroutines, concept analysis, lattice theory, legacy code, positive information, object attributes, negative information
16	T. Mitchem, R. Lu, R. O'Brian	Using Kernel Hypervisors to Secure Applications.	ACSAC	1997	DBLP DOI BibTeX RDF	kernel hypervisors, secure applications, selective control, loadable module, unbypassable security wrappers, application specific security requirements, client kernel hypervisors, application specific policies, loadable modules, user systems, malicious active content, wrapping servers, firewall services, Web browser, operating system kernels, Linux kernel, COTS components, replication services
16	Housem Miled, Christian Olivier, Mohamed Cheriet, Yves Lecourtier	Coupling observation/letter for a Markovian modelisation applied to the recognition of Arabic handwriting.	ICDAR	1997	DBLP DOI BibTeX RDF	observation/letter coupling, Markovian modelisation, Arabic handwriting recognition, perfect segmentation method, hidden Markovian models, segmentation module, Tunisian state names, handwriting recognition, defaults, graphemes
16	Jaakko J. Sauvola, Sami Haapakoski, Hannu Kauniskangas, Tapio Seppänen, Matti Pietikäinen, David S. Doermann	A distributed management system for testing document image analysis algorithms.	ICDAR	1997	DBLP DOI BibTeX RDF	distributed management system, document image analysis algorithm testing, document understanding application, custom test case creation, test management module, Java, C++, graphical user interfaces, object-oriented databases, systems architecture, document image processing, test cases, document images, document categorization, platform independent, degradation models
16	John T. Favata	General word recognition using approximate segment-string matching.	ICDAR	1997	DBLP DOI BibTeX RDF	isolated off-line general word recognition, approximate stroke-segment/string matching algorithm, OCR estimates, character sequence, lexicon words, document noise, poor handwriting, lexicon errors, recognition failure, segment-to-string matching algorithm, system errors, post-processing module, degraded document recognition, character model word recognizer, CMWR algorithm, optical character recognition, text recognition, cursive script recognition, BEAM search, image degradation
16	Byungho Kim, Boseob Kwon, Hyunsoo Yoon, Seungryul Maeng, Jung Wan Cho	Performance Analysis of Multipath Multistage Interconnection Networks with Nonuniform Output Traffic Distribution.	PDP	1996	DBLP DOI BibTeX RDF	buffer circuits, multipath multistage interconnection networks, nonuniform output traffic distribution, delay-throughput performance, packet arrival rates, output module., performance evaluation, performance analysis, delays, probability, packet switching, multistage interconnection networks, telecommunication traffic, packet delay, losses, output buffers, packet loss probability
16	Basem A. Nayfeh, Kunle Olukotun, Jaswinder Pal Singh	The Impact of Shared-Cache Clustering in Small-Scale Shared-Memory Multiprocessors.	HPCA	1996	DBLP DOI BibTeX RDF	shared-cache clustering, small-scale shared-memory multiprocessors, shared global bus, low-latency interconnections, performance evaluation, shared memory systems, cache storage, memory system, multichip module, L2 cache, processor performance, high-bandwidth, bus contention
16	Li-Ren Huang, Jing-Yang Jou, Sy-Yen Kuo, Wen-Bin Liao	Easily Testable Data Path Allocation Using Input/Output Registers.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	testable data path allocation, behavioral synthesis systems, input/output registers, interconnection allocation, module allocation, higher fault coverage, lower hardware overhead, improved testability, VLSI synthesis, optimization, algorithms, benchmarks, ATPG, DFT, register allocation, circuit optimisation, RTL design
16	Jaswinder Pal Singh, Anshul Kumar, Shashi Kumar	A multiplier generator for Xilinx FPGAs.	VLSI Design	1996	DBLP DOI BibTeX RDF	multiplier generator, Xilinx FPGAs, LUT based FPGA, sequential designs, combinational designs, pipelined designs, IDEAS synthesis system, XC3000 family, XC4000 family, dedicated carry logic, XACT tool, XBLOX tool, field programmable gate arrays, high level synthesis, sequential circuits, combinational circuits, digital arithmetic, logic CAD, pipeline processing, integrated circuit design, circuit CAD, table lookup, multiplying circuits, module generator, carry logic, multiplier designs
16	Luc Robert, Michel Buffa, Martial Hebert	Weakly-Calibrated Stereo Perception for Rover Navigation.	ICCV	1995	DBLP DOI BibTeX RDF	weakly-calibrated stereo perception, stereo perception, rover navigation, weakly calibrated stereo images, relative point elevation, reference plane, vision module, complete navigation system, shape indicator, appropriate steering directions, unstructured outdoor environments, wheeled rover, navigation, mobile robots, calibration, image matching, path planning, stereo image processing, epipolar geometry, robot vision, vision system, computerised navigation, autonomous navigation, point matching, projection images, image rectification
16	Mauro Barni, A. W. Mussa, Alessandro Mecocci, Vito Cappellini, Tariq S. Durrani	An intelligent perception system for food quality inspection using color analysis.	ICIP	1995	DBLP DOI BibTeX RDF	food processing industry, intelligent perception system, food quality inspection, vision based intelligent perception system, chicken meat, RGB images, burns, hematomas, blisters, vision module, anatomic subparts, defect description, reference database, computer vision, image segmentation, image reconstruction, image analysis, mathematical morphology, multilayer perceptrons, image colour analysis, manufacturing systems, automatic optical inspection, morphological reconstruction, color analysis, automated inspection
16	William C. Chu, Hongji Yang	Component Reuse Through Reverse Engineering and Semantic Interface Analysis.	COMPSAC	1995	DBLP DOI BibTeX RDF	Module Interconnection Languages, Reverse Engineering, Software Reuse, Software Integration
16	Wei Zhao, Christos A. Papachristou	Architectural partitioning of control memory for application specific programmable processors.	ICCAD	1995	DBLP DOI BibTeX RDF	application specific programmable processors, control memory, distributed microcode memory model, microcode memory, repetitive microcodes, distributed memory systems, memory architecture, programmability, microprogram, datapaths, firmware, memory module
16	Xiaowei Deng, Takahiro Hanyu, Michitaka Kameyama	Quantum Device Model-Based Super Pass Gate for Multiple-Valued Digital Systems.	ISMVL	1995	DBLP DOI BibTeX RDF	quantum interference devices, MOS logic circuits, quantum device model, super pass gate, multiple-valued digital systems, VLSI devices, super pass transistor, multiple-valued VLSI systems, multiple-signal-level detection, multiple-valued universal logic module, multiple-valued image processing system, NMOS circuit, VLSI, multivalued logic circuits, semiconductor device models
16	Claudio Truzzi, Eric Beyne, Edwin Ringoot, J. Peeters	Signal propagation in high-speed MCM circuits.	ICCD	1995	DBLP DOI BibTeX RDF	thin film circuits, signal propagation, high-speed MCM circuits, thin-film multichip module substrate, timing analyses, lossy interconnection lines, timing, circuit analysis computing, circuit simulations, CMOS integrated circuits, CMOS integrated circuits, multichip modules, receivers, drivers, microsystems, substrates
16	Kai-Yuan Chao, D. F. Wong 0001	Thermal placement for high-performance multichip modules.	ICCD	1995	DBLP DOI BibTeX RDF	thermal placement, high-performance multichip modules, electrical performance requirements, thermal behavior, high-speed chips, multichip module packages, cooling environments, conduction cooling, convection cooling, chip junction temperatures, circuit analysis computing, multichip modules, thermal models, cooling, convection
16	Wolf-Dietrich Ihlenfeldt, Yoshimasa Takahashi, Hidetsugu Abe	Dataflow processing in a global networked context: a solution for the computational methods pool management problem.	HICSS (5)	1995	DBLP DOI BibTeX RDF	dataflow processing, global networked context, computational methods, pool management problem, extensible networked environment, chemical data visualization, flexible data manager, algorithmic module databases, chemical information, programming environments, database management systems, visual programming, data analysis, data analysis, data visualisation, chemistry, data flow computing, chemistry computing, visual programming environment, computational chemistry
16	Michael Sheliga, Edwin Hsing-Mean Sha	Bus minimization and scheduling of multi-chip systems.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	bus minimization, multi-chip module design, scheduling, scheduling, logic CAD, polynomial time algorithm, circuit layout CAD, multichip modules, signal flow graphs, signal flow graphs, algorithm efficiency
16	Sitaran Yadavalli, Irith Pomeranz, Sudhakar M. Reddy	MUSTC-Testing: Multi-Stage-Combinational Test scheduling at the Register-Transfer Level.	VLSI Design	1995	DBLP DOI BibTeX RDF	MUSTC-testing, multi-stage-combinational test, control paths, signal types, module level pre-computed test sets, scheduling, logic testing, integrated circuit testing, combinational circuits, automatic testing, automatic test, register-transfer level, test scheduling, data-paths
16	Puneet Sawhney, Haroon Rasheed	Static RAM generators with automated characterization techniques for a 0.5 micron triple-metal embedded array.	VLSI Design	1995	DBLP DOI BibTeX RDF	static RAM generators, automatic generator characterisation tool, triple-metal embedded array, metallized SRAMs, single-port static RAMs, dual-port static RAMs, user-defined size, 0.5 micron, application specific integrated circuits, integrated circuit design, circuit CAD, aspect ratio, ASIC design, SRAM chips, SRAM chips, module generators
16	Stephen S. Yau, Haiqing Ying	A clustering algorithm for object-oriented development of distributed computing system software.	FTDCS	1995	DBLP DOI BibTeX RDF	distributed computing system software, intermodule communication, module execution, object-oriented programming, distributed processing, modules, clustering algorithm, network operating systems, object-oriented development
16	Gerardo Canfora, Anna Rita Fasolino, Maria Tortorella	Towards reengineering in reuse reengineering processes.	ICSM	1995	DBLP DOI BibTeX RDF	reuse reengineering processes, productivity improvement, reference paradigms, RE/sup 2/ paradigm, election phase, COBOL programs, candidate components, reusable modules, module template, COBOL code components, reverse engineering, reverse engineering, software maintenance, software quality, software quality, software reuse, software reusability, COBOL, systems re-engineering, subroutines, human resource management
16	Wei Lu, Wei Wu, Masao Sakauchi	A drawing recognition system with rule acquisition ability.	ICDAR	1995	DBLP DOI BibTeX RDF	drawing recognition system, rule acquisition ability, empirical learning module, teacher examples, environmental parameters, decision tree generation, CAD, decision trees, knowledge based systems, image recognition, inference mechanisms, learning by example, blackboard architecture, engineering graphics
16	Najoua Essoukri Ben Amara, Noureddine Ellouze	A robust approach for Arabic printed character segmentation.	ICDAR	1995	DBLP DOI BibTeX RDF	Arabic printed character segmentation, segmentation module, Arabic documents, dictionary correction, off-line Arabic printed characters, black segments, task perfect segmentation, hidden Markov models, decision trees, optical character recognition, handwritten characters
16	Magdy S. Abadir, Ashish Parikh, Linda Bal, Peter Sandborn, Cynthia F. Murphy	High Level Test Economics Advisor (Hi-TEA).	J. Electron. Test.	1994	DBLP DOI BibTeX RDF	MCM testing strategies, multichip module, test economics
16	Mateo Valero, Tomás Lang, Eduard Ayguadé	Conflict-free access of vectors with power-of-two strides.	ICS	1992	DBLP DOI BibTeX RDF	multi-module memories, out-of-order access, power-of-two strides, vector processors, conflict-free access, storage schemes
16	Richard A. DeMillo, A. Jefferson Offutt	Constraint-Based Automatic Test Data Generation.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	constraint-based data generation, relative adequacy, fault-based technique, algebraic constraints, Godzilla, module testing, Mothra testing system, computational complexity, program testing, mutation analysis, automatic test data generation
16	Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani	Semi-Automatic Program Construction From Specifications Using Library Modules.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation
16	Marco A. Casanova, António L. Furtado 0001, Luiz Tucherman	A Software Tool for Modular Database Design.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	consistency preservation, logical database design, module constructors, abstract data types, integrity constraints, encapsulation, modular design
16	Alan Wills	Capsules and Types in Fresco: Program Verification in Smalltalk.	ECOOP	1991	DBLP DOI BibTeX RDF	Fresco, Mural, specification, inheritance, Smalltalk, module, subtype, program proof, capsule
16	M. Hakan Erdogmus, Robert Johnston	On the Specification and Synthesis of Communicating Processes.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	objective methodology, state-machine-type process descriptions, common problem, central module, specific distributed system configuration, formal specification, parallel programming, automatic programming, communicating processes, high-level specifications, algebraic operators, behavioral constraints, behavioral constraints
16	David Alex Lamb	Specification of Iterators.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications
16	David M. Nicol	Optimal Partitioning of Random Programs Across two Processors.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	random programs, homogeneous distributed system, expected maximum, maximum expectation, approximation-free proof, module execution time distribution, parallel programming, distributed processing, programming theory, optimal partitioning
16	David Fernández-Baca	Allocating Modules to Processors in a Distributed System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	execution costs, P=NP, polynomial-time epsilon -approximate algorithm, optimum assignment, almost-tree, module allocation problem, distributed system, computational complexity, complexity, graph theory, distributed processing, iteration, polynomial time, planar, bipartite, partial k-tree, local search algorithm, communication graph
16	Lee D. Erman, Jay S. Lark, Frederick Hayes-Roth	ABE: An Environment for Engineering Intelligent Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	multilevel architecture, module-oriented programming, cooperative operating system, knowledge processing tools, skeletal systems, virtual machine, virtual machines, software tools, programming environments, programming environments, intelligent systems, knowledge engineering, knowledge engineering, software reusability, software reusability, operating systems (computers), dataflow, control flow, blackboards, ABE, large-scale applications
16	Michiharu Tsukamoto	Structuring distributed programs with control fault detection.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF	control fault detection, master and slave, mutual-checking, reliable software, communication, distributed computation, error detection, concurrent programming, object, distributed programming, module, path expression
15	Andreas Rossberg, Claudio V. Russo, Derek Dreyer	F-ing modules.	TLDI	2010	DBLP DOI BibTeX RDF	first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration
15	Ilias Maglogiannis, Demosthenes Vouyioukas, Chris Aggelopoulos	Face detection and recognition of natural human emotion using Markov random fields.	Pers. Ubiquitous Comput.	2009	DBLP DOI BibTeX RDF	ICM, Image segmentation, Markov random field, Face detection, Emotion recognition
15	Rainer Koschke, Pierre Frenzel, Andreas P. J. Breu, Karsten Angstmann	Extending the reflexion method for consolidating software variants into product lines.	Softw. Qual. J.	2009	DBLP DOI BibTeX RDF	Software variants, Reverse engineering, Software product lines, Architecture reconstruction
15	Eva K. Lee	Machine Learning Framework for Classification in Medicine and Biology.	CPAIOR	2009	DBLP DOI BibTeX RDF
15	Feng Jin, Minlie Huang, Xiaoyan Zhu 0001	A query-specific opinion summarization system.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
15	K. Ravindran	Management Intelligence in Service-Level Reconfiguration of Distributed Network Applications.	SOCASE	2009	DBLP DOI BibTeX RDF
15	Bogdan D. Czejdo, Mikolaj Baszun	An Interactive Medical Knowledge Assistant.	WSKS (2)	2009	DBLP DOI BibTeX RDF	Medical Knowledge Bases, Rough Sets, Medical Software
15	Christos Georgoulas, Ioannis Andreadis	A Real-Time Occlusion Aware Hardware Structure for Disparity Map Computation.	ICIAP	2009	DBLP DOI BibTeX RDF	FPGA-hardware implementation, real-time imaging, occlusions, disparity maps, color image processing
15	Edmund Y. W. Seto, Annarita Giani, Victor Shia, Curtis Wang, Posu Yan, Allen Y. Yang, Michael Jerrett, Ruzena Bajcsy	A wireless body sensor network for the prevention and management of asthma.	SIES	2009	DBLP DOI BibTeX RDF
15	Anabela Simões, Ernesto Costa	Prediction in evolutionary algorithms for dynamic environments using markov chains and nonlinear regression.	GECCO	2009	DBLP DOI BibTeX RDF	evolutionary algorithms, prediction, markov chains, dynamic environments, nonlinear regression
15	Bruno E. da Silva Coelho, Constantino Martins, Ana de Almeida 0001	Adaptive Tourism Modeling and Socialization System.	CSE (4)	2009	DBLP DOI BibTeX RDF
15	Jung-Hyun Kim 0006, Hyeong-Joon Kwon, Hyo-Haeng Lee, Kwang-Seok Hong	Mobile Web 2.0-Oriented Five Senses Multimedia Technology with LBS-Based Intelligent Agent.	UIC	2009	DBLP DOI BibTeX RDF
15	Kiyoung Kim, Jonghee Park, Woontack Woo	Marker-Less Tracking for Multi-layer Authoring in AR Books.	ICEC	2009	DBLP DOI BibTeX RDF	marker-less tracking, layer authoring, page recognition, AR book, augmented reality, SIFT
15	Lei Shi, Shenghui Su, Zhengrong Xiang	Design of a Passport Anti-forgery System Based on Digital Signature Schemes.	PAISI	2009	DBLP DOI BibTeX RDF	Passport anti-forgery, IC chip, Client / server, Algorithm, Digital signature scheme
15	Nikolaos Papadakis, Anastasios D. Doulamis, Antonios Litke, Nikolaos D. Doulamis, Dimitrios Skoutas 0001, Theodora A. Varvarigou	MI-MERCURY: A mobile agent architecture for ubiquitous retrieval and delivery of multimedia information.	Multim. Tools Appl.	2008	DBLP DOI BibTeX RDF	Adaptive delivery, Mobile agents, Web mining, Summarization, Content adaptation, Multimedia retrieval
15	Suhan Choi, S. Sandeep Pradhan	A Graph-Based Framework for Transmission of Correlated Sources Over Broadcast Channels.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
15	Asli Celikyilmaz, Marcus Thint	Semantic approach to text entailment for question answering - new domain for uncertainty modeling.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
15	Shun Nishide, Tetsuya Ogata, Ryunosuke Yokoya, Jun Tani, Kazunori Komatani, Hiroshi G. Okuno	Active sensing based dynamical object feature extraction.	IROS	2008	DBLP DOI BibTeX RDF
15	Jie Chen, Minjian Zhao, Jin Tian, Shiju Li	A QoS MAC Protocol for Cognitive PMP Networks with Rapid Changes of Spectrum Opportunities.	VTC Spring	2008	DBLP DOI BibTeX RDF
15	Angela Bonifati, Giansalvatore Mecca, Alessandro Pappalardo, Salvatore Raunich, Gianvito Summa	The Spicy system: towards a notion of mapping quality.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	mapping verification, mappings, schema matching
15	Gernot Paulus, Martin Krch, Johannes Scholz, Peter Bachhiesl	Scenario-Based Spatial Decision Support for Network Infrastructure Design.	AGILE Conf.	2008	DBLP DOI BibTeX RDF	knowledge base, network analysis, spatial decision support, network infrastructures