|
|
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 |
15 | Atul Gupta, Pankaj Jalote |
An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 365-378, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Block coverage, Predicate coverage, Software testing, Experiment, Statistical analysis, Test case generation, Mutation Operator, Branch coverage |
15 | Yun-Zhi Zou, Nan-Jing Huang |
An Iterative Method for Quasi-Variational-Like Inclusions with Fuzzy Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 349-356, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Generalized quasi-variational-like inclusion, resolvent operator, iterative algorithm, fuzzy mapping |
15 | Stefan Porschen |
Algorithms for Rectangular Covering Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I, pp. 40-49, 2006, Springer, 3-540-34070-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
rectangular covering problem, integer grid, dynamic programming, closure operator |
15 | Eduardo Abreu, Frederico Furtado, Felipe Pereira |
Numerical Simulation of Three-Phase Flow in Heterogeneous Porous Media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: High Performance Computing for Computational Science - VECPAR 2006, 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers, pp. 504-517, 2006, Springer, 978-3-540-71350-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Three-phase flow, central difference scheme, non-classical waves, operator splitting, mixed finite elements, porous media |
15 | Jean Diatta, Daniel Rajaonasy Feno, André Totohasina |
Galois Lattices and Bases for MGK-Valid Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLA ![In: Concept Lattices and Their Applications, Fourth International Conference, CLA 2006, Tunis, Tunisia, October 30 - November 1, 2006, Selected Papers, pp. 186-197, 2006, Springer, 978-3-540-78920-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Quality measure, Closure operator, Galois connection, Basis, Negative association rule |
15 | Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti |
The Efficiency of Critical Slicing in Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 13(2), pp. 129-153, 2005. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Hong-Cheu Liu, John Zeleznikow |
Relational computation for mining association rules from XML data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 253-254, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fixpoint operator, association rules, query optimisation |
15 | Cuong 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](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 512-521, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Computational linguistics, Word sense disambiguation, Classifier combination, OWA operator |
15 | Vincenzo 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](Pics/bibsonomy.png) |
EvoCOP ![In: Evolutionary Computation in Combinatorial Optimization, 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings, pp. 80-90, 2005, Springer, 3-540-25337-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
memory B cells, functional model proteins, protein structure prediction, Clonal selection algorithms, HP model, aging operator |
15 | Alain Gély |
A Generic Algorithm for Generating Closed Sets of a Binary Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings, pp. 223-234, 2005, Springer, 3-540-24525-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Galois or concept lattice, Closure operator, Generation algorithm |
15 | Bernhard Ganter, Léonard Kwuida |
Which Concept Lattices Are Pseudocomplemented?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings, pp. 408-416, 2005, Springer, 3-540-24525-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pseudocomplement, arrow-relation, complete homomorphism, lattices, Formal Concept Analysis, closure operator |
15 | Stefan Porschen |
On the Rectangular Subset Closure of Point Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part I, pp. 796-805, 2005, Springer, 3-540-25860-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
rectangular covering problem, closure operator |
15 | Martin Reuter 0001, Franz-Erich Wolter, Niklas Peinecke |
Laplace-spectra as fingerprints for shape matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the Tenth ACM Symposium on Solid and Physical Modeling 2005, Cambridge, Massachusetts, USA, June 13-15, 2005, pp. 101-106, 2005, ACM, 1-59593-015-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
parameterized surfaces and bodies, shape invariants, fingerprints, copyright protection, shape matching, NURBS, polyhedra, database retrieval, laplace-beltrami operator |
15 | H. L. Bentley, Eva Lowen-Colebunders |
Initial Morphisms versus Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(4), pp. 361-367, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
subobject, initial morphism, bicoreflective, dense morphism, epireflective, embedding, closure operator, topological construct, factorization structure |
15 | George Georgescu, Andrei Popescu 0001 |
Non-dual fuzzy connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(8), pp. 1009-1039, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Isotone structure, conjugated pair, Duality, Fuzzy set theory, Closure operator, Galois connection |
15 | Stefan Berlik |
Directed Mutation by Means of the Skew-Normal Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 35-50, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Skew-normal distribution, evolutionary algorithm, mutation operator, directed mutation |
15 | Tatiana Rückschlossová |
Homogeneous Aggregation Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 555-563, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
kernel property, homogeneity, aggregation operator |
15 | Guoliang Xu |
Convergent Discrete Laplace-Beltrami Operators over Triangular Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: 2004 Geometric Modeling and Processing (GMP 2004), Theory and Applications, 13-15 April 2004, Beijing, China, pp. 195-204, 2004, IEEE Computer Society, 0-7695-2078-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Surface triangulation, Convergence, Discretization, Laplace-Beltrami Operator |
15 | János C. Fodor |
Binary Operations on Fuzzy Sets: Recent Advances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 16-29, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
left-continuous t-norm, nilpotent minimum, nullnorm, t-operator, finite chain, unipolar and bipolar scale, associativity, uninorm |
15 | Mustafa Demirci |
Artihmetic of Fuzzy Quantities Based On Vague Arithmetic Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 159-166, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Vague arithmetic, Fuzzy equivalence relation, Indistinguishability operator, Fuzzy function, Fuzzy arithmetic |
15 | Frederick W. Chapman |
An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 50-57, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Lorenzo 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](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 17(1-4), pp. 683-694, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fictitious domain, distributed Lagrange multipliers, moving rigid bodies, operator splitting, finite element, Navier-Stokes equations |
15 | Heraldo Maciel França Madeira, Hélio Pedrini |
Boolean Decomposition of Binary Image Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 15th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2002), 7-10 October 2002, Fortaleza-CE, Brazil, pp. 313-, 2002, IEEE Computer Society, 0-7695-1846-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Boolean decomposition, binary image operator, image processor architecture, decision diagram |
15 | Mukund Sivaraman, Shail Aditya |
Cycle-time aware architecture synthesis of custom hardware accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2002, Greenoble, France, October 8-11, 2002, pp. 35-42, 2002, ACM, 1-58113-575-0. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Jiu Ding, Zizhong Wang |
Parallel Computation of Invariant Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 103(1-4), pp. 283-290, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
invariant measure, Frobenius-Perron operator |
15 | Dirk Söffker |
From Human-Machine-Interaction Modeling to New Concepts Constructing Autonomous Systems: A Phenomenological Engineering-Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 32(2), pp. 191-205, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
machine learning, interaction, autonomous system, operator, situation, qualitative modeling |
15 | Rozália Sz. Madarász, Boza Tasic |
On the Partially Ordered Semigroup Generated by the Class Operators I, R, H, S, P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 18(1), pp. 49-60, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
class operators, operator of retraction, partially ordered semigroup and monoid |
15 | Luigi Iuspa, Francesco Scaramuzzino |
A bit-masking oriented data structure for evolutionary operators implementation in genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(1), pp. 58-68, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Bit-masking, Evolutionary operators, Prediction operator, Genetic algorithms |
15 | Suman 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](Pics/bibsonomy.png) |
ITCC ![In: 2001 International Symposium on Information Technology (ITCC 2001), 2-4 April 2001, Las Vegas, NV, USA, pp. 191-195, 2001, IEEE Computer Society, 0-7695-1062-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Contractive map, iterated function system (IFS), Collage theorem, Markov operator, measure, image compression |
15 | Timothy F. Havel, S. S. Somaroo, C.-H. Tseng, David G. Cory |
Principles and Demonstrations of Quantum Information Processing by NMR Spectroscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(4/5), pp. 339-374, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Nuclear magnetic resonance, Pseudo-pure states, Product operator formalism, Quantum computation, Quantum error correcting codes |
15 | Lindsay Groves |
A formal approach to program modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 274-281, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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 |
15 | David E. Losada, Alvaro Barreiro |
Retrieval Situations and Belief Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 531-537, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Philippe Chatalic, Laurent Simon |
Multi-resolution on compressed sets of clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 2-10, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Ville Laurikari |
NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000, pp. 181-187, 2000, IEEE Computer Society, 0-7695-0746-8. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Karthick Rajamani, Alan L. Cox, Balakrishna R. Iyer, Atul Chadha |
Efficient Mining for Association Rules with Relational Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 1999 International Database Engineering and Applications Symposium, IDEAS 1999, Montreal, Canada, August 2-4, 1999, Proceedings, pp. 148-155, 1999, IEEE Computer Society, 0-7695-0265-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
operator for association, association rule mining, Database mining |
15 | Ehoud Ahronovitz, Christophe Fiorio, Sylvain Glaize |
Topological Operators on the Topological Graph of Frontiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 8th International Conference, DCGI'99, Marne-la-Vallee, France, March 17-19, 1999, Proceedings, pp. 207-217, 1999, Springer, 3-540-65685-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
topological operator, enclosed region, topological graph of frontiers, topological representation, segmented image manipulation |
15 | Brigitte Vallée |
Dynamics of the Binary Euclidean Algorithm: Functional Analysis and Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 22(4), pp. 660-685, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Ruelle operator, Hardy spaces, Tauberian theorems, Dynamical systems, Analysis of algorithms, Generating functions, Continued fractions |
15 | James C. Dehnert, Alexander Stepanov 0001 |
Fundamentals of Generic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 1-11, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Generic programming, operator semantics, concept, regular type |
15 | Behzad Kamgar-Parsi, Behrooz Kamgar-Parsi, Azriel Rosenfeld |
Optimum Laplacian for Digital Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 728-731, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
optimum Laplacian operator, spatially quantized approximations, quantized images, square pixels, image processing, digital image processing, anisotropy |
15 | B. K. Low, M. K. Ibrahim |
A Fast and Accurate Algorithm for Facial Feature Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 518-521, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Nawapak Eua-anant, Lalita Udpa |
Boundary Extraction Algorithm Based on Particle Motion in a Vector Image Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 732-735, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Andrea Polesel, Giovanni Ramponi, V. John Mathews |
Adaptive Unsharp Masking for Contrast Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 267-270, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Wenwu 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](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 192-195, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Yuntao Cui, Qian Huang |
Automatic license extraction from moving vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 126-129, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Irith Pomeranz, Sudhakar M. Reddy |
On improving genetic optimization based test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ED&TC ![In: European Design and Test Conference, ED&TC '97, Paris, France, 17-20 March 1997, pp. 506-511, 1997, IEEE Computer Society, 0-8186-7786-4. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Yuntao Cui, Qian Huang |
Character extraction of license plates from video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 502-507, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Thomas Ragg, Steffen Gutjahr |
Automatic determination of optimal network topologies based on information theory and evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 549-555, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Hideki Kawabe, Yoshimi Fukumura, Nobuo Mutoh, Hiroaki Karasawa, Shigehito Iwase |
An Intelligent Directory-Assistance System Using Natural Language Processing and Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 486-, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Directory assistance, Natural language processing, Map, Operator |
15 | Michael F. Singer |
Testing reducibility of linear differential operators: A group theoretic perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 7(2), pp. 77-104, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Linear differential operator, Berlekamp algorithm, Differential Galois theory, Factorization |
15 | Shree K. Nayar, Masahiro Watanabe, Minori Noguchi |
Real-Time Focus Range Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(12), pp. 1186-1198, 1996. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Dennis B. Mulcare |
System-level optimization of architectural performance under varying service demands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 235-, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Sahng-Mann Han |
Is OO Working as It Promised? ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 154, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Philippe Burlina, Bruce Lin, Rama Chellappa |
On a spectral attentional mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96), June 18-20, 1996 San Francisco, CA, USA, pp. 120-127, 1996, IEEE Computer Society, 0-8186-7258-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Xuemin Lin 0001, Simon Fox |
An effective parallelization of execution of multijoins in multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 63-69, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Shree K. Nayar, Masahiro Watanabe, Minori Noguchi |
Real-Time Focus Range Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 995-1001, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Sérgio Shiguemi Furuie, Gabor T. Herman, Nelson D. A. Mascarenhas, Samuel Matej |
Projection estimation in 3D PET reconstruction: a statistical evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 618-621, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Joseph M. Reinhardt, William E. Higgins |
Strategy for shape-based image analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 502-505, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Giovanni Ramponi |
A rational edge-preserving smoother. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 151-154, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | James C. Brailean, Aggelos K. Katsaggelos |
Noise robust spatial gradient estimation for use in displacement estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 211-214, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Satoshi Yamane |
Verification system for real-time specification based on extended real-time logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 192-196, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Ramayya Kumar, Thomas Kropf, Klaus Schneider 0001 |
Formal synthesis of circuits with a simple handshake protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 255-259, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Masaru Takesue |
A Family of Parallel Prefix Algorithms Embedded in Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(10), pp. 1179-1184, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
parallel prefix algorithms, associative binary operator, interconnection networks, hypercube, hypercube networks, communication pattern, omega network, parallelalgorithms |
15 | Timos K. Sellis, Leonard D. Shapiro |
Query Optimization for Nontraditional Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(1), pp. 77-86, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Franz-Josef Brandenburg |
The Equivalence of Boundary and Confluent Graph Grammars on Graph Languages of Bounded Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 312-322, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
boundary and confluent graph grammars, operator normal form, graph languages of bounded degree, graph grammars |
15 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 829-843, 1990. The full citation details ...](Pics/full.jpeg) |
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 |
15 | John F. Haddon, James F. Boyce |
Image Segmentation by Unifying Region and Boundary Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(10), pp. 929-948, 1990. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Shi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu |
A Visual Language Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 506-525, 1989. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Yi Lu, Ramesh C. Jain |
Behavior of Edges in Scale Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(4), pp. 337-356, 1989. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Luqi, Valdis Berzins, Raymond T. Yeh |
A Prototyping Language for Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(10), pp. 1409-1423, 1988. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Rakesh Agrawal 0001 |
Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(7), pp. 879-885, 1988. The full citation details ...](Pics/full.jpeg) |
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 |
12 | Xiaolan Joy Zhang, Sujay S. Parekh, Bugra Gedik, Henrique Andrade, Kun-Lung Wu |
Workload characterization for operator-based distributed stream processing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS 2010, Cambridge, United Kingdom, July 12-15, 2010, pp. 235-247, 2010, ACM, 978-1-60558-927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
stream processing system, profiling, workload characterization |
12 | Panayiotis Neophytou, Mohamed A. Sharaf, Panos K. Chrysanthis, Alexandros Labrinidis |
Power-aware operator placement and broadcasting of continuous query results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiDE ![In: Ninth ACM International Workshop on Data Engineering for Wireless and Mobile Access, Mobide 2010, June 6, 2010, Indianapolis, Indiana, USA, Proceedings, pp. 49-56, 2010, ACM, 978-1-4503-0151-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Steven Orla Kimbrough, David Harlan Wood |
Randomized interpolation: a crossover operator producing children at a constraint transition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, Companion Material, pp. 2091-2092, 2010, ACM, 978-1-4503-0073-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
combinatorial interpolation, constrained optimization |
12 | |
Operator Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1985, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | |
Rollback Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 2452, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | |
Non-Pipelineable Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1913, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | |
Operator Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1985, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Sergio A. Celani |
Topological Duality for Boolean Algebras with a Normal n-ary Monotonic Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(1), pp. 49-67, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B45, 06E25 |
12 | Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer |
An Update Operator for Strategic Ability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings, pp. 292-301, 2009, Springer, 978-3-642-04892-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Dirk Thierens |
Adaptive Operator Selection for Iterated Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLS ![In: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings, pp. 140-144, 2009, Springer, 978-3-642-03750-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Steven J. Landry, Amit V. Lagu |
A Model of Integrated Operator-System Separation Assurance and Collision Avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 394-402, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
safety, air traffic control, human performance modeling, aviation |
12 | Karin 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](Pics/bibsonomy.png) |
HCI (17) ![In: Engineering Psychology and Cognitive Ergonomics, 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 297-306, 2009, Springer, 978-3-642-02727-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Lydie Edward, Domitile Lourdeaux, Jean-Paul A. Barthès |
Human Factors Affecting Decision in Virtual Operator Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics ![In: Brain Informatics, International Conference, BI 2009, Beijing, China, October 22-24, 2009, Proceedings, pp. 84-95, 2009, Springer, 978-3-642-04953-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen |
A Collection Operator for Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, pp. 67-82, 2009, Springer, 978-3-642-02407-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Levente Buttyán, László Dóra |
An authentication scheme for QoS-aware multi-operator maintained wireless mesh networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: 10th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WOWMOM 2009, Kos Island, Greece, 15-19 June, 2009, pp. 1-6, 2009, IEEE Computer Society, 978-1-4244-4439-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Edwin Roger Banks, Paul Agarwal, Marshall McBride, Claudette Owens |
Toward a universal operator encoding for genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 1983-1986, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
addsub, diviplication, interpolated operators, muldiv, simplified arithmetic operators, subdition, universal operators, genetic programming |
12 | Mark A. Taylor, Amik St.-Cyr, Aimé Fournier |
A Non-oscillatory Advection Operator for the Compatible Spectral Element Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 273-282, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Zhongkang Lu, Susanto Rahardja |
A contrast perception matching based HDR tone-mapping operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ASIA Posters ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH ASIA 2009, Yokohama, Japan, December 16-19, 2009, Poster Proceedings, pp. 45:1, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París |
The Foldl Operator as a Coequalizer Using Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 167-176, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Salem Fawaz Adra, Peter J. Fleming |
A Diversity Management Operator for Evolutionary Many-Objective Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings, pp. 81-94, 2009, Springer, 978-3-642-01019-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Evolutionary Multiobjective optimisation, Diversity requirement |
12 | Leonardo Vanneschi, Sara Silva |
Using Operator Equalisation for Prediction of Drug Toxicity with Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, pp. 65-76, 2009, Springer, 978-3-642-04685-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Norihiro Kamide, Ken Kaneiwa |
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 485-494, 2009, Springer, 978-3-642-10438-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Thomas 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](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 17(1), pp. 5-37, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DB + IR integration, Probabilistic databases, Retrieval models, Probabilistic relational modelling |
12 | Mina Ryoke, Yoshiteru Nakamori, Van-Nam Huynh |
Personalized Recommendation for Traditional Crafts Using Fuzzy Correspondence Analysis with Kansei Data and OWA Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 311-325, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Millie Pant, Radha Thangaraj, Ajith Abraham |
A New PSO Algorithm with Crossover Operator for Global Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Hybrid Intelligent Systems ![In: Innovations in Hybrid Intelligent Systems, pp. 215-222, 2008, Springer, 978-3-540-74971-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Particle Swarm Optimization, Global Optimization, Crossover, Quadratic Interpolation |
12 | Siyuan Wu, Zhixing Huang |
A Gossip-based Opinion Diffusion Model via Uninorm Aggregation Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 492-496, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jean-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](Pics/bibsonomy.png) |
CGIV ![In: Fifth International Conference on Computer Graphics, Imaging and Visualization: Modern Techniques and Applications, CGIV 2008, Penang, Malaysia, August 25-28, 2008, pp. 138-142, 2008, IEEE Computer Society, 978-0-7695-3359-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Hulin, Carsten Preusche, Gerd Hirzinger |
Stability boundary for haptic rendering: Influence of human operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 3483-3488, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Xian 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](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 67th IEEE Vehicular Technology Conference, VTC Spring 2008, 11-14 May 2008, Singapore, pp. 1761-1765, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Victor W. Marek, Jeffrey B. Remmel |
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 223-237, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
|
|