The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for operator with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1936-1963 (17) 1964-1968 (18) 1969-1972 (20) 1973-1974 (19) 1975-1976 (26) 1977 (15) 1978-1979 (28) 1980-1981 (33) 1982 (18) 1983 (16) 1984-1985 (37) 1986 (21) 1987 (49) 1988 (59) 1989 (59) 1990 (84) 1991 (74) 1992 (72) 1993 (106) 1994 (108) 1995 (126) 1996 (145) 1997 (173) 1998 (190) 1999 (245) 2000 (319) 2001 (314) 2002 (390) 2003 (428) 2004 (613) 2005 (759) 2006 (874) 2007 (1060) 2008 (1046) 2009 (883) 2010 (399) 2011 (368) 2012 (373) 2013 (350) 2014 (360) 2015 (410) 2016 (437) 2017 (467) 2018 (475) 2019 (576) 2020 (586) 2021 (653) 2022 (715) 2023 (824) 2024 (235)
Publication types (Num. hits)
article(7084) book(9) data(6) incollection(116) inproceedings(8377) phdthesis(80)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6898 occurrences of 3643 keywords

Results
Found 15672 publication records. Showing 15672 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
15Atul Gupta, Pankaj Jalote An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Block coverage, Predicate coverage, Software testing, Experiment, Statistical analysis, Test case generation, Mutation Operator, Branch coverage
15Yun-Zhi Zou, Nan-Jing Huang An Iterative Method for Quasi-Variational-Like Inclusions with Fuzzy Mappings. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Generalized quasi-variational-like inclusion, resolvent operator, iterative algorithm, fuzzy mapping
15Stefan Porschen Algorithms for Rectangular Covering Problems. Search on Bibsonomy ICCSA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF rectangular covering problem, integer grid, dynamic programming, closure operator
15Eduardo Abreu, Frederico Furtado, Felipe Pereira Numerical Simulation of Three-Phase Flow in Heterogeneous Porous Media. Search on Bibsonomy VECPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Three-phase flow, central difference scheme, non-classical waves, operator splitting, mixed finite elements, porous media
15Jean Diatta, Daniel Rajaonasy Feno, André Totohasina Galois Lattices and Bases for MGK-Valid Association Rules. Search on Bibsonomy CLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Quality measure, Closure operator, Galois connection, Basis, Negative association rule
15Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti The Efficiency of Critical Slicing in Fault Localization. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF strong and weak mutations, dead, live and equivalent mutants, static and dynamic slicing, critical slicing, statement deletion (Sdl), Mothra Mutation Testing System, Fortran-77, mutation testing, mutation operator
15Hong-Cheu Liu, John Zeleznikow Relational computation for mining association rules from XML data. Search on Bibsonomy CIKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fixpoint operator, association rules, query optimisation
15Cuong Anh Le, Van-Nam Huynh, Hieu-Chi Dam, Akira Shimazu Combining Classifiers Based on OWA Operators with an Application to Word Sense Disambiguation. Search on Bibsonomy RSFDGrC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Computational linguistics, Word sense disambiguation, Classifier combination, OWA operator
15Vincenzo Cutello, Giuseppe Morelli, Giuseppe Nicosia, Mario Pavone Immune Algorithms with Aging Operators for the String Folding Problem and the Protein Folding Problem. Search on Bibsonomy EvoCOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF memory B cells, functional model proteins, protein structure prediction, Clonal selection algorithms, HP model, aging operator
15Alain Gély A Generic Algorithm for Generating Closed Sets of a Binary Relation. Search on Bibsonomy ICFCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Galois or concept lattice, Closure operator, Generation algorithm
15Bernhard Ganter, Léonard Kwuida Which Concept Lattices Are Pseudocomplemented?. Search on Bibsonomy ICFCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pseudocomplement, arrow-relation, complete homomorphism, lattices, Formal Concept Analysis, closure operator
15Stefan Porschen On the Rectangular Subset Closure of Point Sets. Search on Bibsonomy ICCSA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF rectangular covering problem, closure operator
15Martin Reuter 0001, Franz-Erich Wolter, Niklas Peinecke Laplace-spectra as fingerprints for shape matching. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parameterized surfaces and bodies, shape invariants, fingerprints, copyright protection, shape matching, NURBS, polyhedra, database retrieval, laplace-beltrami operator
15H. L. Bentley, Eva Lowen-Colebunders Initial Morphisms versus Embeddings. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF subobject, initial morphism, bicoreflective, dense morphism, epireflective, embedding, closure operator, topological construct, factorization structure
15George Georgescu, Andrei Popescu 0001 Non-dual fuzzy connections. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Isotone structure, conjugated pair, Duality, Fuzzy set theory, Closure operator, Galois connection
15Stefan Berlik Directed Mutation by Means of the Skew-Normal Distribution. Search on Bibsonomy Fuzzy Days The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Skew-normal distribution, evolutionary algorithm, mutation operator, directed mutation
15Tatiana Rückschlossová Homogeneous Aggregation Operators. Search on Bibsonomy Fuzzy Days The full citation details ... 2004 DBLP  DOI  BibTeX  RDF kernel property, homogeneity, aggregation operator
15Guoliang Xu Convergent Discrete Laplace-Beltrami Operators over Triangular Surfaces. Search on Bibsonomy GMP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Surface triangulation, Convergence, Discretization, Laplace-Beltrami Operator
15János C. Fodor Binary Operations on Fuzzy Sets: Recent Advances. Search on Bibsonomy IFSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF left-continuous t-norm, nilpotent minimum, nullnorm, t-operator, finite chain, unipolar and bipolar scale, associativity, uninorm
15Mustafa Demirci Artihmetic of Fuzzy Quantities Based On Vague Arithmetic Operations. Search on Bibsonomy IFSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Vague arithmetic, Fuzzy equivalence relation, Indistinguishability operator, Fuzzy function, Fuzzy arithmetic
15Frederick W. Chapman An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. Search on Bibsonomy ISSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Taylor interpolation, asymptotic splitting operator, automatic derivation, automatic proof, binormal forms, bivariate identities, characteristic cauchy problem, dual asymptotic expansions, homogeneous hyperbolic eigenproblem, hyperbolic eigenfunction, symmetries, maple, computer algebra, differential equations, tensor products, lie groups
15Lorenzo Héctor Juárez, Roland Glowinski, Tsorng-Whay Pan Numerical Simulation of the Sedimentation of Rigid Bodies in an Incompressible Viscous Fluid by Lagrange Multiplier/Fictitious Domain Methods Combined with the Taylor-Hood Finite Element Approximation. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF fictitious domain, distributed Lagrange multipliers, moving rigid bodies, operator splitting, finite element, Navier-Stokes equations
15Heraldo Maciel França Madeira, Hélio Pedrini Boolean Decomposition of Binary Image Operators. Search on Bibsonomy SIBGRAPI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Boolean decomposition, binary image operator, image processor architecture, decision diagram
15Mukund Sivaraman, Shail Aditya Cycle-time aware architecture synthesis of custom hardware accelerators. Search on Bibsonomy CASES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF embedded hardware architecture synthesis, operator chaining, target clock period, timing during scheduling, high-level synthesis, timing analysis, delay analysis, clock frequency
15Jiu Ding, Zizhong Wang Parallel Computation of Invariant Measures. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF invariant measure, Frobenius-Perron operator
15Dirk Söffker From Human-Machine-Interaction Modeling to New Concepts Constructing Autonomous Systems: A Phenomenological Engineering-Oriented Approach. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF machine learning, interaction, autonomous system, operator, situation, qualitative modeling
15Rozália Sz. Madarász, Boza Tasic On the Partially Ordered Semigroup Generated by the Class Operators I, R, H, S, P. Search on Bibsonomy Order The full citation details ... 2001 DBLP  DOI  BibTeX  RDF class operators, operator of retraction, partially ordered semigroup and monoid
15Luigi Iuspa, Francesco Scaramuzzino A bit-masking oriented data structure for evolutionary operators implementation in genetic algorithms. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Bit-masking, Evolutionary operators, Prediction operator, Genetic algorithms
15Suman K. Mitra, C. A. Murthy, Malay Kumar Kundu, Bhargab B. Bhattacharya, Tinku Acharya Fractal Image Compression Using Iterated Function System with Probabilities. Search on Bibsonomy ITCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Contractive map, iterated function system (IFS), Collage theorem, Markov operator, measure, image compression
15Timothy F. Havel, S. S. Somaroo, C.-H. Tseng, David G. Cory Principles and Demonstrations of Quantum Information Processing by NMR Spectroscopy. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Nuclear magnetic resonance, Pseudo-pure states, Product operator formalism, Quantum computation, Quantum error correcting codes
15Lindsay Groves A formal approach to program modification. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF semantically based transformations, program conjunction operator, software maintenance, software maintenance, software reuse, software reusability, refinement calculus, refinement calculus, program modification
15David E. Losada, Alvaro Barreiro Retrieval Situations and Belief Change. Search on Bibsonomy DEXA Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF retrieval situations, situational aspects, relevance test, belief revision operator, retrieval simulation, information retrieval, belief change, information retrieval models, logical representation
15Philippe Chatalic, Laurent Simon Multi-resolution on compressed sets of clauses. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs
15Ville Laurikari NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions. Search on Bibsonomy SPIRE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF tagged transitions, automata conversion, input string position tracking, last-use tracking, nondeterministic Mealy machines, string processing, substring addressing, lookahead operator, regular expressions, finite automata, formal semantics, deterministic automata, nondeterministic finite automata
15Karthick Rajamani, Alan L. Cox, Balakrishna R. Iyer, Atul Chadha Efficient Mining for Association Rules with Relational Database Systems. Search on Bibsonomy IDEAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF operator for association, association rule mining, Database mining
15Ehoud Ahronovitz, Christophe Fiorio, Sylvain Glaize Topological Operators on the Topological Graph of Frontiers. Search on Bibsonomy DGCI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF topological operator, enclosed region, topological graph of frontiers, topological representation, segmented image manipulation
15Brigitte Vallée Dynamics of the Binary Euclidean Algorithm: Functional Analysis and Operators. Search on Bibsonomy Algorithmica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Ruelle operator, Hardy spaces, Tauberian theorems, Dynamical systems, Analysis of algorithms, Generating functions, Continued fractions
15James C. Dehnert, Alexander Stepanov 0001 Fundamentals of Generic Programming. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Generic programming, operator semantics, concept, regular type
15Behzad Kamgar-Parsi, Behrooz Kamgar-Parsi, Azriel Rosenfeld Optimum Laplacian for Digital Image Processing. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF optimum Laplacian operator, spatially quantized approximations, quantized images, square pixels, image processing, digital image processing, anisotropy
15B. K. Low, M. K. Ibrahim A Fast and Accurate Algorithm for Facial Feature Segmentation. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF facial feature segmentation, accurate algorithm, head and shoulder sequences, temporal heuristics, spatial heuristics, image intensity variation, temporal domain, high edge density, feature regions, motion detection method, generic spatial operator, segmentation performance, face recognition, video sequence, fast algorithm
15Nawapak Eua-anant, Lalita Udpa Boundary Extraction Algorithm Based on Particle Motion in a Vector Image Field. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF boundary extraction algorithm, particle motion, vector image field, Gaussian weighted image moment vector operator, edge vector field, particle trajectory, close object boundary, multiple object images, noisy condition, single object images, subpixel accuracy, edge detection, force field, vector operations
15Andrea Polesel, Giovanni Ramponi, V. John Mathews Adaptive Unsharp Masking for Contrast Enhancement. Search on Bibsonomy ICIP (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF adaptive unsharp masking, image contrast enhancement, image dynamics, noise amplification reduction, smooth areas, adaptive directional filtering, directional characteristics, high-detail areas, medium-detail areas, sharp transitions, adaptive operator, linear highpass filter, adaptive recursive two-dimensional filter, Gauss-Newton algorithm, filter coefficients, image enhancement, experimental results, adaptive algorithm, zooming, image preprocessing
15Wenwu Zhu 0001, Yao Wang 0001, Nikolas P. Galatsanos, Jun Zhang 0006 Regularized Total Least Squares Reconstruction for Optical Tomographic Imaging Using Conjugate Gradient Method. Search on Bibsonomy ICIP (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF optical tomography, regularized total least squares reconstruction, optical tomographic imaging, linear perturbation equation, optical tomography, Rayleigh quotient formulation, RTLS filter, RQF-RTLS, RQF-RTLS method, stable solution, accurate solution, regularized least squares, operator errors, medical optical imaging, simulation results, conjugate gradient method, conjugate gradient algorithm
15Yuntao Cui, Qian Huang Automatic license extraction from moving vehicles. Search on Bibsonomy ICIP (3) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF automatic license extraction, moving vehicles, license plate localization, perspective distortion correction, pixel label assignment, a posteriori probability, local greedy mutation operator, genetic algorithm, performance, feature extraction, image sequence, Markov random field, binarization, objective function, feature tracking, road vehicles, MRF modeling
15Irith Pomeranz, Sudhakar M. Reddy On improving genetic optimization based test generation. Search on Bibsonomy ED&TC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF propagation Citation: I. Pomeranz, S.M. Reddy, On improving genetic optimization based test generation, edtc, pp.506, 1997 European Design and Test Conference (ED&TC '97), 1997 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(On improving genetic optimization based test generation), Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_DjbO_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_DjbO' }), genetic algorithms, test generation, fault coverage, activation, benchmark circuit, crossover operator, genetic optimization
15Yuntao Cui, Qian Huang Character extraction of license plates from video. Search on Bibsonomy CVPR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF license plates from video, moving vehicle, perspective distortion corrected license plate images, a posteriori probability, local greedy mutation operator, genetic algorithm, Markov random field, character recognition, character extraction
15Thomas Ragg, Steffen Gutjahr Automatic determination of optimal network topologies based on information theory and evolution. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF optimal network topology, automatic topology determination, learning task, input-output relation, neural unit sorting, intelligent mutation operator, input unit ranking, efficient optimization technique, network scalability, evolutionary algorithm, benchmarks, evolution, information theory, network topology, multilayer perceptrons, network performance, information content, list, network size
15Hideki Kawabe, Yoshimi Fukumura, Nobuo Mutoh, Hiroaki Karasawa, Shigehito Iwase An Intelligent Directory-Assistance System Using Natural Language Processing and Mapping. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Directory assistance, Natural language processing, Map, Operator
15Michael F. Singer Testing reducibility of linear differential operators: A group theoretic perspective. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Linear differential operator, Berlekamp algorithm, Differential Galois theory, Factorization
15Shree K. Nayar, Masahiro Watanabe, Minori Noguchi Real-Time Focus Range Sensor. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF constant magnification defocusing, active illumination pattern, image sensing, tuned focus operator, real-time range sensor, depth estimation, Depth from defocus, optical transfer function
15Dennis B. Mulcare System-level optimization of architectural performance under varying service demands. Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF system-level optimization, architectural performance, varying service demands, cost-performance measures, dynamic performance, varying workload, system resource parameters, architecture parameters, online transaction processing system, fitness metric, fitness ranking, multiple mutation operator mechanism, genetic algorithms, genetic algorithm, optimization, distributed processing, convergence, system design, systems analysis, performance measures, transaction processing, software performance evaluation, software prototyping, tolerances, online operation, chromosome, distributed system architectures
15Sahng-Mann Han Is OO Working as It Promised? Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF OO software development paradigm, operator polymorphism, reusable component libraries, software development time, business organisations, software engineering, data structures, object-oriented programming, software maintenance, software development, abstraction, requirements, inheritance, inheritance, reusability, object-oriented methods, encapsulation, business data processing, object-oriented paradigm, code size, data encapsulation, software applications
15Philippe Burlina, Bruce Lin, Rama Chellappa On a spectral attentional mechanism. Search on Bibsonomy CVPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF spectral attentional mechanism, spectral signatures, regular object configurations, global operator, frequency domain constraints, monitored objects, decision theoretic method, learning decision regions, aerial image interpretation tasks, vehicle formations, convoys, detected formations, edge detection, geometrical models, sensitivity analysis, sensitivity analysis, object detection, decision theory, context information
15Xuemin Lin 0001, Simon Fox An effective parallelization of execution of multijoins in multiprocessor systems. Search on Bibsonomy ISPAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multijoins execution, synchronous execution strategy, processor allocation problem, inter-operator parallelization problem, parallelization, relational databases, multiprocessing systems, multiprocessor systems, processor scheduling
15Shree K. Nayar, Masahiro Watanabe, Minori Noguchi Real-Time Focus Range Sensor. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF optical focusing, real-time focus range sensor, dynamic scene structure recovery, depth-from-defocus system, dense range estimation, accurate depth estimation, textureless surfaces, blur estimation, magnification variations, textured surfaces, illumination pattern, optical path, relative image blurring, narrow-band linear operator, defocus-invariant magnification, imaging optics, 30 Hz, performance, real-time systems, image restoration, image texture, distance measurement, lighting, image sensors, computational efficiency, image processing equipment, spatial resolution, aperture
15Sérgio Shiguemi Furuie, Gabor T. Herman, Nelson D. A. Mascarenhas, Samuel Matej Projection estimation in 3D PET reconstruction: a statistical evaluation. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF interference (signal), projection estimation, 3D PET reconstruction, reconstruction algorithm, nonlinear operator, Poisson nature, 3D phantoms, total uptake, cold spots, statistical analysis, image reconstruction, noise, detectability, stochastic processes, medical image processing, hot spots, positron emission tomography, estimation theory, interference suppression, statistical evaluation
15Joseph M. Reinhardt, William E. Higgins Strategy for shape-based image analysis. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF shape based image analysis, image segmentation methods, grayscale characteristics, shape modification, operator parameters, shape based operation selection, shape properties, image processing, image segmentation, image regions, shape information
15Giovanni Ramponi A rational edge-preserving smoother. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF rational edge-preserving smoother, lowpass linear filter, uniform image areas, luminance transition, pixel coefficients, rational filter, edge detection, image enhancement, computer simulations, operator, smoothing methods, low-pass filters, image smoothing
15James C. Brailean, Aggelos K. Katsaggelos Noise robust spatial gradient estimation for use in displacement estimation. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF noise robust spatial gradient estimation, displacement estimation, spatial temporal gradient motion estimation algorithm, spatial gradients accuracy, magnitude response, derivative operator, frequency value, high-frequency noise terms, low-frequency features, corrupted differentiated image, spatiotemporal gradient motion estimator, estimated motion vector, recursive gradient estimator, motion estimation, image sequences, image sequence, noise, inverse problems, inverse problem, differentiation, differentiation, noise suppression
15Satoshi Yamane Verification system for real-time specification based on extended real-time logic. Search on Bibsonomy RTCSA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF extended real-time logic, Timed CTL, verification system, bounded temporal operator, freeze quantification, real-time systems, formal specification, formal verification, temporal logic, real-time specification
15Ramayya Kumar, Thomas Kropf, Klaus Schneider 0001 Formal synthesis of circuits with a simple handshake protocol. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF formal circuit synthesis, preproven building blocks, higher-order temporal operators, parametrized data signals, sequentially composed modules, parallel module composition, protocols, high level synthesis, logic design, operator semantics, template, formal logic, correctness proofs, synchronous circuits, handshake protocol, HOL theorem prover
15Masaru Takesue A Family of Parallel Prefix Algorithms Embedded in Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF parallel prefix algorithms, associative binary operator, interconnection networks, hypercube, hypercube networks, communication pattern, omega network, parallelalgorithms
15Timos K. Sellis, Leonard D. Shapiro Query Optimization for Nontraditional Database Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF space performance, nontraditional database applications, equivalent database programs, extended query languages, iteration operator, artificial intelligence, programming, query optimization, database management systems, query languages, environments, engineering, large data sets, database query languages, time performance
15Franz-Josef Brandenburg The Equivalence of Boundary and Confluent Graph Grammars on Graph Languages of Bounded Degree. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF boundary and confluent graph grammars, operator normal form, graph languages of bounded degree, graph grammars
15Gerald M. Karam, Raymond J. A. Buhr Starvation and Critical Race Analyzers for Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
15John F. Haddon, James F. Boyce Image Segmentation by Unifying Region and Boundary Information. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF entropy minimisation, FLIR images, two-stage method, gray level cooccurrence matrices, initial pixel classification, interior, edge map, general edge operators, Canny operator, pattern recognition, pattern recognition, image segmentation, probability, matrix algebra, minimisation, region, boundary, conditional probabilities, synthetic images, local information
15Shi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu A Visual Language Compiler. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF visual language compiler, SIL-ICON compiler, icon-oriented systems, icon system, G, icon dictionary, operator dictionary, extended task action grammar, ETAG, text editor, Heidelberg icon set, user interfaces, specification, computer graphics, prototyping, generation, system design, interpretation, program compilers, software system, OD, ID
15Yi Lu, Ramesh C. Jain Behavior of Edges in Scale Space. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF edge behaviour, edge recovery, Laplacian or Gaussian operator, corollaries, artificial intelligence, picture processing, computerised picture processing, computerised pattern recognition, computerised pattern recognition, reasoning, scale space, assertions, complex images
15Luqi, Valdis Berzins, Raymond T. Yeh A Prototyping Language for Real-Time Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF prototyping language, PSDL, nonprocedural control constraints, operator abstractions, real-time systems, real-time systems, embedded systems, data structures, specification languages, specification languages, software reusability, requirements analysis, timing constraints, data abstractions, real-time software, reusable software components, feasibility studies
15Rakesh Agrawal 0001 Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Codd, alpha operator, transitive relationships, project management network, relational databases, query languages, database theory, deductive databases, relational algebra, critical path, recursive functions, recursive queries
12Xiaolan Joy Zhang, Sujay S. Parekh, Bugra Gedik, Henrique Andrade, Kun-Lung Wu Workload characterization for operator-based distributed stream processing applications. Search on Bibsonomy DEBS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF stream processing system, profiling, workload characterization
12Panayiotis Neophytou, Mohamed A. Sharaf, Panos K. Chrysanthis, Alexandros Labrinidis Power-aware operator placement and broadcasting of continuous query results. Search on Bibsonomy MobiDE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
12Steven Orla Kimbrough, David Harlan Wood Randomized interpolation: a crossover operator producing children at a constraint transition. Search on Bibsonomy GECCO (Companion) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF combinatorial interpolation, constrained optimization
12 Operator Scheduling. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12 Rollback Operator. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12 Non-Pipelineable Operator. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12 Operator Tree. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Sergio A. Celani Topological Duality for Boolean Algebras with a Normal n-ary Monotonic Operator. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B45, 06E25
12Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer An Update Operator for Strategic Ability. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Dirk Thierens Adaptive Operator Selection for Iterated Local Search. Search on Bibsonomy SLS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Steven J. Landry, Amit V. Lagu A Model of Integrated Operator-System Separation Assurance and Collision Avoidance. Search on Bibsonomy HCI (11) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF safety, air traffic control, human performance modeling, aviation
12Karin Schweizer, Denise Gramß, Susi Mühlhausen, Birgit Vogel-Heuser Mental Models in Process Visualization - Could They Indicate the Effectiveness of an Operator's Training? Search on Bibsonomy HCI (17) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Lydie Edward, Domitile Lourdeaux, Jean-Paul A. Barthès Human Factors Affecting Decision in Virtual Operator Reasoning. Search on Bibsonomy Brain Informatics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen A Collection Operator for Graph Transformation. Search on Bibsonomy ICMT@TOOLS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Levente Buttyán, László Dóra An authentication scheme for QoS-aware multi-operator maintained wireless mesh networks. Search on Bibsonomy WOWMOM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Edwin Roger Banks, Paul Agarwal, Marshall McBride, Claudette Owens Toward a universal operator encoding for genetic programming. Search on Bibsonomy GECCO (Companion) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF addsub, diviplication, interpolated operators, muldiv, simplified arithmetic operators, subdition, universal operators, genetic programming
12Mark A. Taylor, Amik St.-Cyr, Aimé Fournier A Non-oscillatory Advection Operator for the Compatible Spectral Element Method. Search on Bibsonomy ICCS (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Zhongkang Lu, Susanto Rahardja A contrast perception matching based HDR tone-mapping operator. Search on Bibsonomy SIGGRAPH ASIA Posters The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París The Foldl Operator as a Coequalizer Using Coq. Search on Bibsonomy EUROCAST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Salem Fawaz Adra, Peter J. Fleming A Diversity Management Operator for Evolutionary Many-Objective Optimisation. Search on Bibsonomy EMO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Evolutionary Multiobjective optimisation, Diversity requirement
12Leonardo Vanneschi, Sara Silva Using Operator Equalisation for Prediction of Drug Toxicity with Genetic Programming. Search on Bibsonomy EPIA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Norihiro Kamide, Ken Kaneiwa Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Thomas Rölleke, Hengzhi Wu, Jun Wang 0032, Hany Azzam Modelling retrieval models in a probabilistic relational algebra with a new operator: the relational Bayes. Search on Bibsonomy VLDB J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF DB + IR integration, Probabilistic databases, Retrieval models, Probabilistic relational modelling
12Mina Ryoke, Yoshiteru Nakamori, Van-Nam Huynh Personalized Recommendation for Traditional Crafts Using Fuzzy Correspondence Analysis with Kansei Data and OWA Operator. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
12Millie Pant, Radha Thangaraj, Ajith Abraham A New PSO Algorithm with Crossover Operator for Global Optimization Problems. Search on Bibsonomy Innovations in Hybrid Intelligent Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Particle Swarm Optimization, Global Optimization, Crossover, Quadratic Interpolation
12Siyuan Wu, Zhixing Huang A Gossip-based Opinion Diffusion Model via Uninorm Aggregation Operator. Search on Bibsonomy ISECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
12Jean-Paul Wetzel, Salim Belblidia, Jean-Claude Bignon Specification and Implementation of a Folding Parametric Operator to Assist Architectural Conception at the Drafting Stage. Search on Bibsonomy CGIV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
12Thomas Hulin, Carsten Preusche, Gerd Hirzinger Stability boundary for haptic rendering: Influence of human operator. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
12Xian Zeng, Zhiyong Feng 0001, Vanbien Le, Yuan Xue, Yuewei Lin An Auction Based Joint Radio Resource Management Scheme and Architecture in a Multi-Operator Scenario. Search on Bibsonomy VTC Spring The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
12Victor W. Marek, Jeffrey B. Remmel On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #701 - #800 of 15672 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license