Search results for "classes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	André Große, Harald Hempel	On Functions and Relations.	DMTCS	2003	DBLP DOI BibTeX RDF
15	Wenpeng Zhou, Peng Zhang 0004, Xiaole Bai, Raimo Kantola	A QoS Based Routing Algorithm for Multi-class Optimization in DiffServ Networks.	HSNMC	2003	DBLP DOI BibTeX RDF
15	Shailesh Kumar, Joydeep Ghosh, Melba M. Crawford	Hierarchical Fusion of Multiple Classifiers for Hyperspectral Data Analysis.	Pattern Anal. Appl.	2002	DBLP DOI BibTeX RDF	Binary hierarchical classifier, Fisher discriminant, Hyperspectral feature extraction, Output space decompo-sition, Pattern recognition, Remote sensing, Hyperspectral data
15	Mathieu Roger, Ana Simonet, Michel Simonet	Bringing Together Description Logics and Database in an Object Oriented Model.	DEXA	2002	DBLP DOI BibTeX RDF
15	José M. Sempere, Pedro García 0001	Learning Locally Testable Even Linear Languages from Positive Data.	ICGI	2002	DBLP DOI BibTeX RDF	Learning from positive data, local testability, even linear languages
15	Ehab S. Elmallah, Hossam S. Hassanein	A Power-Aware Admission Control Scheme for Supporting the Assured Forwarding Model in CDMA Cellular Networks.	LCN	2002	DBLP DOI BibTeX RDF
15	Jonathan Moody, Ricardo Bezerra de Andrade e Silva, Joseph Vanderwaart	Data filtering for automatic classification of rocks from reflectance spectra.	KDD	2001	DBLP DOI BibTeX RDF
15	Keiji Izaki, Katsuya Tanaka, Makoto Takizawa 0001	Authorization Model Based on Object-Oriented Concept.	ICOIN	2001	DBLP DOI BibTeX RDF
15	David A. Cohen, Peter Jeavons 0001, Peter Jonsson, Manolis Koubarakis	Building tractable disjunctive constraints.	J. ACM	2000	DBLP DOI BibTeX RDF	disjunctive constraints, complexity, NP-completeness, constraint satisfaction problem, relations, independence
15	Jose Maria Turull Torres	Reflective Relational Machines Working on Homogeneous Databases.	FoIKS	2000	DBLP DOI BibTeX RDF
15	Richard Mitchell, James McKim	Extending a Method of Devising Software Contracts.	TOOLS (32)	1999	DBLP DOI BibTeX RDF
15	Craig M. Chase, Vijay K. Garg	Detection of Global Predicates: Techniques and Their Limitations.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Unstable predicates, Distributed debugging, Predicate detection
15	Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens	The Regular Real-Time Languages.	ICALP	1998	DBLP DOI BibTeX RDF
15	Ian J. Palmer	Dynamic Behaviors for Computer Animation: the Use of Java.	CA	1997	DBLP DOI BibTeX RDF	Java, World-Wide Web, Animation, VRML, Behaviour
15	Francesco Parisi-Presicce, Alfonso Pierantonio	An Algebraic Theory of Class Specification.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	interconnection mechanisms, modularity, inheritance, algebraic specifications
15	Jan-Hendrik Evertse, Eugène van Heyst	Which new RSA Signatures can be Computed from RSA Signatures, Obtained in a Specific Interactive Protocol?	EUROCRYPT	1992	DBLP DOI BibTeX RDF
15	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard	Classification of Actions, or Inheritance also for Methods.	ECOOP	1987	DBLP DOI BibTeX RDF
15	Patricia M. Snyder, William J. Stewart 0001	An Approximate Numerical Solution for Multiclass Preemtive Priority Queues with General Service Time Distributions.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
15	William H. Joyner Jr.	Resolution Strategies as Decision Procedures.	J. ACM	1976	DBLP DOI BibTeX RDF
13	Ebru Dogan, Mustafa Sert, Adnan Yazici	Content-Based Retrieval of Audio in News Broadcasts.	FQAS	2009	DBLP DOI BibTeX RDF	news broadcasts, fuzzy classes, query-by-example, audio retrieval
13	Haizhu Chen, Zhongshi He	A Uniform Solution to HPP in Terms of Membrane Computing.	AICI	2009	DBLP DOI BibTeX RDF	Cellular Complexity Classes, HPP, Membrane Computing, Natural Computing
13	Douglas Cenzer, Rebecca Weber, Guohua Wu	Immunity for Closed Sets.	CiE	2009	DBLP DOI BibTeX RDF	Computability, Classes
13	Jirí Grim, Jan Hora	Recognition of Properties by Probabilistic Neural Networks.	ICANN (2)	2009	DBLP DOI BibTeX RDF	Non-exclusive classes, One-class classifiers, Biological compatibility, Probabilistic neural networks
13	Torben Lorenzen, Abdul Sattar 0002	Objects first using Alice to introduce object constructs in CS1.	ACM SIGCSE Bull.	2008	DBLP DOI BibTeX RDF	Java, object-oriented programming, objects, methods, classes, Alice
13	Bindu Goel, Yogesh Singh	Empirical Investigation of Metrics for Fault Prediction on Object-Oriented Software.	Computer and Information Science	2008	DBLP DOI BibTeX RDF	fault prone classes, OO metrics, software engineering, prediction models, logistic regression, linear regression
13	Suthathip Suanmali	Maple in Mathematics.	ITNG	2008	DBLP DOI BibTeX RDF	Abstract Algebra, Isomorphism Classes, Maple, Mathematics, Calculus
13	Olena Rogovchenko, Jacques Malenfant	WS-Objects: First-Class Objects as Web Service Parameters.	ICIW	2008	DBLP DOI BibTeX RDF	Classes and objects, Interoperability, Distributed programming, Distributed objects, Language Constructs and Features
13	Shi-Xiong Zhang, Man-Wai Mak, Helen M. Meng	Speaker Verification via High-Level Feature Based Phonetic-Class Pronunciation Modeling.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	pronunciation modeling, articulatory features, phonetic classes, NIST speaker recognition evaluation, Speaker verification
13	Philippe Gambette, Stéphane Vialette	On Restrictions of Balanced 2-Interval Graphs.	WG	2007	DBLP DOI BibTeX RDF	2-interval graphs, graph classes, quasi-line graphs, circular interval graphs, scheduling, bioinformatics, line graphs, claw-free graphs
13	Bin Yang, Baowen Xu, Yajun Li	An Incremental Approach for Attribute Reduction in Concept Lattice.	RSKT	2007	DBLP DOI BibTeX RDF	concept lattice, equivalence classes, knowledge reduction
13	Alissar Nasser, Pierre-Alexandre Hébert, Denis Hamad	Clustering Evaluation in Feature Space.	ICANN (2)	2007	DBLP DOI BibTeX RDF	Clustering evaluation, Kernel-k-means, Davies & Bouldin’s index, Number of classes estimation, Kernel estimation
13	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization and concretization.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization
13	Martin Sulzmann	Extracting programs from type class proofs.	PPDP	2006	DBLP DOI BibTeX RDF	proofs are programs principle, overloading, type classes
13	Paul Brodhead, Douglas Cenzer, Seyyed Dashti	Random Closed Sets.	CiE	2006	DBLP DOI BibTeX RDF	?01 Classes, Computability, Randomness
13	Russell Impagliazzo	Can every randomized algorithm be derandomized?	STOC	2006	DBLP DOI BibTeX RDF	algebraic circuit complexity, probabilistic algorithms, derandomization, circuit complexity, complexity classes, pseudo-randomness
13	Ádám Balogh, Zoltán Csörnyei	SysObjC: C extension for development of object-oriented operating systems.	PLOS	2006	DBLP DOI BibTeX RDF	low-level programming, predicate classes, C, C, system programming, predicate dispatching
13	Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Francisco José Romero-Campero	A Linear Solution of Subset Sum Problem by Using Membrane Creation.	IWINAC (1)	2005	DBLP DOI BibTeX RDF	Cellular Complexity Classes, Subset Sum Problem, Membrane Computing, Natural Computing
13	Matthew J. Parkinson, Gavin M. Bierman	Separation logic and abstraction.	POPL	2005	DBLP DOI BibTeX RDF	modularity, abstract data types, classes, resources, separation logic
13	Carme Àlvarez, Joaquim Gabarró, Maria J. Serna	Pure Nash Equilibria in Games with a Large Number of Actions.	MFCS	2005	DBLP DOI BibTeX RDF	Nash equilibria, complexity classes, Strategic games
13	Loïc Kervajan, Emilie Guimier De Neef, Jean Véronis	French Sign Language Processing: Verb Agreement.	Gesture Workshop	2005	DBLP DOI BibTeX RDF	French Sign Language, verb typology, nominal classes, computational sciences, morphology, agreement
13	Robert L. Scot Drysdale, Judith Hromcik, David Reed, Reg Hahne	The year in review: changes and lessons learned in the design and implementation of the AP CS exam in Java.	SIGCSE	2005	DBLP DOI BibTeX RDF	AP CS, AP CS development committee, Java exam, advanced placement computer science, collection classes, high school teachers, marine biology simulation case study, Java, interfaces, object-oriented design, inheritance, AP
13	Justin Ward, Garrin Kimmell, Perry Alexander	Prufrock: a framework for constructing polytypic theorem provers.	ASE	2005	DBLP DOI BibTeX RDF	Haskell, type classes, polytypic programming
13	Emilio Jesús Gallego Arias, Julio Mariño	An overview of the Sloth2005 curry system: system description.	WCFLP	2005	DBLP DOI BibTeX RDF	constraint definitional trees, sloth, type classes, curry
13	Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick	Existential second-order logic over graphs: Charting the tractability frontier.	J. ACM	2004	DBLP DOI BibTeX RDF	Existential second-order logic, graph constraints, prefix classes, graph coloring, NP-complete problems, finite model theory
13	Arnaud Soulet, Bruno Crémilleux, François Rioult	Condensed Representation of EPs and Patterns Quantified by Frequency-Based Measures.	KDID	2004	DBLP DOI BibTeX RDF	characterization of classes, frequency-based measures, Emerging patterns, closed patterns, condensed representations
13	Nikunja Swain, Mrutyunjaya Swain	Design and development of computer networking modules using virtual instruments and object oriented programming.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	IP classes, dotted decimal notation, java/visual basic, router forwarding, subnet & subnet mask, TCP/IP, virtual instruments, routing table
13	Uri Dekel, Joseph Gil	Visualizing class interfaces with formal concept analysis.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	feature categorization, reverse-engineering, documentation, classes, concept analysis
13	Bernard Berthomieu, François Vernadat 0001	State Class Constructions for Branching Analysis of Time Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets
13	Penny E. Haxell, Tomasz Luczak 0001, P. W. Tingley	Ramsey Numbers for Trees of Small Maximum Degree.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 05C05, 05C55
13	Krishnaswami Alladi, Alexander Berkovich	A Double Bounded Version of Schur's Partition Theorem.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 05A15, 05A17, 11P81, 11P83
13	Richard G. Baraniuk, Ronald A. DeVore, George Kyriazis, X. M. Yu	Near Best Tree Approximation.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	n-term approximation, approximation classes, compression, encoding
13	Hajo Broersma, Fedor V. Fomin, Jaroslav Nesetril, Gerhard J. Woeginger	More about Subcolorings.	WG	2002	DBLP DOI BibTeX RDF	subcoloring, special graph classes, computational complexity, graph coloring, polynomial time algorithm
13	Chia-Song Ma, Carl K. Chang, Jane Cleland-Huang	Measuring the Intensity of Object Coupling in C++ Programs.	COMPSAC	2001	DBLP DOI BibTeX RDF	statement complexity, complexity, object-oriented, metrics, coupling, classes, cyclomatic complexity
13	Sandeep K. S. Gupta, Pradip K. Srimani	UpdateSearch: A New Dynamic Channel Allocation Scheme for Mobile Networks That Can Adjust to System Loads.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	channel classes, concurrent search, mobile networks, channel allocation
13	János Körner, Gábor Simonyi	Graph Pairs and their Entropies: Modularity Problems.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C15, 94A17, 05C75
13	Erich Prisner	Bicliques in Graphs I: Bounds on Their Number.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C
13	István Talata	A Lower Bound for the Translative Kissing Numbers of Simplices.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 52C17, 05D05
13	Paul Corazza	Consistency of V = HOD with the wholeness axiom.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	Wholeness Axiom, Elementary embeddings -HOD- Regular classes, Laver sequences
13	Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto	A GUI and testing tool for SOFL.	APSEC	2000	DBLP DOI BibTeX RDF	VDM-SL, SOFL specification construction, SOFL specification testing tool, formal specification, Petri nets, Petri nets, graphical user interfaces, graphical user interface, software tools, system design, specification languages, formal language, object-oriented languages, modules, object-oriented methods, object-oriented method, classes, system specification, flowcharting, data flow diagrams, structured method
13	Stephanie Weirich	Type-safe cast: functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	intensional type analysis, Haskell, type classes, dynamic typing, PEARL, ad-hoc polymorphism
13	Joëlle Vittone, Jean-Marc Chassery	Recognition of Digital Naive Planes and Polyhedrization.	DGCI	2000	DBLP DOI BibTeX RDF	Digital naive plane, Polyhedrization, Recognition, Equivalence classes
13	Hassan Gomaa, Shaoying Liu, Michael E. Shin	Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language.	ICECCS	2000	DBLP DOI BibTeX RDF	domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain
13	Ran Raz, Pierre McKenzie	Separation of the Monotone NC Hierarchy.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 68Q15, 68R99, 68Q25
13	Jirí Sgall	Bounds on Pairs of Families with Restricted Intersections.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05D05, 68R05
13	Dmitry N. Kozlov	Maximizing the Möbius Function of a Poset and the Sum of the Betti Numbers of the Order Complex.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 06A07, 05E25, 05D99
13	Béla Bollobás, Alex D. Scott	Exact Bounds for Judicious Partitions of Graphs.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C35
13	Bharat K. Bhargava	Concurrency Control in Database Systems.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	Degree of concurrency, optimistic, classes of serializability, flexible transactions, performance, adaptability, time-stamp
13	Harry Buhrman, Leen Torenvliet	Complicated Complementations.	CCC	1999	DBLP DOI BibTeX RDF	Oracles, Kolmogorov Complexity, Complexity Classes, Simplicity, Polynomial Hierarchy, Immunity
13	Mariusz Meszka, Zdzislaw Skupien	Self-Converse and Oriented Graphs among the Third Parts of Nearly Complete Digraphs.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C70, 05C20
13	Bernd Gärtner, Martin Henk, Günter M. Ziegler	Randomized Simplex Algorithms on Klee-Minty Cubes.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 90C05, 52B12, 68Q25
13	A. Betti, Mauro Barni, Alessandro Mecocci	Using A Wavelet-Based Fractal Feature to Improve Texture Discrimination on SAR Images.	ICIP (1)	1997	DBLP DOI BibTeX RDF	wavelet-based fractal feature, cover classes discrimination, remote sensing image segmentation, pyramid-based methods, global algorithms, single polarization synthetic aperture radar, SAR data, mono-band images, wavelet-based fuzzy clustering algorithm, fractal model, X-SAR images, performance, synthetic aperture radar, SAR images, clustering techniques, texture image, texture discrimination, wavelet representation
13	Jin-yi Cai, D. Sivakumar, Martin Strauss 0001	Constant Depth Circuits and the Lutz Hypothesis.	FOCS	1997	DBLP DOI BibTeX RDF	Lutz hypothesis, Exponential Time, constant-depth, nearly exponential-size circuits, circuit complexity theory, computational complexity, pseudorandom generators, complexity classes, NP, constant depth circuits
13	Alexander E. Andreev, Andrea E. F. Clementi, José D. P. Rolim, Luca Trevisan	Weak Random Sources, Hitting Sets, and BPP Simulations.	FOCS	1997	DBLP DOI BibTeX RDF	BPP simulations, parallel classes, lower bound, sampling, polynomial time, randomised algorithms, hitting sets, weak random source, weak random sources, min-entropy
13	Klaus Reinhardt, Eric Allender	Making Nondeterminism Unambiguous.	FOCS	1997	DBLP DOI BibTeX RDF	nonuniform complexity, nondeterministic logarithmic space bounded computation, computational complexity, nondeterminism, complexity classes, context-free languages
13	Domagoj Kovacevic, Sven Loncaric	Radial basis function-based image segmentation using a receptive field.	CBMS	1997	DBLP DOI BibTeX RDF	radial basis function-based image segmentation, CT head image automatic segmentation, spontaneous intra-cerebral brain hemorrhage, tissue classes, skull, calcifications, radial basis function artificial neural network, optimal basis functions, multi-layer perceptron neural network, image segmentation, feature extraction, expert system, normalization, regions of interest, brain, receptive field, training algorithm, pixel classification, network size
13	Mark W. W. Vermeer, Peter M. G. Apers	Query Modification in Object-Oriented Database Federations.	CoopIS	1997	DBLP DOI BibTeX RDF	object-oriented database federations, integrated view, global query processing, arbitrarily defined integration classes, object references, object relationship modeling, distributed databases, path expressions, nesting, query modification
13	Rodney G. Downey, André Nies	Undecidability Results for Low Complexity Degree Structures.	CCC	1997	DBLP DOI BibTeX RDF	undecidability results, low complexity degree structures, EXPTIME degrees, polynomial time Turing, many-one reducibility, coding method, ideal lattices, hyper-polynomial time classes, Boolean algebra, Boolean algebras
13	Benny Bing, Regu Subramanian	Multiple access for third-generation personal communication systems.	LCN	1997	DBLP DOI BibTeX RDF	third-generation personal communication systems, multirate broadband applications, dynamic traffic load variations, highly sensitive wireless links, robust multiple access scheme, enhanced reserved polling, mobility-related functions, radio resource assignment, collision feedback information, delay classes, message priorities, mobility management, cellular networks, multimedia traffic, personal communication networks, multiple access protocol, connection control
13	Nicola Nobile, Sabine Bergler, Ching Y. Suen, Sami Khoury	Language identification of on-line documents using word shapes.	ICDAR	1997	DBLP DOI BibTeX RDF	word shapes, coded characters, character classes, visual characteristics, word bigrams, word trigrams, linear score value combination, on-line texts, varied parameter settings, stability, expert system, knowledge acquisition, identification, accuracy, rules, language identification, on-line documents
13	Karin Erni, Claus Lewerentz	Applying design-metrics to object-oriented frameworks.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	factor-criteria-metrics model, multi-metrics, structural measurements, measurement reports, framework reorganization reviews, stable system designs, object-oriented programming, software developers, software quality, software metrics, feedback, object-oriented methods, classes, object-oriented frameworks, quality model, design principles, incremental development, abstraction levels, design rules, subsystems, program evaluation, graphical applications, object-oriented design metrics
13	Horst Zuse	Foundations of object-oriented software measures.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	object-oriented software measures, binary operations, extensive structure, qualitative criteria, Dempster-Shafer belief function, Kolmogoroff axioms, DeFinetti axioms, software measurement theory, concatenation operations, dominance axiom, object-oriented programming, software metrics, methods, inference mechanisms, object-oriented methods, programming theory, classes, uncertainty handling, weak order, belief maintenance, numbers
13	Catherine Meadows 0001	Language generation and verification in the NRL protocol analyzer.	CSFW	1996	DBLP DOI BibTeX RDF	language verification, NRL protocol analyzer, infinite classes of states, cryptography, formal verification, cryptographic protocols, formal languages, formal languages, access protocols, security properties, exhaustive search, language generation
13	Glenn Healey, Amit Jain	Using physics-based invariant representations for the recognition of regions in multispectral satellite images.	CVPR	1996	DBLP DOI BibTeX RDF	multispectral satellite images, recognition of regions, ground cover, multispectral distributions, multispectral spatial structure, labeled classes, image recognition, content-based retrieval, remote sensing, image representation, satellite images, invariant representations
13	Abhijit Chatterjee, Bruce C. Kim, Naveena Nagi	Low-cost DC built-in self-test of linear analog circuits using checksums.	VLSI Design	1996	DBLP DOI BibTeX RDF	DC built-in self-test, catastrophic failures, line opens, DC transfer function, on-chip fault detection, BIST circuitry, fault diagnosis, built-in self test, integrated circuit testing, transfer functions, analogue integrated circuits, checksums, linear analog circuits, matrix representations, fault classes
13	Toyohide Watanabe, Qin Luo, Noboru Sugie	Layout Recognition of Multi-Kinds of Table-Form Documents.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	Recognition paradigm for multi-kinds of table-form documents, automatic acquisition of layout knowledge, recognition of document classes, recognition of layout structures, structure description tree, classification tree
13	Hemant Kanakia, Partho Pratim Mishra	Variable bit rate coding for real-time video transmission in ATM networks.	ICIP	1995	DBLP DOI BibTeX RDF	variable rate codes, variable bit rate coding, asynchronous transport multiplexing, single network, variable bandwidth, variable path delay, constant bandwidth channel, traffic classes, network usage, congestion signals, real-time systems, asynchronous transfer mode, video coding, feedback, packet switching, encoder, ATM networks, visual communication, video quality, telecommunication networks, telecommunication congestion control, perceptual quality, virtual connections, real-time video transmission
13	James M. Keller, Paul D. Gader, Ozy Sjahputera, Charles William Caldwell, Tim Hui-Ming Huang	A Fuzzy Logic Rule-Based System for Chromosome Recognition.	CBMS	1995	DBLP DOI BibTeX RDF	cellular biophysics, fuzzy logic rule-based system, chromosome recognition, metaphase, chromosome categorisation, karyotyping, similar chromosome classes, fuzzy logic, uncertainty, image recognition, medical image processing, uncertainty handling, medical image analysis, medical expert systems
13	Olivier Cogis, Olivier Guinaldo	A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test.	ICCS	1995	DBLP DOI BibTeX RDF	structural functions, classes of conceptual graphs, descriptors, Isomorphism problem
13	J. Beckman, T. C. Wesselkamper	The Radii of Sheffer Functions Over E(3).	ISMVL	1995	DBLP DOI BibTeX RDF	Sheffer functions radii, two place function, least natural number, isotopy classes, E(3), symmetric Sheffer function, functions, multivalued logic
13	Marc D. Riedel, Janusz Rajski	Fault coverage analysis of RAM test algorithms.	VTS	1995	DBLP DOI BibTeX RDF	RAM test algorithms, flexible software analysis program, arbitrary test sequences, coverage statistics, functional cell-array faults, fault state transition conditions, representative fault classes, fault diagnosis, integrated circuit testing, fault coverage, random-access storage, integrated memory circuits, semiconductor memories, test algorithms
13	Cheng-Lin Liu, Ru-Wei Dai, Ying-Jian Liu	Extracting individual features from moments for Chinese writer identification.	ICDAR	1995	DBLP DOI BibTeX RDF	individual features extraction, Chinese writer identification, indeterminate classes, moment-based feature method, character images, feature extraction, handwriting recognition, characters, geometric moments
13	K. Kuhnke, L. Simoncini, Zsolt Miklós Kovács-Vajna	A system for machine-written and hand-written character distinction.	ICDAR	1995	DBLP DOI BibTeX RDF	machine-written character distinction, handwritten character distinction, accuracy difference, raster image processing, confidence values, character classes, preprocessing step, feature extraction, optical character recognition, character recognition, image database, normalized form, feedforward neural network, system quality, classification system
13	Luis Gravano, Gustavo D. Pifarré, Pablo E. Berman, Jorge L. C. Sanz	Adaptive Deadlock- and Livelock-Free Routing with All Minimal Paths in Torus Networks.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	adaptive deadlock-free routing, livelock-free routing, n-dimensional torus network, packet-switched fully-adaptive minimal routing, 4-Classes, dynamic message injectionmodel, performance evaluation, concurrency control, multiprocessor interconnection networks, virtual channels, Channels, torus networks, buffer requirement, minimal paths, traffic patterns, message lengths
13	Tao Yang 0009, Apostolos Gerasoulis	DSC: Scheduling Parallel Tasks on an Unbounded Number of Processors.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	trees(mathematics), DSC, low-complexityheuristic, dominant sequence clustering algorithm, completely connected processor, unbounded number, nonzero communication overhead, arbitrary directedacyclic task graphs, special classes, coarse-grain trees, fine-grain trees, general scheduling algorithms, ETF, scheduling, performance, parallel algorithms, computational complexity, parallel programming, NP-complete, directed graphs, DAGs, join, optimal schedules, MD, fork, parallel task scheduling
13	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
13	Beth A. Carlson, Mark A. Clements	A Computationally Compact Divergence Measure for Speech Processing.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	computationally compact divergence measure, discrimination information, signal classes, Gaussian autoregressive processes, Itakura-Saito distance, speech analysis and processing, matrix algebra, speech processing, correlation methods
13	Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera	Some Properties of Timed Token Medium Access Protocols.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	timed token medium access protocols, non-real-time traffic, worst-case values, average token rotation time, synchronous traffic, generic periodic pattern, heavy conditions, theoretical lower bounds, real networks, asynchronous overrun problem, multiple priority classes, worst-case assumptions, best-case assumptions, timed-token protocol parameters, network installation, protocols, throughput, local area network, real-time traffic, token networks, electronic messaging
13	Wen-Pai Lu, Malur K. Sundareshan	A Model for Multilevel Security in Computer Networks.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	multilevel secure network, security classes, security clearances, nondiscretionary access control, trusted network base, set-theoretic concepts, computer networks, computer networks, security policy, security of data, information flow control, computer systems, multilevel security, subjects, entities, network devices
13	Toshihide Ibaraki, Tiko Kameda, Naoki Katoh	Multiversion Cautious Schedulers for Database Concurrency Control.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	read/write steps, multiversion cautious scheduler, incoming sequence, read sets, write sets, MWW, MWRW, multiversion classes, write-write, write-read-write constraints, cancellation anomaly, predeclared steps, read operations, scheduling, concurrency control, database management systems, transactions, transaction processing, polynomial time, logs, rollbacks, reordering, MC, database concurrency control
13	Jack A. Orenstein, Frank Manola	PROBE Spatial Data Modeling and Query Processing in an Image Database Application.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	image database application, application-specific object classes, data structures, query processing, database management systems, query languages, PROBE, temporal data, spatial data modeling