|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16781 occurrences of 6814 keywords
|
|
|
Results
Found 24073 publication records. Showing 24073 according to the selection in the facets
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 |
Displaying result #601 - #700 of 24073 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|