Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Eric C. R. Hehner, Ioannis T. Kassios	Theories, Implementations, and Transformations.	ZB	2002	DBLP DOI BibTeX RDF
15	Jean-Raymond Abrial, Louis Mussat	On Using Conditional Definitions in Formal Theories.	ZB	2002	DBLP DOI BibTeX RDF
15	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
15	Pieter M. A. Ribbers, Ryan Peterson 0001, Marylin M. Parker	Designing Information Technology Governance Processes: Diagnosing Contemporary Practices and Competing Theories.	HICSS	2002	DBLP DOI BibTeX RDF	Business-IT decision-making integration, Case study research, Information Technology Governance
15	Cesare Tinelli	A DPLL-Based Calculus for Ground Satisfiability Modulo Theories.	JELIA	2002	DBLP DOI BibTeX RDF
15	Aarati Parmar	Formalizing Approximate Objects and Theories: Some Initial Results.	SARA	2002	DBLP DOI BibTeX RDF
15	David V. Pynadath, Milind Tambe	Multiagent teamwork: analyzing the optimality and complexity of key theories and models.	AAMAS	2002	DBLP DOI BibTeX RDF
15	Christopher Lynch, Barbara Morawska 0001	Complexity of Linear Standard Theories.	LPAR	2001	DBLP DOI BibTeX RDF
15	Pascal Nicolas, Béatrice Duval	Representation of Incomplete Knowledge by Induction of Default Theories.	LPNMR	2001	DBLP DOI BibTeX RDF
15	Hudson Turner	Strong Equivalence for Logic Programs and Default Theories (Made Easy).	LPNMR	2001	DBLP DOI BibTeX RDF
15	Luc Florack	Scale-Space Theories for Scalar and Vector Images.	Scale-Space	2001	DBLP DOI BibTeX RDF
15	Reinhard Kahle	N\hbox{\sf N}-strictness in applicative theories.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
15	Floriana Esposito, Donato Malerba, Francesca A. Lisi	Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions.	ILP	2000	DBLP DOI BibTeX RDF
15	Daniel J. Dougherty, Claudio Gutierrez 0001	Normal Forms and Reduction for Theories of Binary Relations.	RTA	2000	DBLP DOI BibTeX RDF
15	Philippe Blache	Constraints, Linguistic Theories and Natural Language Processing.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
15	Rino Falcone	Autonomy: Theory, Dimensions, and Regulation.	ATAL	2000	DBLP DOI BibTeX RDF
15	Luis Antunes 0001, João Faria, Helder Coelho	Improving Choice Mechanisms within the BVG Architecture.	ATAL	2000	DBLP DOI BibTeX RDF
15	Masahito Hasegawa	Logical Predicates for Intuitionistic Linear Type Theories.	TLCA	1999	DBLP DOI BibTeX RDF
15	Michael Kaminski	Open Default Theories over Closed Domains.	ESCQARU	1999	DBLP DOI BibTeX RDF
15	Béatrice Duval, Pascal Nicolas	Learning Default Theories.	ESCQARU	1999	DBLP DOI BibTeX RDF
15	Henning Christiansen 0001	Open Theories and Abduction for Context and Accommodation.	CONTEXT	1999	DBLP DOI BibTeX RDF
15	Franz Baader, Cesare Tinelli	Deciding the Word Problem in the Union of Equational Theories Sharing Constructors.	RTA	1999	DBLP DOI BibTeX RDF
15	Leo Bachmair, Harald Ganzinger	Ordered Chaining Calculi for First-Order Theories of Transitive Relations.	J. ACM	1998	DBLP DOI BibTeX RDF	chaining calculi, reduction orderings, transitive relations, term rewriting, rewrite systems, equational logic
15	Andrea Formisano 0001, Eugenio G. Omodeo	An Equational Re-engineering of Set Theories.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF	first-order theorem-proving, relation algebras, Set Theory, algebraic logic
15	Belaid Benhamou, Laurent Henocque	Finite Model Search for Equational Theories (FMSET).	AISC	1998	DBLP DOI BibTeX RDF
15	T. S. E. Maibaum	Conservative Extensions, Interpretations Between Theories and All That!	TAPSOFT	1997	DBLP DOI BibTeX RDF
15	Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo	A Notion of Correctness with Theories Containing Theoretical Terms.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
15	Grigoris Antoniou, Cara MacNish, Norman Y. Foo	Conservative Expansion Concepts for Default Theories.	PRICAI	1996	DBLP DOI BibTeX RDF
15	Torsten Schaub	Computing Queries from Prioritized Default Theories.	ISMIS	1994	DBLP DOI BibTeX RDF
15	Marco Botta	Learning First Order Theories.	ISMIS	1994	DBLP DOI BibTeX RDF
15	Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone	Extending Horn Clause Theories by Reflection Principles.	JELIA	1994	DBLP DOI BibTeX RDF
15	Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle	Revision of Non-Monotonic Theories.	JELIA	1994	DBLP DOI BibTeX RDF	Logic Programming, Revision, Non-monotonic Reasoning
15	Denis Lugiez, J. L. Moysset	Complement Problems and Tree Automata in AC-like Theories (Extended Abstract).	STACS	1993	DBLP DOI BibTeX RDF
15	Peter Clark, Stan Matwin	Learning Domain Theories using Abstract Beckground Knowledge.	ECML	1993	DBLP DOI BibTeX RDF
15	C.-H. Luke Ong	Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
15	Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian	Combining Knowledge Bases Consisting of First Order Theories.	ISMIS	1991	DBLP DOI BibTeX RDF
15	Emmanuel Kounalis, Denis Lugiez, Loic Pottier	A Solution of the Complement Problem in Associative-Commutative Theories.	MFCS	1991	DBLP DOI BibTeX RDF	The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness
15	Staffan Bonnier	Unification in Incompletely Specified Theories: A Case Study.	MFCS	1991	DBLP DOI BibTeX RDF
15	Santanu Paul, Atul Prakash 0001, Erich B. Buss, John Henshaw	Theories and techniques of program understanding.	CASCON	1991	DBLP BibTeX RDF
15	Nachum Dershowitz, Subrata Mitra, G. Sivakumar	Equation Solving in Conditional AC-Theories.	ALP	1990	DBLP DOI BibTeX RDF
15	Alexandre Boudet	Unification in a Combination of Equational Theories: an Efficient Algorithm.	CADE	1990	DBLP DOI BibTeX RDF
15	Uwe Petermann	Towards a Connection Procedure with Built in Theories.	JELIA	1990	DBLP DOI BibTeX RDF
15	Ralf Treinen	A New Method for Undecidability Proofs of First Order Theories.	FSTTCS	1990	DBLP DOI BibTeX RDF
15	Hans Jürgen Ohlbach	New Ways for Developing Proof Theories for First-Order Multi Modal Logics.	CSL	1989	DBLP DOI BibTeX RDF	Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic
15	Alexander Bockmayr	Narrowing with Built-In Theories.	ALP	1988	DBLP DOI BibTeX RDF
15	Emmanuel Kounalis, Michaël Rusinowitch	On Word Problems in Horn Theories.	CADE	1988	DBLP DOI BibTeX RDF	initial model, inductionless induction, resolution, term-rewriting system, Horn clause, word problems
15	Jieh Hsiang, Michaël Rusinowitch	On Word Problems in Equational Theories.	ICALP	1987	DBLP DOI BibTeX RDF
15	Steffen Hölldobler	A Unification Algorithms for Confluent Theories.	ICALP	1987	DBLP DOI BibTeX RDF
15	Volker Weispfenning	Efficient Decision Algorithms for Locally Finite Theories.	AAECC	1985	DBLP DOI BibTeX RDF
15	G. Ruggiu	Cryptology and Complexity Theories.	EUROCRYPT	1984	DBLP DOI BibTeX RDF
15	François Fages, Gérard P. Huet	Complete Sets of Unifiers and Matchers in Equational Theories.	CAAP	1983	DBLP DOI BibTeX RDF
15	Andrzej Salwicki	Algorithmic Theories of Data Structures.	ICALP	1982	DBLP DOI BibTeX RDF
15	Justin Fidock, Jennie Carroll	Why Do Users Employ the Same System in So Many Different Ways?	IEEE Intell. Syst.	2011	DBLP DOI BibTeX RDF	technology appropriation, theories of change, multiple methods, intelligent systems, email, human-centered computing
15	Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001	Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking.	ECBS	2010	DBLP DOI BibTeX RDF	Embedded Software Verification, Bounded Model Checking, Satisfiability Modulo Theories
15	Irwin King, Michael R. Lyu, Hao Ma 0001	Introduction to social recommendation.	WWW	2010	DBLP DOI BibTeX RDF	social network model and theories, recommender systems, collaborative filtering, collective intelligence, social recommendation
15	Margus Veanes, Peli de Halleux, Nikolai Tillmann	Rex: Symbolic Regular Expression Explorer.	ICST	2010	DBLP DOI BibTeX RDF	regular expressions, finite automata, strings, satisfiability modulo theories
15	Quintin I. Cutts, Emily Cutts, Stephen W. Draper, Patrick O'Donnell, Peter Saffrey	Manipulating mindset to positively influence introductory programming performance.	SIGCSE	2010	DBLP DOI BibTeX RDF	attitudinal, dweck, growth mindset, self-theories, debugging, programming, cs1, cs0, novice programmers
15	Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001	Parameterized unit testing: theory and practice.	ICSE (2)	2010	DBLP DOI BibTeX RDF	Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects
15	Bernhard K. Aichernig, Jifeng He 0001	Mutation testing in UTP.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Unifying theories of programming, Algebra of programming, Specification-based testing, Mutation testing, Refinement calculus, Fault-based testing
15	Thomas Heinz 0001, Reinhard Wilhelm	Towards device emulation code generation.	LCTES	2009	DBLP DOI BibTeX RDF	bit vector arithmetic, device emulation, code generation, binary translation, satisfiability modulo theories
15	Paulo Leitão	Holonic Rationale and Self-organization on Design of Complex Evolvable Systems.	HoloMAS	2009	DBLP DOI BibTeX RDF	Biological-inspired Theories, Self-organization, Emergent behavior, Holonic Manufacturing Systems
15	Giulio Manzonetto	A General Class of Models of H*.	MFCS	2009	DBLP DOI BibTeX RDF	?-theories, non-well-pointed categories, cpo-enriched categories, relational semantics, Approximation Theorem, ?-calculus
15	Brian Hanks, Laurie Murphy, Beth Simon, Renée McCauley, Carol Zander	CS1 students speak: advice for students by students.	SIGCSE	2009	DBLP DOI BibTeX RDF	mindsets, self-theories, attitudes, success factors, advice
15	Tanja Döring, Steffi Beckhaus, Albrecht Schmidt 0001	Towards a sensible integration of paper-based tangible user interfaces into creative work processes.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	TUI-GUI integration, generative theories for HCI, tangible user interfaces, creativity support tools, reality-based interaction
15	Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001	SMT-Based Bounded Model Checking for Embedded ANSI-C Software.	ASE	2009	DBLP DOI BibTeX RDF	Embedded ANSI-C Software, Bounded Model Checking, Satisfiability Modulo Theories
15	Markus Rohde, Gunnar Stevens, Peter Brödner, Volker Wulf	Towards a paradigmatic shift in IS: designing for social practice.	DESRIST	2009	DBLP DOI BibTeX RDF	design probes, social relevance, theories of practice, ontology, information systems, methodology, action research, epistemology, design science
15	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	From algebraic semantics to denotational semantics for Verilog.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Unifying theories of programming, Denotational semantics, Semantic relating, Verilog, Algebraic semantics
15	Christian Peter, Elizabeth A. Crane, Marc Fabri, Harry W. Agius, Lesley Axelrod	Emotion in HCI: designing for people.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	human-computer interaction, design, emotions, applications, affective computing, theories, emotion recognition, sensing
15	Jenneke Fokker, Huib de Ridder, Piet Westendorp, Johan A. Pouwelse	Exploring the Acceptability of Delayed Reciprocity in Peer-to-Peer Networks.	PERSUASIVE	2008	DBLP DOI BibTeX RDF	quantitative research, theories, social issues, User communities
15	Maurice Joseph McGinley	A map of the television experience.	UXTV	2008	DBLP DOI BibTeX RDF	hci theories, activity theory, distributed cognition, interactive television, television, phenomenology
15	Yifat Ben-David Kolikant	Computer-science education as a cultural encounter: a socio-cultural framework for articulating learning difficulties.	ITiCSE	2008	DBLP DOI BibTeX RDF	sociocultural theories, correctness, learning difficulties
15	Yogesh Kumar Dwivedi, Michael D. Williams, Banita Lal	The Diffusion of Research on the Adoption and Diffusion of Information Technology.	Open IT-Based Innovation	2008	DBLP DOI BibTeX RDF	research context, information systems, IT, theories, ICT, Adoption, diffusion, research method, acceptance, research issues
15	Jörn Sprado, Björn Gottfried	Grammar-Based Argument Construction.	KES (1)	2008	DBLP DOI BibTeX RDF	argument construction, cross-serial dependencies, historical theories, historical information sources, Formal grammars
15	Thomas Eiter, Kazuhisa Makino	On computing all abductive explanations from a propositional Horn theory.	J. ACM	2007	DBLP DOI BibTeX RDF	Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms
15	Darrell P. Rowbottom	The Insufficiency of the Dutch Book Argument.	Stud Logica	2007	DBLP DOI BibTeX RDF	Dutch Book, probabilistic theories of rationality, subjective interpretation of probability, coherence, degrees of belief
15	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving
15	Christian Peter, Russell Beale, Elizabeth A. Crane, Lesley Axelrod	Emotion in HCI.	BCS HCI (2)	2007	DBLP DOI BibTeX RDF	human-computer interaction, design, emotions, applications, affective computing, theories, emotion recognition, sensing
15	Michael E. Atwood, John Horner	Redesigning the Rationale for Design Rationale.	HCI (1)	2007	DBLP DOI BibTeX RDF	theories of design, Design rationale, interactive systems design
15	Lucas Stephane	Cognitive and Emotional Human Models Within a Multi-agent Framework.	HCI (13)	2007	DBLP DOI BibTeX RDF	Cognitive theories of emotion, Multi-Agent systems, Cognitive modeling, Situation Awareness, Workload, Self Awareness
15	Henning Breuer, Nelson Baloian, Christian Sousa, Mitsuji Matsumoto	Interaction Design Patterns for Classroom Environments.	HCI (4)	2007	DBLP DOI BibTeX RDF	Interaction Design Patterns, Pen-Tablets, Open Space, PDAs, Educational Technology, Activity Theory, Learning Theories, Classroom, Gesture-based Interaction, Whiteboards
15	Michele Bugliesi, Marco Giunti	Secure implementations of typed channel abstractions.	POPL	2007	DBLP DOI BibTeX RDF	language encodings, typed behavioral theories, full abstraction
15	Leo Freitas, Jim Woodcock 0001	Proving Theorems About JML Classes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository
15	Jenneke Fokker, Huib de Ridder, Piet Westendorp, Johan A. Pouwelse	Psychological Backgrounds for Inducing Cooperation in Peer-to-Peer Television.	EuroITV	2007	DBLP DOI BibTeX RDF	Peer-to-peer technology, inducing cooperation, (social) psychological theories, altruism
15	Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis	Distributed AI for Ambient Intelligence: Issues and Approaches.	AmI	2007	DBLP DOI BibTeX RDF	Action Theories, Context Awareness, Ambient Intelligence, Distributed AI, Multi-agent Cooperation
15	Francesco Mele, Antonio Calabrese, Roberta Marseglia	Interactive Analysis of Time in Film Stories.	AI*IA	2007	DBLP DOI BibTeX RDF	Film Analisys, Temporal Beliefs, Cognitive Agent Theories
15	Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo	Decidability results for sets with atoms.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
15	Christian Dzierzon	On an Essentially Algebraic Theory for Locally Presentable Categories.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	locally presentable categories, essentially algebraic theories, quasivarieties, partial algebras
15	Siegfried Gottwald	Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches.	Stud Logica	2006	DBLP DOI BibTeX RDF	higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets
15	Siegfried Gottwald	Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches.	Stud Logica	2006	DBLP DOI BibTeX RDF	higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets
15	Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani	Intelligent Systems and Formal Methods in Software Engineering.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories
15	Wojciech Jamroga	On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account.	KI	2006	DBLP DOI BibTeX RDF	theories of agency, game-theoretical foundations, multi-agent systems, modal logic
15	John Horner, Michael E. Atwood	Design rationale: the rationale and the barriers.	NordiCHI	2006	DBLP DOI BibTeX RDF	theories of design, design rationale, interactive systems design
15	Antti Pirhonen	Supporting a user facing a novel application: learnability in OOBE.	Pers. Ubiquitous Comput.	2005	DBLP DOI BibTeX RDF	Evaluation metaphor, Learning theories, Learnability
15	Massimo Merro, Francesco Zappa Nardelli	Behavioral theory for mobile ambients.	J. ACM	2005	DBLP DOI BibTeX RDF	Behavioral theories, concurrency, programming languages, bisimulation, process calculi
15	Victor Pambuccian	Groups and Plane Geometry.	Stud Logica	2005	DBLP DOI BibTeX RDF	Erlanger Programm, mutually interpretable theories, groups generated by involutions, group actions, line reflections, metric planes
15	George Voutsadakis	Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
15	Panos Markopoulos 0001, Boris E. R. de Ruyter, Wendy E. Mackay	Awareness systems: known results, theory, concepts and future challenges.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	computer mediated communication, connectivity, awareness systems, affective communication, media theories
15	Aleksandar Ignjatovic, Arun Sharma 0001	Some applications of logic to feasibility in higher types.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	higher-order complexity, second-order theories, functionals, bounded arithmetic
15	Mordechai Ben-Ari, Anders Berglund, Shirley Booth, Christian Holmboe	What do we mean by theoretically sound research in computer science education?	ITiCSE	2004	DBLP DOI BibTeX RDF	research approaches, socio-cultural research perspective, computer science education, action research, phenomenography, cognitive theories
15	Mikkel Jensen, Mads Søgaard	Refocusing the contextual turn: the forgotten construction of meaning at the interface.	NordiCHI	2004	DBLP DOI BibTeX RDF	HCI theories, cognitive semantics, cognitivism, reflexive HCI, user interface design, cognitive linguistics