Search results for "theory"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Shoubo Xu	The concept and theory of material flow.	Information Systems Frontiers	2008	DBLP DOI BibTeX RDF	Global supply chain, MF theory, Material flow theory, Comprehensive MF theory, MF element theory, MF nature theory, MF science and technology theory, MF engineering theory, MF industry theory, Enterprise integration
9	Apurva Jain, Barry W. Boehm	Developing a theory of value-based software engineering.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	Theory W, benefits realization, dependency theory, risk/opportunity management, stakeholder win-win, theory of justice, game theory, adaptive control, decision theory, control theory, domain theories, value-based software engineering, utility theory
6	A. Mani	Esoteric Rough Set Theory: Algebraic Semantics of a Generalized VPRS and VPFRS.	T. Rough Sets	2008	DBLP DOI BibTeX RDF	Esoteric Rough Set Theory, Variable Precision Rough Set Theory, Algebraic Semantics of Generalized Rough Set Theory, Irreflexive Rough Set Theory, VPRFS, GVPRFS, Rough Sets
6	James J. Clark	Singularity Theory and Phantom Edges in Scale Space.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	1D signal, singularity theory, phantom edges, contrast functions, filter scale, catastrophy theory, scale map contours, pattern recognition, pattern recognition, picture processing, picture processing, edge detection, signal processing, scale space, filtering and prediction theory, catastrophe theory
5	Jiwen Wen, Daoliang Li, Wei Zhu, Zetian Fu	A new method for fish-disease diagnostic problem solving based on parsimonious covering theory and fuzzy inference model.	IFIP AI	2006	DBLP DOI BibTeX RDF	Parsimonious covering theory, Fish-disease diagnosis, Fuzzy set theory
5	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
5	Peter Grünwald, Paul M. B. Vitányi	Kolmogorov Complexity and Information Theory. With an Interpretation in Terms of Questions and Answers.	Journal of Logic, Language and Information	2003	DBLP DOI BibTeX RDF	algorithmic information theory, Shannon information theory, universal codes, data compression, mutual information, Kolmogorov complexity, rate distortion theory, prefix codes
5	Didier Dubois, Hélène Fargier, Henri Prade, Patrice Perny	Qualitative decision theory: from savage's axioms to nonmonotonic reasoning.	J. ACM	2002	DBLP DOI BibTeX RDF	Comparative uncertainty, preference relations, qualitative decision theory, decision theory, nonmonotonic reasoning, possibility theory
5	Marco Grandis	An Intrinsic Homotopy Theory for Simplicial Complexes, with Applications to Image Analysis.	Applied Categorical Structures	2002	DBLP DOI BibTeX RDF	homotopy groups, homotopy theory, abstract homotopy theory, fibre sequence, image processing, graph theory, mathematical morphology, metric spaces, dilation, digital topology, simplicial complex, digital plane, 2-categories
5	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
5	Bernhard Reus	Extensional Sigma-Spaces in Type Theory.	Applied Categorical Structures	1999	DBLP DOI BibTeX RDF	synthetic domain theory, type theory, realizability, domain theory, constructive logic
5	Dan Schonfeld	Optimal Structuring Elements for the Morphological Pattern Restoration of Binary Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	optimal structuring elements, morphological pattern restoration, least mean difference estimator, image reconstruction, image restoration, mathematical morphology, set theory, filtering and prediction theory, binary images, random processes, estimation theory, estimation theory, morphological filters, cardinality, random sets
5	Petros Maragos	A Representation Theory for Morphological Image and Signal Processing.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	morphological image, signal transformations, set mappings, semicontinuous system, minimal nonlinear superposition, order-statistic filters, shape recognition transforms, pattern recognition, picture processing, picture processing, signal processing, signal processing, shape analysis, set theory, set theory, morphological filters, linear filters, geometrical structure, representation theory
5	Harry E. Stephanou, Shin-Yee Lu	Measuring Consensus Effectiveness by a Generalized Entropy Criterion.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	consensus effectiveness, knowledge sources, artificial intelligence, uncertainty, entropy, information theory, knowledge engineering, knowledge engineering, set theory, set theory, concept, Dempster-Shafer theory
5	Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora	Web Structures: A Tool for Representing and Manipulating Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	high-level data flow analyzer, web structure transformations, data structures, graph theory, software tools, software tools, program transformers, program verification, programming theory, set theory, category theory, production rules, web structures
4	Mark Blythe, John C. McCarthy, Ann Light, Shaowen Bardzell, Peter C. Wright, Jeffrey Bardzell, Alan Blackwell	Critical dialogue: interaction, experience and cultural theory.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	experience, cultural theory, critical theory
4	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for Web services.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory
4	William T. Ziemba	Use of stochastic and mathematical programming in portfolio theory and practice.	Annals OR	2009	DBLP DOI BibTeX RDF	Portfolio theory, Mean-variance analysis, Capital growth theory, Stochastic programming, Utility function, Risk aversion
4	Johanna C. van Niekerk, J. D. Roode	Glaserian and Straussian grounded theory: similar or completely different?	SAICSIT Conf.	2009	DBLP DOI BibTeX RDF	Glaserian grounded theory, Straussian grounded theory, research methodology
4	Hiroyuki Tamura	Modeling Ambiguity Averse Behavior of Individual Decision Making: Prospect Theory under Uncertainty.	MDAI	2009	DBLP DOI BibTeX RDF	Individual decision making, Behavioral (descriptive) model, Expected utility paradox, Prospect theory under uncertainty, Utility theory
4	Xingxing Wei, Haibin Duan, Yanran Wang	Hybrid Game Theory and D-S Evidence Approach to Multiple UCAVs Cooperative Air Combat Decision.	ISNN	2009	DBLP DOI BibTeX RDF	UCAVs, Mission Decision-making, Game Theory, D-S Evidence Theory
4	Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez	Embedding a logical theory of constructions in Agda.	PLPV	2009	DBLP DOI BibTeX RDF	general recursion, logical theory of constructions, type theory
4	Christine Rivers, Janko Calic, Amy Tan	Combining Activity Theory and Grounded Theory for the Design of Collaborative Interfaces.	HCI	2009	DBLP DOI BibTeX RDF	remote tabletop collaboration, methodological-design approach, Activity theory, Grounded Theory
4	Anas Dahabiah, John Puentes, Basel Solaiman	Imperfect Pattern Recognition Using the Fuzzy Measure Theory.	IDEAL	2009	DBLP DOI BibTeX RDF	pattern recognition, similarity measuring, Dempster-Shafer theory, possibility theory
4	Zhanshan (Sam) Ma	Towards an Extended Evolutionary Game Theory with Survival Analysis and Agreement Algorithms for Modeling Uncertainty, Vulnerability, and Deception.	AICI	2009	DBLP DOI BibTeX RDF	Extended Evolutionary Game Theory, Agreement Algorithms, Frailty, Dynamic Hybrid Fault Models, UUUR (Uncertain and latent and Unobservable or Unobserved Risks), Strategic Information Warfare, Security, Reliability, Survivability, Deception, Evolutionary Game Theory, Survival Analysis
4	Pierfrancesco La Mura	Game Theory without Decision-Theoretic Paradoxes.	ADT	2009	DBLP DOI BibTeX RDF	Allais, Ellsberg, game theory, projective, expected utility, paradoxes
4	Majed Ayyad	Using the Actor-Network Theory to interpret e-government implementation barriers.	ICEGOV	2009	DBLP DOI BibTeX RDF	e-government barriers, e-government, socio-technical system, social science, ANT, actor-network theory
4	Shirley Gregor	Building theory in the sciences of the artificial.	DESRIST	2009	DBLP DOI BibTeX RDF	philosophy of technology, practical sciences, sciences of the artificial, theory, design science, philosophy of science, theory building
4	László Babai, Robert Beals, Ákos Seress	Polynomial-time theory of matrix groups.	STOC	2009	DBLP DOI BibTeX RDF	computational group theory, matrix groups, discrete log
4	Mathieu Hoyrup, Cristobal Rojas	An Application of Martin-Löf Randomness to Effective Probability Theory.	CiE	2009	DBLP DOI BibTeX RDF	universal test, effective probability theory, Lebesgue integration, layerwise computability, computable analysis, Algorithmic randomness
4	Anas Dahabiah, John Puentes, Basel Solaiman	Possibilistic Similarity Estimation and Visualization.	ICTIR	2009	DBLP DOI BibTeX RDF	Clustering, Graph Theory, Similarity, Scaling, Possibility Theory
4	Oleg V. Kudinov, Victor L. Selivanov	Definability in the Infix Order on Words.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF	Infix order, least fixed point, biinterpretability, definability, automorphism, first-order theory
4	Robert Kleinberg, Georgios Piliouras, Éva Tardos	Multiplicative updates outperform generic no-regret learning in congestion games: extended abstract.	STOC	2009	DBLP DOI BibTeX RDF	game theory, price of anarchy, learning theory
4	Avi Wigderson	The work of Leslie Valiant.	STOC	2009	DBLP DOI BibTeX RDF	computational complexity, parallel computing, learning theory, cognitive theory, holographic algorithms
4	Paul Brodhead, Bjørn Kjos-Hanssen	The Strength of the Grätzer-Schmidt Theorem.	CiE	2009	DBLP DOI BibTeX RDF	computability theory, lattice theory
4	Benjamin Quost, Thierry Denoeux	Learning from data with uncertain labels by boosting credal classifiers.	KDD Workshop on Knowledge Discovery from Uncertain Data	2009	DBLP DOI BibTeX RDF	theory of belief functions, theory of evidence, classification, uncertainty, AdaBoost, Dempster-Shafer theory, classifier combination
4	Jens Dibbern, Armin Heinzl	Outsourcing of Information Systems Functions in Small and Medium Sized Enterprises: A Test of a Multi-Theoretical Model.	Business & Information Systems Engineering	2009	DBLP DOI BibTeX RDF	Information systems outsourcing, Transaction cost economic theory, Power theory, Empirical study, Small and medium sized enterprises (SMEs), Structural equation modeling, Partial least squares, Resource-based theory
4	Jens Dibbern, Armin Heinzl	Outsourcing der Informationsverarbeitung im Mittelstand: Test eines multitheoretischen Kausalmodells.	Wirtschaftsinformatik	2009	DBLP DOI BibTeX RDF	Information systems outsourcing, Transaction cost economic theory, Power theory, Empirical study, Small and medium sized enterprises (SMEs), Structural equation modeling, Partial least squares, Resource-based theory
4	Ignacio J. Martinez-Moyano, Eliot H. Rich, Stephen H. Conrad, David F. Andersen, Thomas R. Stewart	A behavioral theory of insider-threat risks: A system dynamics approach.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	behavioral theory, judgment and decision making, signal detection theory, system dynamics modeling, risk, security modeling, Insider threat, policy analysis
4	Thierry Denoeux	A k -Nearest Neighbor Classification Rule Based on Dempster-Shafer Theory.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF
4	Ronald R. Yager	Entropy and Specificity in a Mathematical Theory of Evidence.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF	Specificity, Entropy, Fuzzy sets, Belief, Plausibility
4	Liping Liu, Ronald R. Yager	Classic Works of the Dempster-Shafer Theory of Belief Functions: An Introduction.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF
4	John Yen	Generalizing the Dempster-Shafer Theory to Fuzzy Sets.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF
4	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for web services.	POPL	2008	DBLP DOI BibTeX RDF	explicit coercions, must testing, web services, contracts, subtyping, type theory, CCS, concurrency theory
4	David Rebollo-Monedero, Jordi Forné, Josep Domingo-Ferrer	From t-Closeness to PRAM and Noise Addition Via Information Theory.	Privacy in Statistical Databases	2008	DBLP DOI BibTeX RDF	t-closeness, Microdata anonymization, Information theory, PRAM, Rate distortion theory, Noise addition
4	Flavio D'Alessandro, Stefano Varricchio	Well Quasi-orders in Formal Language Theory.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF	iterated shuffle, finite automata, context-free languages, shuffle, Well quasi-orders
4	Rahul De'	Electronic governance theory.	ICEGOV	2008	DBLP DOI BibTeX RDF	e-governance, theory, development, structuration, tutorial
4	Avrim Blum, Katrina Ligett, Aaron Roth	A learning theory approach to non-interactive database privacy.	STOC	2008	DBLP DOI BibTeX RDF	non-interactive database privacy, learning theory
4	Galina L. Rogova	Combining the Results of Several Neural Network Classifiers.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF	The Dempster-Shafer theory of evidence, Neural network, Character recognition, Classifier, Evidence
4	Jon M. Kleinberg, Éva Tardos	Balanced outcomes in social exchange networks.	STOC	2008	DBLP DOI BibTeX RDF	network exchange theory, social networks, game theory, bargaining
4	Sagar Dhakal, Majeed M. Hayat, Jorge E. Pezoa, Cundong Yang, David A. Bader	Dynamic Load Balancing in Distributed Systems in the Presence of Delays: A Regeneration-Theory Approach.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	distributed computing, dynamic load balancing, queuing theory, Renewal theory
4	Gennaro Cordasco, Grzegorz Malewicz, Arnold L. Rosenberg	Advances in IC-Scheduling Theory: Scheduling Expansive and Reductive Dags and Scheduling Dags via Duality.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	IC-Scheduling theory, Scheduling dags, Grid computing, Theory, Global computing, Internet-based computing
4	Vassilis G. Kaburlasos	Granular Enhancement of Fuzzy ART/SOM Neural Classifiers Based on Lattice Theory.	Computational Intelligence Based on Lattice Theory	2007	DBLP DOI BibTeX RDF
4	Samson Lasaulce, Alberto Suárez 0002, Raul L. de Lacerda Neto, Mérouane Debbah	Cross-system resource allocation based on random matrix theory.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	cross system optimization, iterative water-filling, information theory, heterogeneous networks, power allocation, multiple access channel, random matrix theory
4	Milan Daniel	The DSm Approach as a Special Case of the Dempster-Shafer Theory.	ECSQARU	2007	DBLP DOI BibTeX RDF	DSm theory, Overlapping elements, Exclusive elements, Non-separable elements, Constraints, Dempster-Shafer theory, Belief functions
4	Hong-bin Fang	Integrating Probability and Quotient Space Theory: Quotient Probability.	ICFIE	2007	DBLP DOI BibTeX RDF	Quotient Space Theory, Granular Computing, Probability Theory
4	Scott Sigman	Engaging students in formal language theory and theory of computation.	SIGCSE	2007	DBLP DOI BibTeX RDF	Moore method, problem based learning, theory of computation, formal language theory, inquiry learning, discovery learning
4	Vassilis G. Kaburlasos	Unified Analysis and Design of ART/SOM Neural Networks and Fuzzy Inference Systems Based on Lattice Theory.	IWANN	2007	DBLP DOI BibTeX RDF	Neural Networks, Self-Organizing Map (SOM), Fuzzy Inference System (FIS), Adaptive Resonance Theory (ART), Lattice Theory
4	Samson Lasaulce, Alberto Suárez 0002, Mérouane Debbah, Laura Cottatellucci	Power allocation game for fading MIMO multiple access channels with antenna correlation.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	antenna correlation, power allocation game, game theory, information theory, Nash equilibrium, MIMO systems, multiple access channel, random matrix theory
4	Weldon A. Lodwick, K. David Jamison	The Use of Interval-Valued Probability Measures in Optimization Under Uncertainty for Problems Containing a Mixture of Fuzzy, Possibilisitic, and Interval Uncertainty.	IFSA	2007	DBLP DOI BibTeX RDF	Optimization Under Uncertainty, Fuzzy Set Theory, Interval Analysis, Possibility Theory, Probability Theory, Imprecise Probability
4	Newton C. A. da Costa, Alexandre A. M. Rodrigues	Definability and Invariance.	Studia Logica	2007	DBLP DOI BibTeX RDF	Generalized Galois Theory, Invariance, Model Theory, Definability, Galois Theory
4	James Aspnes, Tolga Eren, David Kiyoshi Goldenberg, A. Stephen Morse, Walter Whiteley, Yang Richard Yang, Brian D. O. Anderson, Peter N. Belhumeur	A Theory of Network Localization.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	nonnumerical algorithms and problems, geometrical problems and computation, wireless sensor networks, mobile computing, architectures, graph theory, mobile applications, algorithm/protocol design and analysis, computer applications, discrete mathematics, Computer systems organization, theory of computation, location-dependent and sensitive, mathematics of computing, analysis of algorithms and problem complexity, network problems, communication/networking and IT
4	J. J. McDowell, Paul L. Soto, Jesse Dallery, Saule Kulubekova	A computational theory of adaptive behavior based on an evolutionary reinforcement mechanism.	GECCO	2006	DBLP DOI BibTeX RDF	Rescorla-Wagner rule, conditioned reinforcement, credit assignment, delay-reduction theory, matching theory, stimulus control, evolutionary algorithms, reinforcement learning, adaptive agents, adaptive behavior
4	Rosaria Conte	From Simulation to Theory (and Backward).	EPOS	2006	DBLP DOI BibTeX RDF	Agent-based generative social simulation, bottom-up theory, top-down theory, multiple realizability, social emergence
4	Elena V. Konstantinova	On Some Applications of Information Indices in Chemical Graph Theory.	GTIT-C	2006	DBLP DOI BibTeX RDF	Shannon formula, information indices, molecular graphs, correlating ability, Mathematics Subject Classification 2000: 94A15, 94A17, 94C15, information theory, discriminating power
4	Khalil Djelloul, Thi-Bich-Hanh Dao	Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories.	SAC	2006	DBLP DOI BibTeX RDF	complete theory, first-order constraints, theory of trees, two partners games, rewriting rules
4	Yixin Zhong	Knowledge Theory and Artificial Intelligence.	RSKT	2006	DBLP DOI BibTeX RDF	Knowledge theory, unified theory of AI, mechanism
4	Yuri Gurevich, Charles Wallace	Can Abstract State Machines Be Useful in Language Theory?.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
4	Julien Schmaltz, Dominique Borrione	Towards a formal theory of on chip communications in the ACL2 logic.	ACL2	2006	DBLP DOI BibTeX RDF	formal theory, network on a chip, theorem proving, communication theory
4	Mark Burgess, Siri Fagernes	Promise theory - a model of autonomous objects for pervasive computing and swarms.	ICNS	2006	DBLP DOI BibTeX RDF	promise theory, Pervasive computing, swarm intelligence, control theory
4	Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart	Social Software for Coalition Formation.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF	stable government, MacBeth, RelView, social choice rule, graph theory, consensus, relational algebra, bargaining
4	Paul Bell, Igor Potapov	Lowering Undecidability Bounds for Decision Questions in Matrices.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF	vector reachability, matrix semigroups, piecewise linear maps, membership, Theory of computing
4	Hans Jochen Scholl, Jens-Erik Mai, Raya Fidel	Interdisciplinary analysis of digital government work.	DG.O	2006	DBLP DOI BibTeX RDF	stakeholder theory, work content, workflow, information systems, system dynamics, structuration theory, business process analysis, institutional theory, cognitive work analysis, actor-network theory, soft systems methodology, cognitive systems engineering, work context
4	Eileen M. Trauth, Jeria L. Quesenberry, Haiyan Huang	Cross-cultural influences on women in the IT workforce.	CPR	2006	DBLP DOI BibTeX RDF	feminist theory, gender equity, diversity, theory, gender, IT workforce, IT professionals, gender differences, women, gender issues, IT careers, IS professionals, IT profession, IS careers, feminism, individual differences theory of gender and IT, careers of women in IT
4	Hong Tian, Zhao Pixi, Xiukun Wang	CRST: A Generalization of Rough Set Theory.	RSFDGrC	2005	DBLP DOI BibTeX RDF	Compatibility Rough Set Theory (CRST), Compatibility Relation, Fuzzy Compatibility Relation, Rough Set Theory (RST)
4	Nelson F. Granados, Alok Gupta, Robert J. Kauffman	Identifying Facilitators and Inhibitors of Market Structure Change: A Hybrid Theory of Unbiased Electronic Markets.	HICSS	2005	DBLP DOI BibTeX RDF	Biased markets, business-to-business (B2B) e-commerce, electronic markets and hierarchies theory, industrial organization, market design theory, e-markets, market structure, industry structure
4	Eileen M. Trauth, Jeria L. Quesenberry, Benjamin Yeo	The influence of environmental context on women in the IT workforce.	CPR	2005	DBLP DOI BibTeX RDF	feminist theory, gender equity, diversity, theory, gender, IT workforce, IT professionals, gender differences, gender issues, IT careers, IS professionals, IT profession, IS careers, feminism, individual differences theory of gender and IT, careers of women in IT
4	Tracy L. Lewis, Wanda J. Smith	The computer science debate: it's a matter of perspective.	SIGCSE Bulletin	2005	DBLP DOI BibTeX RDF	qualitative analysis, social exchange theory, resource dependency theory, resource based theory
4	I. D. Zaslavsky	Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic.	TbiLLC	2005	DBLP DOI BibTeX RDF	three-valued predicate, Luk-theory, Luk-consistent theory, Lukcomplete theory, Luk-decidable theory
4	Stephen R. Barley, William H. Dutton, Sara B. Kiesler, Paul Resnick, Robert E. Kraut, JoAnne Yates	Does CSCW need organization theory?	CSCW	2004	DBLP DOI BibTeX RDF	social science theory, research methods, organization theory
4	Eileen M. Trauth, Jeria L. Quesenberry, Allison J. Morgan	Understanding the under representation of women in IT: toward a theory of individual differences.	CPR	2004	DBLP DOI BibTeX RDF	feminist theory, gender equity, individual differences theory, women and IT, diversity, theory, gender, IT workforce, IT professionals, gender differences, gender issues, IT careers, IS professionals, IT profession, IS careers, feminism
4	Peter Apostoli, Akira Kanda, Lech Polkowski	First Steps Towards Computably-Infinite Information Systems.	T. Rough Sets	2004	DBLP DOI BibTeX RDF	effective domain theory, exact sets, Frege sets, graded indiscernibility, infinite information systems, Myhill-Sheperdson Theorem, non–standard analysis, numeration theory, SFP objects, rough sets, modal logic, domain theory
4	Michael J. Fischer, Michael Merritt	Appraising two decades of distributed computing theory research.	Distributed Computing	2003	DBLP DOI BibTeX RDF	Distributed computing theory research, Theory vs. practice, Critical overview
4	Lech Polkowski	A Rough Set Paradigm for Unifying Rough Set Theory and Fuzzy Set Theory.	RSFDGrC	2003	DBLP DOI BibTeX RDF	fuzzy set theory, Rough set theory, rough mereology, rough inclusion
4	N. Ranganathan, Ashok K. Murugavel	A low power scheduler using game theory.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	game theory, high-level synthesis, low power design, auction theory
4	G. Ivan Maldonado, Naveen Kondapalli	Online Higher-Order Error Correction of Nonlinear Diffusion Generalized Perturbation Theory Using Neural Networks.	The Journal of Supercomputing	2002	DBLP DOI BibTeX RDF	neural networks, perturbation theory, diffusion theory
4	Edward B. Allen	Measuring Graph Abstractions of Software: An Information-Theory Approach.	IEEE METRICS	2002	DBLP DOI BibTeX RDF	length, properties of metrics, complexity, entropy, software metrics, information theory, coupling, cohesion, size, measurement theory, excess entropy
4	Susanne Jul	A framework for locomotional design: toward a generative design theory.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	design generation, generative design theory, theory-driven design, navigation, locomotion, informed design, wayfinding, design framework
4	Lyn Gattis	Planning and information foraging theories and their value to the novice technical communicator.	SIGDOC	2002	DBLP DOI BibTeX RDF	human behavioral ecology, strategic planning theory, communication model, technical communication, information foraging theory, cognitive theory
4	G. M. Germano, S. Mazzanti	Non-Deterministic Closure Theory and Universal Arrows.	Applied Categorical Structures	2001	DBLP DOI BibTeX RDF	closure theory, reflection theory, universal arrows, non-deterministic programs, while-do commands
4	Lew Gordeew	Proof Theory and Post-turing Analysis.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF
4	Klaus-Dieter Schewe	Design theory for advanced datamodels.	ADC	2001	DBLP DOI BibTeX RDF	dependency theory, object oriented datamodel, design theory, acyclicity
4	Christian Choffrut	Elementary Theory of Ordinals with Addition and Left Translation by omega.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
4	Kosta Dosen, Zoran Petric	Coherent Bicartesian and Sesquicartesian Categories.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05
4	Thomas Kern, Jeroen Kreijger	An Exploration of the Application Service Provision Outsourcing Option. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF	Application Service Provision, transaction cost theory, agency cost theory, case studies, IT outsourcing, resource dependency theory, resource based theory
4	Fernando Wagner da Silva, Luiz-Marcos Garcia, Ricardo C. Farias, Antonio A. F. Oliveira	A Control Theory Approach for Real-Time Animation of Artificial Agents.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	control theory approach, robotics control theory, autonomous artificial animated agents, physics constraints, kinematics issues, agent resources, computer animated platforms, virtual reality, sensors, dynamics, actuators, real time animation, control structure, animated agents
4	Jifeng He, C. A. R. Hoare	Unifying theories of healthiness condition.	APSEC	2000	DBLP DOI BibTeX RDF	healthiness condition theory, programming notations, nondeterministic programming, probabilistic program, formal specifications, parallel programming, logic programming, programming languages, algebraic specification, programming theory, programming theory, Boolean algebra, Boolean algebra, sequential programming, design optimisation, algebraic laws
4	Christoph Schneider, Joachim Wehler	Petri Net Theory - Problems Solved by Commutative Algebra.	ICATPN	1999	DBLP DOI BibTeX RDF	Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability
4	Hermann Borotschnig, Lucas Paletta, Axel Pinz	A Comparison of Probabilistic, Possibilistic and Evidence Theoretic Fusion Schemes for Active Object Recognition.	Computing	1999	DBLP DOI BibTeX RDF	Action planning, uncertain information fusion, fuzzy fusion, robust fusion, parametric eigenspace, object recognition, possibility theory, probability theory, Dempster-Shafer theory of evidence
4	Mieczyslaw A. Klopotek, Slawomir T. Wierzchon	Qualitative Versus Quantitative Interpretation of the Mathematical Theory of Evidence.	ISMIS	1997	DBLP DOI BibTeX RDF	qualitative interpretation of Dempster rule, relational databases, Soft Computing, rough set theory, Dempster-Shafer theory, Knowledge Representation and Integration