Search results for "operator"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Josef Slapal	F-Net Convergence with Respect to a Closure Operator.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	convergence structure, compactness, separation, net, closure operator, neighborhood
27	Narasimhan Ramasubramanian, Ram Subramanian, Santosh Pande	Automatic Compilation of Loops to Exploit Operator Parallelism on Configurable Arithmetic Logic Units.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	operator parallelism, FPGAs, parallel computing, Compilers, loop transformation, reconfigurable systems
27	Sandhya Seshadri, Michael S. Hsiao	Behavioral-Level DFT via Formal Operator Testability Measures.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	behavioral level, operator testability, value range, SSA representation, DFT
27	Maria Manuel Clementino, Eraldo Giuli, Walter Tholen	What is a Quotient Map with Respect to a Closure Operator?	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	c-initial morphism, c-final morphism, c-quotient, Whitehead's Theorem, closure operator
27	Xiaochun Cheng, Haihong Dai	Operator Fuzzy Logic Based on Argumentation.	HICSS (5)	1998	DBLP DOI BibTeX RDF	Operator Fuzzy Logic, argumentation, conflict resolution, nonmonotonic reasoning, Horn clause
27	Fabrizio Russo 0001, Giovanni Ramponi	An image enhancement technique based on the FIRE operator.	ICIP	1995	DBLP DOI BibTeX RDF	image enhancement technique, FIRE operator, fuzzy logic approach, fuzzy inference ruled by else-action, nonlinear operators, image data processing, smoothing rules, sharpening rules, very small rulebase, performance, fuzzy logic, image enhancement, inference mechanisms, image quality, fuzzy rules, smoothing methods
27	Xin Feng, Minyong Shi	Surface representation and processing.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
27	C. J. van Rijsbergen	Quantum haystacks.	SIGIR	2006	DBLP DOI BibTeX RDF
27	Lourdes Peña Castillo, Stefan Wrobel	Macro-Operators in Multirelational Learning: A Search-Space Reduction Technique.	ECML	2002	DBLP DOI BibTeX RDF
26	Xing Qiao, Zhaoxing Li, Dan Ma	Exponential Asymptotic Stability of a Two-Unit Standby Redundant Electronic Equipment System under Human Failure.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Exponential asymptotic stability, Quasi-compact operator, c 0-semigroup, Electronic equipment system
26	Zhihong Mao, Lizhuang Ma, Mingxi Zhao, XueZhong Xiao	SUSAN structure preserving filtering for mesh denoising.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Feature preserving smoothing, SUSAN operator, Mesh processing, Laplacian smoothing, Mesh denoising
26	Patricia Bouyer	Forward Analysis of Updatable Timed Automata.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	(updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness
26	Nicholas J. Daras	Generalized Padé-Type Approximation and Integral Representations.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	generalized Padé-type approximant, Bergman kernel, integral representation, self-summable countable orthonormal set in a Hilbert space, bianalytic map, Fourier series, integral operator
26	Xing-Jin Sun, Guang-Yi Cao, Xin-Jian Zhu	A Novel Genetic Algorithm and its Application in Fuzzy Variable Structure Control of Fuel Cell.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	ranking genetic algorithm, improved crossover operator, molten carbonate fuel cell (MCFC)
26	Henk J. A. M. Heijmans	Connected Morphological Operators and filters for Binary Images.	ICIP (2)	1997	DBLP DOI BibTeX RDF	connected morphological operators, connected morphological filters, flat zones, connected regions, grey-level, background grains, foreground grains, grain operator, grain criteria, image processing, binary images
26	Ralph Acker, Christian Roth, Rudolf Bayer	Parallel Query Processing in Databases on Multicore Architectures.	ICA3PP	2008	DBLP DOI BibTeX RDF	relational dbms, intra-operator, inter-operator, scheduling, optimization, encapsulation, parallel query processing
26	Liepa Bikulciené, Zenonas Navickas	Expressions of Solutions of Linear Partial Differential Equations Using Algebraic Operators and Algebraic Convolution.	NAA	2008	DBLP DOI BibTeX RDF	Cauchy problem, perfect operator, algebraic convolution, Appell polynomials, Algebraic operator
26	Gilles Blanchard, Olivier Bousquet, Laurent Zwald	Statistical properties of kernel principal component analysis.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Fast convergence rates, Kernel spectrum estimation, Covariance operator, Kernel integral operator, Kernel principal components analysis
26	Joseph Dunn, Sean Davey, Anne Descour, Richard T. Snodgrass	Sequenced Subset Operators: Definition and Implementation.	ICDE	2002	DBLP DOI BibTeX RDF	sequenced operator, anti-semi-join, validity period, . algebraic operator implementation, temporal query language
26	Bob Fields, Peter C. Wright, Michael D. Harrison	A task centered approach to analysing human error tolerance requirements.	RE	1995	DBLP DOI BibTeX RDF	task centered approach, human error tolerance requirements, human operators, operator tasks, software engineering notation, structured tasks, human error forms, formal specification, software development, human factors, systems engineering, user centred design, safety critical systems, task analysis, safety-critical software, operator models, system safety
24	Itaï Ben Yaacov	Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825-838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477-505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1factors. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609-628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000-1004.	Bull. Symb. Log.	2015	DBLP DOI BibTeX RDF
24	Hélène Le Cadre, Mustapha Bouhtou, Bruno Tuffin	A Pricing Model for a Mobile Network Operator Sharing Limited Resource with a Mobile Virtual Network Operator.	ICQT	2009	DBLP DOI BibTeX RDF
24	John C. Stewien, Timothy L. J. Ferris	The asterisk operator. An edge detection operator addressing the problem of clean edges in bone X-ray images.	KES (3)	1998	DBLP DOI BibTeX RDF
23	Owe Axelsson, János Karátson	Equivalent operator preconditioning for elliptic problems.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Equivalent operators, Compact operators, Preconditioning, Conjugate gradient method, Elliptic problem
23	Cali M. Fidopiastis, Julie M. Drexler, Daniel J. Barber, Keryl Cosenzo, Michael J. Barnes, Jessie Y. C. Chen, Denise M. Nicholson	Impact of Automation and Task Load on Unmanned System Operator's Eye Movement Patterns.	HCI (16)	2009	DBLP DOI BibTeX RDF	Unmanned Ground Systems, Eye Tracking, Workload, Adaptive Automation
23	Sylvie Alayrangues, Samuel Peltier, Guillaume Damiand, Pascal Lienhardt	Border Operator for Generalized Maps.	DGCI	2009	DBLP DOI BibTeX RDF
23	Célia da Costa Pereira, Mauro Dragoni, Gabriella Pasi	A Prioritized "And" Aggregation Operator for Multidimensional Relevance Assessment.	AI*IA	2009	DBLP DOI BibTeX RDF
23	Álvaro Fialho, Luís Da Costa, Marc Schoenauer, Michèle Sebag	Extreme Value Based Adaptive Operator Selection.	PPSN	2008	DBLP DOI BibTeX RDF
23	Beibei Wang 0001, Chia-Chin Chong, Fujio Watanabe, K. J. Ray Liu	Dynamic Frequency-Intelligent Reserve-and-Switch Technique (D-FIRST) to Combat Inter-Operator Interference.	ICC	2008	DBLP DOI BibTeX RDF
23	Takafumi Nakanishi, Koji Zettsu, Yutaka Kidawara, Yasushi Kiyoki	A Vector Space Model on Hierarchical Structures with Dynamic Mapping Operator Creation.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
23	Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xiaoming Sun 0001, Andrew Chi-Chih Yao	Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems.	CCC	2008	DBLP DOI BibTeX RDF	multi-prover interactive proof systems, quantum nonlocality, Tsirelson inequality, entanglement
23	Ee Sian Neo, Kazuhito Yokoi, Shuuji Kajita, Kazuo Tanie	Whole-Body Motion Generation Integrating Operator's Intention and Robot's Autonomy in Controlling Humanoid Robots.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
23	Simon M. Lucas	A statistically aligned recombination operator for finite state machines.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
23	George G. Mitchell, Barry McMullin, James Decraene	A cost benefit operator for efficient multi level genetic algorithm searches.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
23	Steven Orla Kimbrough, David Harlan Wood	On gray-coded binary representation for supporting a (repair-by-interpolation) genetic operator for constrained Optimization Problems.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
23	Mukesh M. Raghuwanshi, O. G. Kakde	Study of Operator's adaptability and scale-up study for RAGA.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
23	Yu-Hsin Liu, Rong-Chang Jou, Cheng-Chieh Wang, Ching-Shu Chiu	An Evolutionary Algorithm with Diversified Crossover Operator for the Heterogeneous Probabilistic TSP.	MDAI	2007	DBLP DOI BibTeX RDF
23	Manuel E. Gegúndez, Pablo Palacios, José Luis Álvarez	A New Self-adaptative Crossover Operator for Real-Coded Evolutionary Algorithms.	ICANNGA (1)	2007	DBLP DOI BibTeX RDF
23	Hiroshi Igarashi	Human adaptive assist planning without operator awareness.	SMC	2007	DBLP DOI BibTeX RDF
23	Keith Mason, Catherine Howard, Jeff Sturm, Craig Keogh	An assessment of the impact of ELEXSA visualizations on operator situation awareness.	OZCHI	2007	DBLP DOI BibTeX RDF	applications of information visualization, information visualization
23	Anna Deytseva	On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application.	CASC	2007	DBLP DOI BibTeX RDF
23	Maciej Majewski, Wojciech Kacalak	Intelligent Two-Way Speech Communication System Between the Technological Device and the Operator.	KES (3)	2005	DBLP DOI BibTeX RDF
23	Stefan Strubbe, Rom Langerak	A Composition Operator for Systems with Active and Passive Actions.	FORTE	2005	DBLP DOI BibTeX RDF	supervisory control, Compositional modelling
23	Dennis Pedersen, Torben Bach Pedersen, Karsten Riis	The Decoration Operator: A Foundation for On-Line Dimensional Data Integration.	IDEAS	2004	DBLP DOI BibTeX RDF
23	Sang-Moon Soak, Byung-Ha Ahn	New Genetic Crossover Operator for the TSP.	ICAISC	2004	DBLP DOI BibTeX RDF
23	Robert Jeansoulin, Éric Würbel	An anytime revision operator for large and uncertain geographic data sets.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Geomatics, Geographic information systems, Belief revision, Approximate reasoning, Spatial constraints, Non-classical logics
23	Sang-Moon Soak, Byung-Ha Ahn	New Subtour-Based Crossover Operator for the TSP.	GECCO	2003	DBLP DOI BibTeX RDF
23	Ying-Ping Chen, David E. Goldberg	An Analysis of a Reordering Operator with Tournament Selection on a GA-Hard Problem.	GECCO	2003	DBLP DOI BibTeX RDF
23	Scott Dick, Wladimir Rodriguez, Abraham Kandel	A granular counterpart to the gradient operator.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Linguistic gradient, Granular computing, Qualitative reasoning, Computing with words, Linguistic variables
23	Shurug Al-Khalifa, H. V. Jagadish	Multi-level operator combination in XML query processing.	CIKM	2002	DBLP DOI BibTeX RDF	XML, query processing
23	René Thomsen, Thiemo Krink	Self-adaptive Operator Scheduling Using the Religion-Based EA.	PPSN	2002	DBLP DOI BibTeX RDF
23	Domingo Ortiz-Boyer, César Hervás-Martínez, Nicolás García-Pedrajas	Crossover Operator Effect in Function Optimization with Constraints.	PPSN	2002	DBLP DOI BibTeX RDF
23	Marco Vieira, Henrique Madeira	Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking.	PRDC	2002	DBLP DOI BibTeX RDF
23	Liviu Badea	A Refinement Operator for Theories.	ILP	2001	DBLP DOI BibTeX RDF
23	Kay C. Wiese, Scott D. Goodwin, Sivakumar Nagarajan	ASERC - A Genetic Sequencing Operator for Asymmetric Permutation Problems.	AI	2000	DBLP DOI BibTeX RDF
23	Yania Crespo, Juan José Rodríguez, José Manuel Marqués Corral	Obtaining Generic Classes Automatically through a Parameterization Operator: A Focus on Constrained Genericity.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	restructuring classes, reorganizing hierarchies, constrained genericity, object oriented programming, reuse, Eiffel
23	Guo Tao, Zbigniew Michalewicz	Inver-over Operator for the TSP.	PPSN	1998	DBLP DOI BibTeX RDF
23	Andrew Tuson, Peter Ross	Cost Based Operator Rate Adaption: An Investigation.	PPSN	1996	DBLP DOI BibTeX RDF
23	Karl Stroetmann 0001, Thomas Glaß	A Declarative Semantics for the Prolog Cut Operator.	ELP	1996	DBLP DOI BibTeX RDF
23	Juanito Camilleri	A Conditional Operator for CCS.	CONCUR	1991	DBLP DOI BibTeX RDF
23	Stephen L. France, J. Douglas Carroll	DEMScale: Large Scale MDS Accounting for a Ridge Operator and Demographic Variables.	IDA	2009	DBLP DOI BibTeX RDF	Ridge Operator, Visualization, PCA, MDS
23	Jianhua Zhang, Xing-Yu Wang, Mahdi Mahfouf, Derek A. Linkens	Fuzzy Logic based Identification of Operator Functional States Using Multiple Physiological and Performance Measures.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Operator functional states, automation-enhanced cabin air management system (aCAMS), genetic algorithm, ANFIS, human-machine system
23	Stephen Dignum, Riccardo Poli	Operator Equalisation and Bloat Free GP.	EuroGP	2008	DBLP DOI BibTeX RDF	Program Length, Operator Equalisation, Genetic Programming, Search, Bloat
23	Marc Fuentes	Diagonalization of the symmetrized discrete i th right shift operator: an elementary proof.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Discrete right shift operator, Eigenvalues, Eigenvectors
23	Jiahai Wang, Yalan Zhou	Quantum-Behaved Particle Swarm Optimization with Generalized Local Search Operator for Global Optimization.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Quantum-behaved particle swarm optimization, generalized local search operator, global optimization
23	Paul Houston, Ilaria Perugia, Dominik Schötzau	Mixed Discontinuous Galerkin Approximation of the Maxwell Operator: Non-Stabilized Formulation.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	Maxwell operator, Discontinuous Galerkin methods, mixed methods
23	Yayun Wan, Jaijeet S. Roychowdhury	Operator-based model-order reduction of linear periodically time-varying systems.	DAC	2005	DBLP DOI BibTeX RDF	LPTV systems, modularity, operator, model-order reduction
23	Shi-Huang Chen, Jhing-Fa Wang	Speech Enhancement Using Perceptual Wavelet Packet Decomposition and Teager Energy Operator.	J. VLSI Signal Process.	2004	DBLP DOI BibTeX RDF	perceptual wavelet packet decomposition (PWPD), teager energy operator (TEO), time-adaptive thresholding (TAT), speech enhancement
23	Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, Andre Vehreschild	Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs.	SCAM	2002	DBLP DOI BibTeX RDF	operator overloading, MATLAB, high-level language, automatic differentiation, derivatives, source transformation
23	Gabriele Castellini	Connectedness with Respect to a Closure Operator.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	constant morphism, closure operator, connectedness, Galois connection
23	Eraldo Giuli, Walter Tholen	Openness with Respect to a Closure Operator.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closed morphism, open morphism, initial morphism, final morphism, open subobject, natural complement, closure operator
23	Zili Zhang 0001, Chengqi Zhang	Result Fusion in Multi-Agent Systems Based on OWA Operator.	ACSC	2000	DBLP DOI BibTeX RDF	Multi-Agent Systems, Information Fusion, Group Decision Making, Ordered Weighted Averaging Operator
23	Hae Yong Kim	Segmentation-Free Printed Character Recognition by Relaxed Nearest Neighbor Learning of Windowed Operator.	SIBGRAPI	1999	DBLP DOI BibTeX RDF	nearest neighbor learning, windowed operator design, Optical character recognition, kd-tree
23	Jos C. M. Baeten, Jan A. Bergstra	The State Operator in Real Time Process Algebra.	REX Workshop	1991	DBLP DOI BibTeX RDF	state operator, real time, locations, & Phrases process algebra
23	Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli	Logic Programs under Three-Valued Lukasiewicz Semantics.	ICLP	2009	DBLP DOI BibTeX RDF	Three Valued Logic Programs, ?ukasiewicz Semantics
23	Maoguo Gong, Licheng Jiao, Wenping Ma 0001	Orthogonal immune algorithm with diversity-based selection for numerical optimization.	GEC Summit	2009	DBLP DOI BibTeX RDF	orthogonal experimental design, evolutionary algorithm, numerical optimization, clonal selection algorithm
23	Tomomichi Hagiwara	Fast-lifting approach to time-delay systems: Fundamental framework.	CDC	2008	DBLP DOI BibTeX RDF
23	Ziyi Chen, Lishan Kang, Lijun Liu	Improved GuoTao Algorithm for Unconstrained Optimization Problems.	ISICA	2008	DBLP DOI BibTeX RDF
23	Zeming Zhang, Wenjian Luo, Xufa Wang	Immune genetic programming based on register-stack structure.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
23	Götz E. Pfander, D. F. Walnut	Measurement of Time-Variant Linear Channels.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
23	Xiaogang Qi, Lifang Liu 0001, Sanyang Liu	A Novel Evolutionary Algorithm for Multi-constrained Path Selection.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
23	Pierre P. Duez, Michael Zuliani, Greg A. Jamieson	Trust by design: information requirements for appropriate trust in automation.	CASCON	2006	DBLP DOI BibTeX RDF
23	Stavros Harizopoulos, Vladislav Shkapenyuk, Anastassia Ailamaki	QPipe: A Simultaneously Pipelined Relational Query Engine.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
23	Gerard Allwein, Hilmi Demir, Lee Pike	Logics for Classes of Boolean Monoids.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	algebras of relations, Boolean monoids, correspondence theory, Kripke frames, relative modalities, CMOS circuits
23	Michael A. Wolfe	On a Second Derivative Test due to Qi.	Reliab. Comput.	1998	DBLP DOI BibTeX RDF
23	Pradeep K. Khosla, Nikolaos Papanikolopoulos	Telerobotic visual servoing.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	cartesian controller, optical flow, correlation, Adaptive controller, visual servoing, telerobotics
23	Goetz Graefe	Encapsulation of Parallelism in the Volcano Query Processing System.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
23	José Carmo, Amílcar Sernadas	Inevitability in Branching Time.	Logic at Botik	1989	DBLP DOI BibTeX RDF
23	Jean-Nicolas Ouellet, Patrick Hébert	Precise ellipse estimation without contour point extraction.	Mach. Vis. Appl.	2009	DBLP DOI BibTeX RDF	Ellipse targets, Dual conic, Dual ellipse, Geometric fitting, Forstner operator, Conic
23	Xiaomin Liu, Peihua Li, Qi Song	Eyelid Localization in Iris Images Captured in Less Constrained Environment.	ICB	2009	DBLP DOI BibTeX RDF	Eyelid localization, Integro-differential parabolic arc operator, 1D Signal, RANSAC
23	Peter Svenmarck, Dennis Andersson, Björn Lindahl, Johan Hedström, Patrik Lif	Tactical Reconnaissance Using Groups of Partly Autonomous UGVs.	HCI (17)	2009	DBLP DOI BibTeX RDF	Operator-to-Vehicle Ratio, Supervisory Control, Multi-Robot Systems, Reconnaissance, UGV
23	Reno Filla	A Methodology for Modeling the Influence of Construction Machinery Operators on Productivity and Fuel Consumption.	HCI (11)	2009	DBLP DOI BibTeX RDF	dynamic simulation, driver model, operator model
23	Ruzica Piskac, Viktor Kuncak	Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.	CSL	2008	DBLP DOI BibTeX RDF	verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets
23	Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao	Implication Operators Based on Rough Set Model over Boolean Algebras.	GrC	2007	DBLP DOI BibTeX RDF	Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras
23	Zhihong Mao, Lizhuang Ma, Mingxi Zhao, Zhong Li	A Modified Laplacian Smoothing Approach with Mesh Saliency.	Smart Graphics	2006	DBLP DOI BibTeX RDF	Lapalacian Smoothing Operator, Perceptually Salient, Shape Features, Mesh Saliency, Mesh Fairing
23	Bernhard Burgeth, Stephan Didas, Joachim Weickert	Relativistic Scale-Spaces.	Scale-Space	2005	DBLP DOI BibTeX RDF	Kinetic energy, Poisson scale-space, pseudodifferential operator, semigroup
23	Madasu Hanmandlu, John See, Shantaram Vasikarla	Fuzzy Edge Detector Using Entropy Optimization.	ITCC (1)	2004	DBLP DOI BibTeX RDF	fuzzy image processing, contrast intensification operator, fuzzifier, crossover point, Gaussian membership function, entropy, image enhancement, Edge detector
23	Joan Jacas, Jordi Recasens	Maps and isometries between indistinguishability operators.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Indistinguishability operator, Similarity, Morphism, Fuzzy equality, Isometry
23	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
23	Yoonsik Cheon, Heung-Nam Kim	Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks.	APSEC	1999	DBLP DOI BibTeX RDF	sequence operator, specification language, Smalltalk, formal semantics, block, Program specification