Search results for "operators"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Daniel Gómez 0001, Karina Rojas, Javier Montero, Juan Tinguaro Rodríguez	Consistency and Stability in Aggregation Operators: An Application to Missing Data Problems.	AGOP	2013	DBLP DOI BibTeX RDF
15	José M. Merigó, Ronald R. Yager	Norm Aggregations and OWA Operators.	AGOP	2013	DBLP DOI BibTeX RDF
15	Jozo Dujmovic	Aggregation Operators and Observable Properties of Human Reasoning.	AGOP	2013	DBLP DOI BibTeX RDF
15	Anna Cena, Marek Gagolewski	OM3: Ordered Maxitive, Minitive, and Modular Aggregation Operators: Axiomatic Analysis under Arity-Dependence (I).	AGOP	2013	DBLP DOI BibTeX RDF
15	Neus Carmona, Jorge Elorza, Jordi Recasens, Jean Bragard	On the Induction of New Fuzzy Relations, New Fuzzy Operators and Their Aggregation.	AGOP	2013	DBLP DOI BibTeX RDF
15	Pawel Drygas	Distributivity Equation in the Class of Noncommutative T-Operators.	AGOP	2013	DBLP DOI BibTeX RDF
15	Daniel Paternain, Aranzazu Jurio, Radko Mesiar, Gleb Beliakov, Humberto Bustince	Image Reduction Operators as Aggregation Functions: Fuzzy Transform and Undersampling.	AGOP	2013	DBLP DOI BibTeX RDF
15	Inmaculada Lizasoain	Quasi-OWA Operators on Complete Lattices.	AGOP	2013	DBLP DOI BibTeX RDF
15	Kevin Kam Fung Yuen	Pairwise opposite matrix and its cognitive prioritization operators: comparisons with pairwise reciprocal matrix and analytic prioritization operators.	J. Oper. Res. Soc.	2012	DBLP DOI BibTeX RDF
15	Hee Sun Jung, Ryozi Sakai	Approximation by Lupas-Type Operators and Szász-Mirakyan-Type Operators.	J. Appl. Math.	2012	DBLP DOI BibTeX RDF
15	José Luis Chacón, Ramón Pino Pérez	Duality between Merging Operators and Social Contraction Operators.	LPAR	2012	DBLP DOI BibTeX RDF
15	Anja Korporal, Georg Regensburger	Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems.	AADIOS	2012	DBLP DOI BibTeX RDF
15	Stevo Stevic	Norms of multiplication operators on Hardy spaces and weighted composition operators from Hardy spaces to weighted-type spaces on bounded symmetric domains.	Appl. Math. Comput.	2010	DBLP DOI BibTeX RDF
15	Murat Diker, Senol Dost, Aysegül Altay Ugur	Interior and closure operators on texture spaces - II: Dikranjan-Giuli closure operators and Hutton algebras.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
15	Murat Diker, Senol Dost, Aysegül Altay Ugur	Interior and closure operators on texture spaces - I: Basic concepts and Cech closure operators.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
15	Ana M. Sánchez, Manuel Lozano 0001, Pedro Villar, Francisco Herrera	Hybrid crossover operators with multiple descendents for real-coded genetic algorithms: Combining neighborhood-based crossover operators.	Int. J. Intell. Syst.	2009	DBLP DOI BibTeX RDF
15	Aniruddha Banerjee, Christian M. Dippon	Voluntary relationships among mobile network operators and mobile virtual network operators: An economic explanation.	Inf. Econ. Policy	2009	DBLP DOI BibTeX RDF
15	Radim Belohlávek	A note on variable threshold concept lattices: Threshold-based operators are reducible to classical concept-forming operators.	Inf. Sci.	2007	DBLP DOI BibTeX RDF
15	Jasbir Singh Manhas	Composition Operators and Multiplication Operators on Weighted Spaces of Analytic Functions.	Int. J. Math. Math. Sci.	2007	DBLP DOI BibTeX RDF
15	Bernard Monjardet	Closure Operators and Choice Operators: a Survey (Abstract).	CLA	2007	DBLP BibTeX RDF
15	Joan Jacas, Jordi Recasens	Aggregation operators based on indistinguishability operators.	Int. J. Intell. Syst.	2006	DBLP DOI BibTeX RDF
15	Jan Lang	Estimates for n-widths of the Hardy-type operators (Addendum to "Improved estimates for the approximation numbers of the Hardy-type operators").	J. Approx. Theory	2006	DBLP DOI BibTeX RDF
15	Bao-Zhu Guo, Jun-Min Wang	Remarks on the application of the Keldysh theorem to the completeness of root subspace of non-self-adjoint operators and comments on "Spectral operators generated by Timoshenko beam model".	Syst. Control. Lett.	2006	DBLP DOI BibTeX RDF
15	Dejan J. Sobajic, David Becker, Walter Pfuntner, Nisheeth Singh	Information Exchange Infrastructures for Independent System Operators and Transmission System Operators: Characteristics and Functionalities.	HICSS	2006	DBLP DOI BibTeX RDF
15	Song-Chol Han, Hong-Xing Li	Notes on "pseudo-t-norms and implication operators on a complete Brouwerian lattice" and "pseudo-t-norms and implication operators: direct products and direct product decompositions".	Fuzzy Sets Syst.	2005	DBLP DOI BibTeX RDF
15	Liu Lanzhe	Continuity for some multilinear operators of integral operators on Triebel-Lizorkin spaces.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
15	Mustafa Demirci	Indistinguishability operators in measurement theory, Part I: Conversions of indistinguishability operators with respect to scales.	Int. J. Gen. Syst.	2003	DBLP DOI BibTeX RDF
15	Mustafa Demirci	Indistinguishability operators in measurement theory, Part II: Construction of indistinguishability operators based on probability distributions.	Int. J. Gen. Syst.	2003	DBLP DOI BibTeX RDF
15	Ana Pradera, Enric Trillas, Tomasa Calvo	A general class of triangular norm-based aggregation operators: quasi-linear T-S operators.	Int. J. Approx. Reason.	2002	DBLP DOI BibTeX RDF
15	Bernard Monjardet, Vololonirina Raderanirina	The duality between the anti-exchange closure operators and the path independent choice operators on a finite set.	Math. Soc. Sci.	2001	DBLP DOI BibTeX RDF
15	Shigeaki Mabuchi	Erratum to "An interpretation of membership functions and the properties of general probabilistic operators as fuzzy set operators. (II). Extension to three-valued and interval-valued fuzzy sets" [Fuzzy Sets and Systems 92 (1997) 31-50].	Fuzzy Sets Syst.	1999	DBLP DOI BibTeX RDF
15	Y. Y. Yao	Relational Interpretations of Neigborhood Operators and Rough Set Approximation Operators.	Inf. Sci.	1998	DBLP DOI BibTeX RDF
15	Taihe Fan, Dan A. Ralescu	On the Comparisons of OWA Operators and Ordinal OWA Operators.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	1997	DBLP DOI BibTeX RDF
15	Shigeaki Mabuchi	Supplement to "An interpretation of membership functions and the properties of general probabilistic operators as fuzzy set operators m Part I".	Fuzzy Sets Syst.	1997	DBLP DOI BibTeX RDF
15	Shigeaki Mabuchi	An interpretation of membership functions and the properties of general probabilistic operators as fuzzy set operators. (II). Extension to three-valued and interval-valued fuzzy sets.	Fuzzy Sets Syst.	1997	DBLP DOI BibTeX RDF
15	Michail Pappas, Ioannis Pitas	Soft Morphological Operators Based on Nonlinear L P Mean Operators.	ISMM	1996	DBLP DOI BibTeX RDF
15	James O. Jensen, Arthur H. Carrieri, Constantine P. Vlahacos, Daniel Zeroka, Hendrik F. Hameka, Clifton N. Merrow	Evaluation of one-electron integrals for arbitrary operators V(r) over Cartesian Gaussians: Application to inverse-square distance and Yukawa operators.	J. Comput. Chem.	1993	DBLP DOI BibTeX RDF
15	Yi Luo	Relation between Boolean operators and Euler operators.	Solid Modeling and Applications	1993	DBLP DOI BibTeX RDF
15	Christine M. Mitchell, T. Govindaraj	Design and Effectiveness of Intelligent Tutors for Operators of Complex Dynamic Systems: A Tutor Implementation for Satellite System Operators.	Interact. Learn. Environ.	1990	DBLP DOI BibTeX RDF
15	Raymond J. Mooney	Generalizing the Order of Operators in Macro-Operators.	ML	1988	DBLP BibTeX RDF
15	Fernando Alonso, Loïc Martínez, Agustín Santamaría, Aurora Pérez-Pérez, Juan Pedro Valente	GGGP-based method for modeling time series: operator selection, parameter optimization and expert evaluation.	GECCO	2010	DBLP DOI BibTeX RDF	operators selection, time series, experimentation, reference model, grammar-guided genetic programming
15	Josh C. Bongard	A probabilistic functional crossover operator for genetic programming.	GECCO	2010	DBLP DOI BibTeX RDF	homologous crossover, schema theory, crossover operators
15	Aram Ter-Sarkisov, Stephen R. Marsland, Barbara R. Holland	The K-bit-swap: a new genetic algorithm operator.	GECCO	2010	DBLP DOI BibTeX RDF	k-bit-swap operator, genetic algorithms, linear regression, genetic operators
15	Richard W. Neill, Alexander Shabarshin, Luca P. Carloni	A heterogeneous parallel system running open mpi on a broadband network of embedded set-top devices.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	multiple service operators, multiple sequence alignment, distributed embedded systems, mpi, set-top box
15	Satya Sanket Sahoo, D. Brent Weatherly, Raghava Mutharaju, Pramod Anantharam, Amit P. Sheth, Rick L. Tarleton	Ontology-Driven Provenance Management in eScience: An Application in Parasite Research.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF	Provenance management framework, provenir ontology, Parasite Experiment ontology, provenance query operators, provenance query engine, T.cruzi parasite research, Bioinformatics, eScience
15	José Tavira-Mondragón, José Melgar-García, Jorge García-García, Rafael Cruz-Cruz	Upgrade of a full-scope simulator for fossil-fuel power plants.	SpringSim	2009	DBLP BibTeX RDF	operators training, power plant simulator
15	Marta Penas, Linda G. Shapiro	A Color-Based Interest Operator.	ICIAP	2009	DBLP DOI BibTeX RDF	interest operators, wide-baseline stereo, image annotation, feature matching, HSV color space
15	Shefali S. Dash, Inder Pal Singh Sethi	National Do Not Call Registry in India: a step towards restricting unsolicited telemarketing calls.	ICEGOV	2009	DBLP DOI BibTeX RDF	NDNC registry, TRAI, national informatics centre, telemarketers, telemarketing, unsolicited commercial communication, telecom operators
15	Benoît Naegel, Nicolas Passat	Component-Trees and Multi-value Images: A Comparative Study.	ISMM	2009	DBLP DOI BibTeX RDF	Component-trees, multi-value images, connected operators
15	Pawel B. Myszkowski	Solving Scheduling Problems by Evolutionary Algorithms for Graph Coloring Problem.	Metaheuristics for Scheduling in Industrial and Manufacturing Applications	2008	DBLP DOI BibTeX RDF	Evolutionary Algorithms, Graph Coloring, Multiprocessor scheduling, Assignment Problems, Timetabling, Genetic Operators
15	James E. Smith 0002	Self-Adaptation in Evolutionary Algorithms for Combinatorial Optimisation.	Adaptive and Multilevel Metaheuristics	2008	DBLP DOI BibTeX RDF	self-adapted parameters, self-adapted operators, evolutionary algorithms, Self-adaptation, memetic algorithms
15	Jens Czogalla, Andreas Fink	On the Effectiveness of Particle Swarm Optimization and Variable Neighborhood Descent for the Continuous Flow-Shop Scheduling Problem.	Metaheuristics for Scheduling in Industrial and Manufacturing Applications	2008	DBLP DOI BibTeX RDF	Variable Neighborhood Descent, Particle Swarm Optimization, Hybridization, Genetic Operators, Flow-Shop Scheduling
15	Oriana Riva, Veli-Matti Teittinen, Sebastian Siikavirta, Lasse Huovinen	A Next Generation Operator Environment to Turn Context-Aware Services into a Commercial Reality.	MDM	2008	DBLP DOI BibTeX RDF	Context-awareness, Mobile Devices, Overlay Network, Network Operators
15	Bin Wang, Huazhong Shu, Bao-Sheng Li, Zhi-Mei Niu	A Mutation-Particle Swarm Algorithm for Error-Bounded Polygonal Approximation of Digital Curves.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Particle swarm optimization, Polygonal approximation, Mutation operators
15	Xiaobo Liu 0001, Zhihua Cai, Wenyin Gong	An Improved Gene Expression Programming for Fuzzy Classification.	ISICA	2008	DBLP DOI BibTeX RDF	fuzzy classification rules, logic operators, expression tree, gene expression programming
15	Gersende Georg, Marc Cavazza	Integrating Document-Based and Knowledge-Based Models for Clinical Guidelines Analysis.	AIME	2007	DBLP DOI BibTeX RDF	GEM, HTN, deontic operators, Planning, Clinical Guidelines
15	Hisao Ishibuchi, Yusuke Nojima, Noritaka Tsukamoto, Ken Ohara	Effects of the use of non-geometric binary crossover on evolutionary multiobjective optimization.	GECCO	2007	DBLP DOI BibTeX RDF	balance between diversity and convergence, evolutionary multiobjective optimization (EMO) algorithms, non-geometic crossover operators, multiobjective combinatorial optimization, diversity preserving
15	Zhenhua Li, Erik D. Goodman	Learning building block structure from crossover failure.	GECCO	2007	DBLP DOI BibTeX RDF	smart operators, crossover disruption, linkage discovery, genetic algorithms, building blocks
15	Xianjun Shen, Yuanxiang Li, Jincai Yang, Li Yu	A Heuristic Particle Swarm Optimization for Cutting Stock Problem Based on Cutting Pattern.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Heuristic particle swarm optimization, One-dimensional cutting stock problem, Genetic operators
15	Jan Arild Audestad, Alexei A. Gaivoronski, Adrian S. Werner	Extending the stochastic programming framework for the modeling of several decision makers: pricing and competition in the telecommunication sector.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Modeling of competition, Virtual operators, Pricing, Stochastic programming
15	Lin Shi, Yizhou Yu, Nathan Bell, Wei-Wen Feng	A fast multigrid algorithm for mesh deformation.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	graph hierarchy, prolongation/restriction operators, constraints, Laplacian, mesh editing
15	F. Javier Crespo, Oscar Marbán	On the Use of Tools Based on Fuzzy Set Theories in Parametric Software Cost Estimation.	MDAI	2006	DBLP DOI BibTeX RDF	Software Engineering, Soft Computing, Fuzzy set theory, Aggregation Operators, indiscernibility, Cost Drivers, Software Development Cost
15	Christian Grimme, Karlheinz Schmitt	Inside a predator-prey model for multi-objective optimization: a second study.	GECCO	2006	DBLP DOI BibTeX RDF	simplex-recombination, variation operators, multi-objective optimization, predator-prey
15	Gianpiero Cattaneo, Davide Ciucci	Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness - Part II.	RSKT	2006	DBLP DOI BibTeX RDF	topological operators, BZ lattices, similarity approximations
15	Gianpiero Cattaneo, Davide Ciucci	Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness - Part I.	RSKT	2006	DBLP DOI BibTeX RDF	abstract approximations, topological operators, BZ lattice
15	Samir Saad, Joe Tekli, Richard Chbeir, Kokou Yétongnon	Towards Multimedia Fragmentation.	ADBIS	2006	DBLP DOI BibTeX RDF	Multimedia fragmentation, Range and KNN operators, predicates implication, objects classification
15	Ikram Amous, Anis Jedidi, Florence Sèdes	A Contribution to Multimedia Document Modeling and Querying.	Multim. Tools Appl.	2005	DBLP DOI BibTeX RDF	spatiotemporal operators, metadata, annotation, querying
15	Ingo R. Homann, Wolfgang Binder	Ein Fuzzy-Rechercheassistent für bibliographische Datenbanken.	Inform. Forsch. Entwickl.	2004	DBLP DOI BibTeX RDF	search agent, user interfaces, query processing, retrieval, fuzzy, term weights, relevance ranking, aggregation operators
15	David Richerby	Logical Characterizations of PSPACE.	CSL	2004	DBLP DOI BibTeX RDF	choice operators, partial fixed points, descriptive complexity, Finite model theory
15	Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi	Execution of TILCO Temporal Logic Specifications.	ICECCS	2002	DBLP DOI BibTeX RDF	real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic
15	Richard Ehrenborg	k-Eulerian Posets.	Order	2001	DBLP DOI BibTeX RDF	cd-index, flag operators
15	Peter Meer, Bogdan Georgescu	Edge Detection with Embedded Confidence.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	window operators, Edge detection, performance assessment, gradient estimation
15	Marcel Brun, Roberto Hirata Jr., Junior Barrera, Edward R. Dougherty	Hybrid Human-Machine Non-Linear Filter Design Using Envelopes.	SIBGRAPI	2001	DBLP DOI BibTeX RDF	constraint, Morphological operators, optimal filters, statistical design
15	Stefan Dieker, Ralf Hartmut Güting	Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment.	IDEAS	2000	DBLP DOI BibTeX RDF	plug-and-play, SECONDO, generic DBMS development environment, database systems implementation, second-order signature, query language definitions, algebra modules, type constructors, system frame, type registration, user commands, extensible system architecture, extensible query processing, database management systems, query languages, data models, extensibility, operators, query algebras, support functions, data definitions, system functionality
15	Nathalie Cassaigne, V. Papaioannou	Knowledge Focused Bid Price Setting Process.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	knowledge focused bid price setting process, telecommunication carrier operators, decision support systems, domain knowledge, knowledge based decision support system
15	Alessandra Raffaetà, Chiara Renso	Temporal Reasoning in Geographical Information Systems.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	declarative approach, spatio-temporal data analysis, MuTACLP+, temporal primitive operators, modularity features, event planning, geographical information systems, GIS, temporal reasoning, temporal reasoning, spatial data, environmental monitoring, logic programming language
15	Júlia Sawaki Tanaka, Edson Tadeu Monteiro Manoel, Luciano da Fontoura Costa	Curvature and Orientation Estimation by Neuronal Structures.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	partial differential operators, neuronal morphometry, simulation, neural networks, computer vision, computer vision, neurons, orientation estimation, curvature estimation
15	Margaret Mary West, Thomas Leo McCluskey	The application of a machine learning tool to the validation of an air traffic control domain theory.	ICTAI	2000	DBLP DOI BibTeX RDF	machine learning tool, air traffic control domain theory, general clause form theories, ordinal sorts, geometrical revision operators, learning (artificial intelligence), air traffic control, IMPRESS
15	Aurora T. R. Pozo, Mozart Hasse	A Genetic Classifier Tool.	SCCC	2000	DBLP DOI BibTeX RDF	genetic classifier tool, intelligent tools, induction based learning systems, induction-based classifier tool, Michigan approach, phenotypic sharing, genetic algorithms, genetic algorithm, data mining, data mining, optimization, data structures, data structures, knowledge discovery, pattern classification, enterprise information system, very large databases, learning by example, large databases, genetic operators
15	Michael E. Zervakis, Vijay Sundararajan, Keshab K. Parhi	A Wavelet-Domain Algorithm for Denoising in the Presence of Noise Outliers.	ICIP (1)	1997	DBLP DOI BibTeX RDF	wavelet-domain algorithm, noise outliers, wavelet domain operators, simulation, image processing, image restoration, denoising, impulse noise, Gaussian noise, Gaussian noise
15	Mungi Choi, Yongyi Yang, Nikolas P. Galatsanos	Regularized Multichannel Recovery of Compressed Video.	ICIP (1)	1997	DBLP DOI BibTeX RDF	regularized multichannel recovery, regularization operators, spatial correlation properties, temporal correlation properties, recovery algorithm, data compression, image sequence, smoothness, artifacts, motion trajectories, compressed video
15	Dorthe Meyer, Joachim Denzler, Heinrich Niemann	Model Based Extraction of Articulated Objects in Image Sequences for Gait Analysis.	ICIP (3)	1997	DBLP DOI BibTeX RDF	model based extraction, monotony operators, displacement vector field, contour based tracking algorithm, active rays, 3D geometric objects, 3D position estimation, gait disorders classification, image sequences, trajectories, medical applications, biomechanics, gait analysis, 3D motion estimation, articulated objects
15	Ed Huai-hsin Chi, Phillip Barry, John Riedl, Joseph A. Konstan	A spreadsheet approach to information visualization.	INFOVIS	1997	DBLP DOI BibTeX RDF	spreadsheet approach, multidimensional datasets, complex data set, viewing specifications, inter-cell operations, domain-specific operators, data operations, viewing parameters, view operations, information visualization, data types, prototype systems, data complexity, selection criteria, spreadsheet programs
15	Mostafa I. H. Abd-El-Barr, Muhammad Nayyar Hasan, G. A. Hamid	On the Synthesis of MVL Functions Using Input and Output Phase Assignments.	ISMVL	1997	DBLP DOI BibTeX RDF	MVL functions synthesis, phase assignments, decomposition based mapping, input matrix, output matrix, matching-count matrix, output function number, maximum matching count, switching operations, switching operators, r-valued functions, logic synthesis, minimization, multivalued logic
15	Michael Stillger, Johann K. Obermaier, Johann Christoph Freytag	AQuES: An Agent-based Query Evaluation System.	CoopIS	1997	DBLP DOI BibTeX RDF	AQuES, agent-based query evaluation system, heterogeneous hardware modules, agent-based query optimization, independent data parallelism, dynamic execution strategies, distributed symmetric processes, distributed query execution, parallel algorithms, distributed databases, distributed database, cooperative system, resource scheduling, parallel database, runtime, algebra operators, database optimization
15	Susanne Beiersdörfer, Jürgen Hesser, Jens B. Schmitt, Reinhard Männer, Andreas Schulz, Jürgen Wolfrum	Search for native conformations of organic molecules by genetic algorithms.	EUROMICRO	1997	DBLP DOI BibTeX RDF	organic molecule native conformations, problem specific crossover operators, repair heuristics, fluorescent labeled nucleoside, oligopeptide, molecule structure adapted crossovers, global optimum, Met-Enkephaline, ECEPP2 force field, genetic algorithms, search, probability, island model, molecular configurations, structure prediction
15	Marcos Luiz Mucheroni, Célio Estevan Morón, José Hiroki Saito	ArchMDSP: using DSPs for parallel image processing.	EUROMICRO	1997	DBLP DOI BibTeX RDF	ArchMDSP, image mapping, real-time problems, fault-tolerant problems, sub-image distribution available, Sun SparcStation, Sbus, multiple-module carrier card, TMS320C40 processors, timing measurements, 8 Mbyte, parallel architecture, parallel machines, parallel machine, speedup, operators, digital signal processors, communication overhead, parallel programming environment, image size, pipeline structure, parallel image processing
15	Alexander Bolotov, Michael Fisher 0001	A Resolution Method For CTL Branching-Time Temporal Logic.	TIME	1997	DBLP DOI BibTeX RDF	resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
15	Tank Pereira de Carvalho, Nina Edelweiss	A Visual Query System Implementing a Temporal Object-Oriented Model with Roles on a Relational Database.	SCCC	1997	DBLP DOI BibTeX RDF	temporal object-oriented model, objects-with-roles model, commercial databases, data model mapping, VQS TF-ORM, temporal functionality, information retrieval environment, level-of-detail definitions, graphic scheme browsing, query storage, textual query representation, visual query representation, relational database, SQL, query language, visual databases, visual representation, temporal data model, visual query system, temporal operators
15	John P. McDermott, David M. Goldschlag	Towards a model of storage jamming.	CSFW	1996	DBLP DOI BibTeX RDF	storage jamming model, cryptographic techniques, detection mechanism, Unity logic, high-level operators, rate of jamming, persistent values, access control, access controls, cryptography, security of data, susceptibility
15	Raymond A. Paul, Yoshihisa Shinagawa, Young Francis Day, M. Farrukh Khan, Arif Ghafoor	Object-Oriented Framework for Metrics Guided Risk Management.	COMPSAC	1996	DBLP DOI BibTeX RDF	metrics guided risk management, large software project management, metrics data, consistent mechanism, temporal inheritance, formal specification, formal specification, object-oriented programming, software quality, project management, software metrics, query languages, inheritance, object-oriented languages, software development management, object oriented framework, quality management, temporal modeling, temporal operators, user views, risk identification, object oriented query language
15	Kyoichi Nakashima, Y. Nakamura, Noboru Takagi	Logic Expressions of Monotonic Multiple-Valued Functions.	ISMVL	1996	DBLP DOI BibTeX RDF	partial-ordering relation, unary operators, monotonic multiple-valued functions, monotonic p-valued functions, multivalued logic, multiple-valued logic, multiple-valued functions, logic functions
15	Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström	OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse.	ICSE	1996	DBLP BibTeX RDF	OPSIS, graph based process modelling languages, interface elements, link relations, merge operation, process reuse, reusable fragments, sub model, type view, view mechanism, user interfaces, complexity, Petri net, Petri nets, software processes, software reusability, simulation languages, composition operators, process evolution, global model
15	Takeo Hamada, Takashige Hoshiai, Martin Yates	A perspective on TINA service security architecture.	WETICE	1996	DBLP DOI BibTeX RDF	TINA service security architecture, Telecommunication Information Network Architecture, integrated information network architecture, distributed object-oriented technology, service transaction, agreed security interests, security management context, consistent protection quality, multi-provider service domains, Common Security Service Object, application-specific extension, security of data, network operators
15	Joseph P. Havlicek, David S. Harding, Alan C. Bovik	Reconstruction from the multi-component AM-FM image representation.	ICIP	1995	DBLP DOI BibTeX RDF	amplitude modulation, frequency modulation, amplitude estimation, demodulation, multi-component AM-FM image representation, nonstationary multi-partite images, perceptual information, highly localized nonlinear operators, frequency modulating function estimation, amplitude modulating function estimation, multiple components, pixel-by-pixel basis, demodulation algorithm, image reconstruction, image reconstruction, image representation, image models, structural information, frequency estimation
15	Paolo Briccarello, Guido Bruno, Eurico Ronco	REBUS: an object-oriented simulator for business processes.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	customer requests, object-oriented simulation environment, REBUS, Telcos organizations, modelling, object-oriented programming, digital simulation, competition, business data processing, systems re-engineering, telecommunication services, object-oriented simulator, business process re-engineering, telecom operators, business process simulation
15	Bogdan J. Falkowski, Susanto Rahardja	Novel Quantized Transform for Ternary Systems.	ISMVL	1995	DBLP DOI BibTeX RDF	spectral-domain analysis, nonlinear quantized transform, sign transform, binary/ternary data conversion, ternary spectral domain, forward transforms, sign Haar domain, sign Walsh domain, recursive definitions, sign matrix, spectral coefficients generation, transforms, matrix algebra, data conversion, Walsh functions, computational costs, ternary logic, quantisation (signal), matrix operators, inverse transforms
15	T. C. Wesselkamper, J. Danowitz	Some New Results for Multiple-Valued Genetic Algorithms.	ISMVL	1995	DBLP DOI BibTeX RDF	multiple-valued genetic algorithms, reproduction, classical multiple-valued logic, highly fit population members, genetic algorithms, convergence, selection, multivalued logic, mutation, convergence of numerical methods, genetic operators, theorems
15	Eric Y. Chou, Bing J. Sheu, Tony H. Wu, Robert C. Chang	VLSI design of densely-connected array processors.	ICCD	1995	DBLP DOI BibTeX RDF	densely-connected array processors, paralleled array processors, real-time signal processing, problem mapping, high potential computational bandwidth, local interconnection, synaptic operators, CNN processing engine, hardware design problems, CNN accelerator design, digital-programmable synapses, flexible digital interface, current-mode CMOS circuits, 2.0 /spl mu/m CMOS technology, edge detection operation, image processing, image processing, parallel processing, VLSI, edge detection, signal processing, VLSI design, heterogeneous computing, CMOS integrated circuits, cellular neural networks, cellular neural nets
15	Michael Goedecke, Sorin A. Huss, Kai Morich	Automatic Parallelization of the Visual Data-Flow Language Cantata for Efficient Characterization of Analog Circuit Behavior.	VL	1995	DBLP DOI BibTeX RDF	engineering workstations, Cantata visual data-flow language, analog circuit behavior characterisation, application specific functions, execution time reduction, data-flow scheduler, usable workstations, usable workstation performance, program availability, fully automated process, simulation, computational complexity, load balancing, parallel programming, resource allocation, visual languages, digital simulation, processor scheduling, circuit analysis computing, workloads, automatic parallelization, parallel languages, distributed environment, workstations, analogue circuits, control operators