Search results for "variables"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Kai R. T. Larsen	Antecedents of Implementation Success: A Comprehensive Framework.	HICSS	2001	DBLP DOI BibTeX RDF	individual variables, task variables, structure variables, technology variables, interorganizational variables, environmental variables, information systems, Implementation, adoption, diffusion, quantitative, process variables
53	Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo	Using Indexed Finite Set Variables for Set Bounds Propagation.	IBERAMIA	2008	DBLP DOI BibTeX RDF	finite set constraint variables, graph constraint variables, delta domain variables, indexation, constraint propagation
53	Kristian G. Olesen	Causal Probabilistic Networks with Both Discrete and Continuous Variables.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	discrete variables, causal probabilistic networks, expert system shell, handling uncertainty by general influence networks, HUGIN, continuous variables, linear additive normally distributed variables, expert systems, knowledge acquisition, knowledge acquisition, inference mechanisms, belief revision, probabilistic reasoning, uncertainty handling
52	Helen Xie, Philip Henderson, Joseph Neelamkavil, Jingxin Li	A Systematic Search Strategy for Product Configuration.	IEA/AIE	2004	DBLP DOI BibTeX RDF	numeric variables, n-ary constraints, dependent variables, backjumping, Constraint satisfaction, variable ordering, product configuration
49	Stephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban Osses, Sameer Singh 0001, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson	Common coupling and pointer variables, with application to a Linux case study.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Pointer variables, Definition-use analysis, Linux, Aliasing, Global variables, Common coupling
49	Wim H. Hesselink	Eternity variables to prove simulation of specifications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	History variables, preservation of quiescence, prophecy variables, simulation, implementation, invariant, refinement mapping
46	Hans-Michael Möller	Hermite interpolation in several variables using ideal-theoretic methods.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
46	M. Reimer	Clenshaw sums in several variables.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
46	Walter Schempp	Bernstein polynomials in several variables.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
46	Patrick M. Lenders	Distributed Computing with Single Read-Single Write Variables.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	single read-single write variables, free, wait state, SRSW variables, regular sequential language, SRSW data type, parallel programs, distributed computing, distributed processing, message passing, operational semantics, asynchronous communication, syntax, busy, synchronous communication
43	Laurent D. Cohen	Auxiliary Variables for Deformable Models.	ICCV	1995	DBLP DOI BibTeX RDF	mathematical formulation, surface reconstruction algorithms, two step iterative algorithms, potential data attraction, variables energy, implicit data constraint, non convex potential, explicit convex reconstruction problem, closest feature point, feature extraction, iterative methods, image restoration, image restoration, deformable models, templates, minimisation, auxiliary variables
38	Walter Schempp, Karl Zeller (eds.)	Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976	Constructive Theory of Functions of Several Variables	1977	DBLP DOI BibTeX RDF
38	Hans Joachim Schmid	Interpolation of harmonic functions.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	B. O. Björnestål	Stability of Steiner points.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	H. Johnen, K. Scherer	On the equivalence of the K-functional and moduli of continuity and some applications.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	D. D. Stancu	Use of Biermann's interpolation formula for constructing a class of positive linear operators for approximating multivariate functions.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Walter Trebels	Estimates for moduli of continuity of functions given by their Fourier transform.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Harold S. Shapiro	Convergence almost everywhere of convolution integrals with a dilation parameter.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Arthur Sard	Function spaces for analysis.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Bernd Dreseler	On summation processes of Fourier expansions for spherical functions.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	J. Albrecht, H. Engels	Zur numerischen Integration über Kreisbereichen.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Tom Koornwinder	Harmonics and spherical functions on Grassmann manifolds of rank two and two-variable analogues of Jacobi polynomials.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Walter Schempp	Approximation in G-homogeneous Banach spaces.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Franz-Jürgen Delvos, Horst Posdorf	N-th order blending.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Werner Haußmann, Peter Pottinger	On multivariate approximation by continuous linear operators.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	K. Jetter, F. Locher	A note on numerical Fourier analysis and uniform approximation on cubes.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Wilhelm Niethammer	On the numerical analytic continuation of power series.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	K. Böhmer, Gh. Coman	Blending interpolation schemes on triangles with error bounds.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Jan Boman	Comparison theorems for generalized moduli of continuity. Vector-valued measures.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	W. Schäfer, Walter Schempp	Error bounds for bivariate spline interpolation.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
38	Jean Duchon	Splines minimizing rotation-invariant semi-norms in Sobolev spaces.	Constructive Theory of Functions of Several Variables	1976	DBLP DOI BibTeX RDF
36	Ricky E. Sward, A. T. Chamillard	Re-engineering global variables in Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	ASIS, SPARK, global variables
36	Geoffrey Smith 0001, Dennis M. Volpano	Polymorphic typing of Variables and References.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	variables, assignment, references
34	Jose L. Pastor Urban, Richard J. Whiddett	The relationship between systems development methodologies and organisational demographics: a survey of New Zealand organisations.	ISCNZ	1996	DBLP DOI BibTeX RDF	organisational demographics, New Zealand organisations, systems development methodology selection, organisational variables, New Zealand economy, demographic variables, information systems, systems developers, systems development methodologies
34	Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran	On the Identification of Covert Storage Channels in Secure Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	covert storage channels, Secure Xenix kernel, visible/alterable kernel variables, language code, sharing relationships, nondiscretionary access rules, false flow violations, kernel locations, audit code, time-delay variables, covert-channel handling, software engineering, identification, security of data, source code, operating systems (computers), secure systems, information-flow analysis, implementation languages
34	Bogdan Korel	Automated Software Test Data Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
34	Oleg V. Favorov, Dan Ryder	SINBAD: A neocortical mechanism for discovering environmental variables and regularities hidden in sensory input.	Biol. Cybern.	2004	DBLP DOI BibTeX RDF
34	Mitsu Yoshimura, Kozaburo Hachimura, Yuuka Marumo	Comparison of Structural Variables with Spatio-temporal Variables Concerning the Identifiability of Okuri Class and Player in Japanese Traditional Dancing.	ICPR (3)	2006	DBLP DOI BibTeX RDF
33	Lisa Higham, Jalal Kawash	Tight Bounds for Critical Sections in Processor Consistent Platforms.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	processor consistency, multiwriter/single-writer variables, mutual exclusion, Memory consistency models
33	Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos	Datalog programs and their persistency numbers.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness
33	Grégoire Dooms, Yves Deville, Pierre Dupont	A Mozart Implementation of CP(BioNet).	MOZ	2004	DBLP DOI BibTeX RDF	Mozart, Graph Domain Variables, Constrained Path Finding, Path Constraint, Constraint Programming, Oz
33	Liang Han, Wei Liu 0014, James Tuck 0001	Speculative parallelization of partial reduction variables.	CGO	2010	DBLP DOI BibTeX RDF	reduction variables, parallelization, thread-level speculation, multi-core architecture
33	Nouf M. Al-Barakati, Arwa Y. Al-Aama	The effect of visualizing roles of variables on student performance in an introductory programming course.	ITiCSE	2009	DBLP DOI BibTeX RDF	visualization, introductory programming course, roles of variables
33	Uwe Reuter	Application of Non-convex Fuzzy Variables to Fuzzy Structural Analysis.	SMPS	2008	DBLP DOI BibTeX RDF	Non-convex fuzzy variables, Fuzzy structural analysis, Discretization, Imprecise data
33	Yuanquan Li, Jiayin Qi, Huaying Shu	A Review on the Relationship Between New Variables and Classical TAM Structure.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	TAM classical structure, New variables, Variable relations, TAM
33	Sébastien Carlier, J. B. Wells	Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.	PPDP	2004	DBLP DOI BibTeX RDF	expansion variables, type inference, lambda-calculus, intersection types
33	Thomas Kleymann	Hoare Logic and Auxiliary Variables.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Adaptation Completeness, Most General Formula, Hoare Logic, VDM, Auxiliary variables
32	Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen	On the verification of Wireless Transaction Protocol using SGM and RED.	RTCSA	2000	DBLP DOI BibTeX RDF	Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
32	Nancy A. Lynch, Frits W. Vaandrager	Forward and Backward Simulations for Timing-Based Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	timing-based systems, backward simulations, forward-backward simulations, backward-forward simulations, history variables, prophecy variables, history relations, prophecy relations, Simulations, real-time, timed automata, refinement mappings, forward simulations
32	William I. Grosky, Louis A. Tamburino	A Unified Approach to the Linear Camera Calibration Problem.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	3D world coordinate systems, coplanar calibration, linear camera calibration, linear affine transformation, extrinsic variables, intrinsic variables, orthogonal rotation matrix, noncoplanar calibration, computer vision, picture processing, calibration, cameras, geometrical distortion, image plane
31	Juan Pablo Vielma, George L. Nemhauser	Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints.	IPCO	2008	DBLP DOI BibTeX RDF
31	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Removing useless variables in cost analysis of Java bytecode.	SAC	2008	DBLP DOI BibTeX RDF	cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode
31	Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells	A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.	ICTAC	2008	DBLP DOI BibTeX RDF
31	Tomoyuki Hiroyasu, Shinpei Chino, Mitsunori Miki	Flexibility of design variables to pareto-optimal solutions in multi objective optimization problems.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
31	Berthold Hoffmann	Graph Transformation with Variables.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
31	Satoshi Matsumoto, Takayoshi Shoudai	Learning of Ordered Tree Languages with Height-Bounded Variables Using Queries.	ALT	2004	DBLP DOI BibTeX RDF
31	Aleksandar Lazarevic, Ramdev Kanapady, Chandrika Kamath 0001, Vipin Kumar 0001, Kumar K. Tamma	Localized Prediction of Continuous Target Variables Using Hierarchical Clustering.	ICDM	2003	DBLP DOI BibTeX RDF
31	Dominique Quadri, Éric Soutif	Rewriting integer variables into zero-one variables: Some guidelines for the integer quadratic multi-knapsack problem.	Oper. Res.	2007	DBLP DOI BibTeX RDF	integer quadratic knapsack problem, separable objective function, direct expansion, binary expansion, piecewise interpolation
30	Mickaël Causse, Christophe Hurter	The Physiological User's Response as a Clue to Assess Visual Variables Effectiveness.	HCI (10)	2009	DBLP DOI BibTeX RDF	Bertin’s visual variables, Psychophysiological response, Emotion, Mental load
30	Simone Garlandini, Sara Irina Fabrikant	Evaluating the Effectiveness and Efficiency of Visual Variables for Geographic Information Visualization.	COSIT	2009	DBLP DOI BibTeX RDF	visual variables, empirical studies, eye movements, Geographic visualization, change blindness
30	Christoph F. Eick, Rachana Parmar, Wei Ding 0003, Tomasz F. Stepinski, Jean-Philippe Nicot	Finding regional co-location patterns for sets of continuous variables in spatial datasets.	GIS	2008	DBLP DOI BibTeX RDF	finding associations between continuous variables, regional co-location mining, regional knowledge discovery, clustering, spatial data mining
30	Pauli Byckling, Jorma Sajaniemi	Roles of variables and programming skills improvement.	SIGCSE	2006	DBLP DOI BibTeX RDF	computer science education, roles of variables
30	Pauli Byckling, Petri Gerdt, Jorma Sajaniemi	Roles of variables in object-oriented programming.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	object-oriented programming, computer science education, roles of variables
30	Chun-Nan Hsu, Hung-Ju Huang, Tzu-Tsung Wong	Implications of the Dirichlet Assumption for Discretization of Continuous Variables in Naive Bayesian Classifiers.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	naive Bayesian classifiers, perfect aggregation, continuous variables, lazy discretization, discretization, Dirichlet distributions, interval data
30	Antonio Salmerón, Serafín Moral	Importance Sampling in Bayesian Networks Using Antithetic Variables.	ECSQARU	2001	DBLP DOI BibTeX RDF	probability propagation, antithetic variables, Bayesian networks, importance sampling
30	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	State Space Reduction Based on Live Variables Analysis.	SAS	1999	DBLP DOI BibTeX RDF	live variables analysis, model checking, bisimulation, asynchronous communication, state space reduction
30	David von Oheimb	Hoare Logic for Mutual Recursion and Local Variables.	FSTTCS	1999	DBLP DOI BibTeX RDF	axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion
29	Malek Mouhoub, Amrudee Sukpan	Solving Conditional and Composite Temporal Constraints.	ICTAI	2004	DBLP DOI BibTeX RDF
29	Femke van Raamsdonk	Higher-Order Rewriting.	RTA	1999	DBLP DOI BibTeX RDF
29	Joan Feigenbaum, Sampath Kannan, Martin Strauss 0001, Mahesh Viswanathan 0001	An Approximate L1-Difference Algorithm for Massive Data Streams.	FOCS	1999	DBLP DOI BibTeX RDF	L1-Difference, range-summable random variables, 4-wise independent random variables, stream
29	John A. Hoxmeier	Learning from group support system use: potential changes in subsequent meeting behavior.	HICSS (4)	1995	DBLP DOI BibTeX RDF	group support system use, subsequent meeting behavior, cross-sectional survey design, manual meetings, quasiexperimental field study, TeamFocus facility, control group, perceptual quantitative data, composite meeting behaviors, moderator variables, control variables, group differences, individual-level recall, attitudinal data, GSS applied behaviors, learning, groupware, human factors, productivity, interviews, group decision support systems, human resource management
29	Eduard Diepstraten, Ruurd Kuiper 0001	Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering
29	Malek Mouhoub, Amrudee Sukpan	A New Temporal CSP Framework Handling Composite Variables and Activity Constraints.	ICTAI	2005	DBLP DOI BibTeX RDF
29	Michael T. Todinov	Reliability governed by the relative locations of random variables following a homogeneous Poisson Process in a finite domain.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
29	Xinyu Wang 0001, Jianling Sun, Xiaohu Yang 0001, Zhijun He 0001, Srinivasa R. Maddineni	Automatically identifying domain variables based on data dependence graph.	SMC (4)	2004	DBLP DOI BibTeX RDF
29	Michael Wolfe	Beyond Induction Variables.	PLDI	1992	DBLP DOI BibTeX RDF
29	Alan J. Demers, James E. Donahue	Making Variables Abstract: An Equational Theory for Russell.	POPL	1983	DBLP DOI BibTeX RDF
28	William E. Weihl	Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables.	POPL	1980	DBLP DOI BibTeX RDF
27	Nomair A. Naeem, Ondrej Lhoták	Efficient alias set analysis using SSA form.	ISMM	2009	DBLP DOI BibTeX RDF	live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form
27	Pedro Delicado, Marcelo Smrekar	Measuring non-linear dependence for two random variables distributed along a curve.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Independence tests, Rényi’s axioms, Similarity measures for pairs of variables, Principal curves, Linearity tests, Dependence measures
27	Prakash P. Shenoy, James C. West 0001	Inference in Hybrid Bayesian Networks with Deterministic Variables.	ECSQARU	2009	DBLP DOI BibTeX RDF	Hybrid Bayesian networks, deterministic variables, Dirac delta functions, Shenoy-Shafer architecture
27	Wen-ying Shi, Ai-bing Ji, Xiao-Dong Dai	Differential of Fuzzy Functions with Two Variables and Fuzzy Wave Equations.	FSKD (1)	2007	DBLP DOI BibTeX RDF	Partial derivative of fuzzy function with two variables, integral of fuzzy function, Differential of fuzzy function, fuzzy wave equation
27	Homa Javahery, Daniel Sinnig, Ahmed Seffah, Peter Forbrig, Thiruvengadam Radhakrishnan	Pattern-Based UI Design: Adding Rigor with User and Context Variables.	TAMODIA	2006	DBLP DOI BibTeX RDF	pattern-oriented design, user variables, context, design methodology, persona, HCI patterns
27	David von Oheimb, Tobias Nipkow	Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited.	FME	2002	DBLP DOI BibTeX RDF	Java, Hoare logic, side effects, dynamic binding, Isabelle/HOL, auxiliary variables
27	Yuan Xu 0005	Polynomial interpolation in several variables, cubature formulae, and ideals[*]Supported by the National Science Foundation under Grant DMS-9802265.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	polynomial interpolation in several variables, 65D05, 41A63, orthogonal polynomials, variety, 41A05, 41A10, polynomial ideals, 13P10, cubature formulae
27	Chi-Hyon Oh, Hirokazu Komatsu, Katsuhiro Honda, Hidetomo Ichihashi	Fuzzy Clustering Algorithm Extracting Principal Components Independent of Subsidiary Variables.	IJCNN (3)	2000	DBLP DOI BibTeX RDF	Independence of Subsidiary Variables, Principal Component Analysis, Knowledge Discovery, Fuzzy Clustering
27	Celso Massaki Hirata, Jeff Kramer	An implementation of a technique for sharing variables in Time Warp.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	full replication strategy, causal effects, tie breaks, aggressive cancellation, lazy cancellation, optimised scheme of rollback, parallel programming, discrete event simulation, distributed memory systems, distributed memory systems, Time Warp, parallel discrete event simulation, time warp simulation, shared variables
27	Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen	Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables.	FSTTCS	1990	DBLP DOI BibTeX RDF	Rely-guarantee specification, transition systems, compositional verification, safety properties, shared variables
26	Willi Sauerbrei, Norbert Holländer, Anika Buchholz	Investigation about a screening step in model selection.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Model selection uncertainty, Variable screening, Simulation, Bootstrap
26	Toby Walsh	Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.	CP	2003	DBLP DOI BibTeX RDF
26	Geoffrey Smith 0001	A New Type System for Secure Information Flow.	CSFW	2001	DBLP DOI BibTeX RDF
26	Stephen S. Yau, Calvin K. Tang	Universal logic circuits and their modular realizations.	AFIPS Spring Joint Computing Conference	1968	DBLP DOI BibTeX RDF
26	C. E. Miller, Albert W. Tucker, R. A. Zemlin	Integer Programming Formulation of Traveling Salesman Problems.	J. ACM	1960	DBLP DOI BibTeX RDF
26	Shunqin Li, Qiang Shen 0001, Wansheng Tang, Ruiqing Zhao	Random fuzzy delayed renewal processes.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Random fuzzy variables, Delayed renewal processes, Random fuzzy delayed renewal processes, Renewal processes, Fuzzy variables
26	W. O. David Griffioen, Frits W. Vaandrager	A theory of normed simulations.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	backward simulations, history variables, normed simulations, prophecy variables, Automata, computer-aided verification, refinement mappings, forward simulations
26	Ji-Cherng Lin, Tetz C. Huang	An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Central demon, single transient fault, restrictions on guard conditions, primary variables, auxiliary secondary variables, stabilization time, contamination number, maximal independent set, fault-containment
26	Ravi Kannan, Guangxing Li	Sampling According to the Multivariate Normal Density.	FOCS	1996	DBLP DOI BibTeX RDF	multivariate normal density, n dependent random variables, positive definite matrix, positive orthant, rapidly mixing Markov Chains, log-concave functions, Markov processes, polynomial time, convex set, random variables, geometric property, probability density, isoperimetric inequality
26	William J. Raduchel	Efficient handling of binary data.	Commun. ACM	1970	DBLP DOI BibTeX RDF	binary variables, bit strings, cross-tabulations, dummy variables
26	Alan Borning, Hana Sevcikova, Paul Waddell	A domain-specific language for urban simulation variables.	DG.O	2008	DBLP BibTeX RDF	Opus, UrbanSim, modeling, domain-specific languages, urban simulation
26	Katsuhiro Honda, Ryo Uesugi, Hidetomo Ichihashi, Akira Notsu	Linear Fuzzy Clustering of Mixed Databases Based on Cluster-wise Optimal Scaling of Categorical Variables.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF