Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Ji Ma 0001, Mehmet A. Orgun	Formalising theories of trust for authentication protocols.	Inf. Syst. Frontiers	2008	DBLP DOI BibTeX RDF	Trust theory, Agents, Authentication protocols, Belief logic
15	Hujun Yin	The Self-Organizing Maps: Background, Theories, Extensions and Applications.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
15	Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo	On Characteristic Constants of Theories Defined by Kolmogorov Complexity.	WoLLIC	2008	DBLP DOI BibTeX RDF
15	Ali Orhan Aydin, Mehmet A. Orgun, Abhaya C. Nayak	The reactive-causal architecture: Combining intentional notion and theories of needs.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
15	Khalil Djelloul	Combination of decomposability and propagation for solving first-order constraints in decomposable theories.	SAC	2008	DBLP DOI BibTeX RDF	complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules
15	Arnon Avron	A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
15	Jun Zheng, Yan Qin, Jianyong Zhu, Xinyou Li	Constructing Trust Networks Based on Small-World Theories.	ICYCS	2008	DBLP DOI BibTeX RDF
15	Margus Veanes, Ando Saabas	Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).	ABZ	2008	DBLP DOI BibTeX RDF
15	George Zardas	The Importance of Integrating Learning Theories and Pedagogical Principles in AHES (Adaptive Hypermedia Educational Systems).	ICALT	2008	DBLP DOI BibTeX RDF
15	David G. Hendry, Batya Friedman	Theories and practice of design for information systems: eight design perspectives in ten short weeks.	Conference on Designing Interactive Systems	2008	DBLP DOI BibTeX RDF	learning to design, social processes in design, design patterns, participatory design, curriculum, personas, design rationale, scenario-based design, value sensitive design, hierarchical decomposition, design education, reflective practice
15	Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani	Efficient Interpolant Generation in Satisfiability Modulo Theories.	TACAS	2008	DBLP DOI BibTeX RDF
15	Ling Wei, Jian-Jun Qi	Combination and Decomposition Theories of Formal Contexts Based on Same Attribute Set.	RSKT	2008	DBLP DOI BibTeX RDF
15	Henrik Svensson, Anthony F. Morse, Tom Ziemke	Neural Pathways of Embodied Simulation.	ABiALS	2008	DBLP DOI BibTeX RDF
15	Weiming Wang 0001, Yezhi Lin, Zhenbing Zeng	A New Mechanical Algorithm for Solving System of Fredholm Integral Equation Using Resolvent Method.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Mechanical algorithm, Maple, Fredholm integral equation
15	Yong Wu, Bo Wang, Feiyu Han	A Novel Numerical Random Model of Short Fiber Reinforced Foams.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Reinforced Foams, Short Fiber, Random Model, Finite Element methods
15	Cen Wang, Zhenghua Pan	Extended Fuzzy Knowledge Representation with Medium.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Fuzzy knowledge representation, Medium Logic, infinite-valued model of MF, truth value
15	Umut Orhan, Mahmut Hekim, Turgay Ibrikci	Supervised Gravitational Clustering with Bipolar Fuzzification.	ICIC (2)	2008	DBLP DOI BibTeX RDF	supervised gravitational clustering, bipolar fuzzy, K-means, fuzzy C-means
15	Shifei Ding, Weikuan Jia, Chunyang Su, Fengxiang Jin, Zhongzhi Shi	A Survey on Statistical Pattern Feature Extraction.	ICIC (2)	2008	DBLP DOI BibTeX RDF
15	Yiyong Xiao, Ikou Kaku, Wenbing Chang	Phi-Rough Sets Theory and Its Usage on Mining Approximate Dependencies.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Approximate dependency, Partial approximate dependency, Database, Functional dependency, Rough set theory
15	Antonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou	The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web.	SETN	2008	DBLP DOI BibTeX RDF
15	Tom Ziemke	Emotion in Cognitive Systems Architectures.	SETN	2008	DBLP DOI BibTeX RDF
15	Bart Jacobs 0001, Sjaak Smetsers, Ronny Wichers Schreur	Code-carrying theories.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Compression, Code generation, Functional languages, Unification, PVS, Proof assistants
15	Helmar Gust, Kai-Uwe Kühnberger, Peter Geibel	Learning Models of Predicate Logical Theories with Neural Networks Based on Topos Theory.	Perspectives of Neural-Symbolic Integration	2007	DBLP DOI BibTeX RDF
15	Nicola Vitiello, Emanuele Cattin, Stefano Roccella, Francesco Giovacchini, Fabrizio Vecchi, Maria Chiara Carrozza, Paolo Dario	The NEURARM: towards a platform for joint neuroscience experiments on human motion control theories.	IROS	2007	DBLP DOI BibTeX RDF
15	Marja Harjumaa, Harri Oinas-Kukkonen	Persuasion Theories and IT Design.	PERSUASIVE	2007	DBLP DOI BibTeX RDF	persuasive systems, human-computer interaction, Design, information systems, human factors, persuasive technology
15	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Modal I/O Automata for Interface and Product Line Theories.	ESOP	2007	DBLP DOI BibTeX RDF
15	Caroline Devred, Sylvie Doutre	Dialectical Proof Theories for the Credulous Prudent Preferred Semantics of Argumentation.	ECSQARU	2007	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani	A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories.	SAT	2007	DBLP DOI BibTeX RDF
15	Cesare Tinelli	An Abstract Framework for Satisfiability Modulo Theories.	TABLEAUX	2007	DBLP DOI BibTeX RDF
15	Michael Anthony Smith, Jeremy Gibbons	Unifying Theories of Objects.	IFM	2007	DBLP DOI BibTeX RDF
15	Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio	Challenges in Satisfiability Modulo Theories.	RTA	2007	DBLP DOI BibTeX RDF
15	Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko	Invariant Synthesis for Combined Theories.	VMCAI	2007	DBLP DOI BibTeX RDF
15	Georgios K. Giannikis, Aspassia Daskalopulu	The Representation of e-Contracts as Default Theories.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription
15	Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz	A Theory for Game Theories.	FSTTCS	2007	DBLP DOI BibTeX RDF	categories, Game semantics
15	Sava Krstic, Amit Goel	Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.	FroCoS	2007	DBLP DOI BibTeX RDF
15	Helmar Gust, Kai-Uwe Kühnberger, Peter Geibel	Learning and Memorizing Models of Logical Theories in a Hybrid Learning Device.	ICONIP (2)	2007	DBLP DOI BibTeX RDF
15	Rong Fei, Du-Wu Cui, Yikun Zhang, Chao-Xue Wang	Application of Dynamic Programming to Solving K Postmen Chinese Postmen Problem.	ICIC (2)	2007	DBLP DOI BibTeX RDF	KPCPP, CAPA, MDPMCA, KMDPA, Dynamic Programming
15	Yunping Zheng, Chuanbo Chen, Mudar Sarem	A Novel Algorithm for Triangle Non-symmetry and Anti-packing Pattern Representation Model of Gray Images.	ICIC (1)	2007	DBLP DOI BibTeX RDF	anti-packing problem, triangle, pattern representation, gray image
15	Bo Zhou, Changzheng Chen, Yi Gou, Yu Zhang	Application of the Stress Waves to Extract Multi-fault Features of the Low-Speed Machinery Based on Blind Source Separation.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Multi-faults diagnosis, Low-speed machinery, Stress waves, Blind source separation, Radial basis function network
15	Ryohei Nakatsu, Matthias Rauterberg, Ben Salem	Forms and theories of communication: from multimedia to Kansei Mediation.	Multim. Syst.	2006	DBLP DOI BibTeX RDF	Kansei Mediation, Unconsciousness, Satori, Lifelong learning, Communication theory
15	Ana Cavalcanti 0001, Jim Woodcock 0001, Steve Dunne	Angelic nondeterminism in the unifying theories of programming.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Semantics, Refinement, Relations, Predicate transformers
15	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani	Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.	LPAR	2006	DBLP DOI BibTeX RDF
15	Yue Yang 0004, Liang Yu	On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies.	TAMC	2006	DBLP DOI BibTeX RDF
15	Michael Rathjen	Models of Intuitionistic Set Theories over Partial Combinatory Algebras.	TAMC	2006	DBLP DOI BibTeX RDF
15	Dietrich Kuske, Markus Lohrey	First-Order and Counting Theories of omega-Automatic Structures.	FoSSaCS	2006	DBLP DOI BibTeX RDF
15	Mauricio Osorio 0001, Claudia Zepeda	Answer Set General Theories and Preferences.	MICAI	2006	DBLP DOI BibTeX RDF	Logic Programming, Preferences, Answer Set Programming
15	Terence Blackburn, Paul A. Swatman, Rudi Vernik	Cognitive Dust: Linking CSCW Theories to Creative Design Processes.	CSCWD	2006	DBLP DOI BibTeX RDF
15	Yong Zhang 0030, Zhongxian Chi, Yu Sun 0001	A Novel Multi-class Support Vector Machine Based on Fuzzy Theories.	ICIC (1)	2006	DBLP DOI BibTeX RDF
15	Jürgen Falb, Hermann Kaindl, Helmut Horacek, Cristian Bogdan, Roman Popp, Edin Arnautovic	A discourse model for interaction design based on theories of human communication.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	interaction design, conversation analysis, communicative acts, rhetorical structure theory, discourse modeling
15	Benjamin Werner	On the Strength of Proof-Irrelevant Type Theories.	IJCAR	2006	DBLP DOI BibTeX RDF
15	Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron	Tree Automata with Equality Constraints Modulo Equational Theories.	IJCAR	2006	DBLP DOI BibTeX RDF
15	Hossein M. Sheini, Karem A. Sakallah	A Progressive Simplifier for Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
15	John W. Lloyd, Kee Siong Ng	Learning Modal Theories.	ILP	2006	DBLP DOI BibTeX RDF
15	Alexander Moshe Rabinovich, Wolfgang Thomas	Decidable Theories of the Ordering of Natural Numbers with Unary Predicates.	CSL	2006	DBLP DOI BibTeX RDF
15	Munindar P. Singh	Interaction-Oriented Programming: Concepts, Theories, and Results on Commitment Protocols.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
15	Clemens Ballarin	Interpretation of Locales in Isabelle: Theories and Proof Contexts.	MKM	2006	DBLP DOI BibTeX RDF
15	Moshe Deutsch, Martin C. Henson	A Relational Investigation of UTP Designs and Prescriptions.	UTP	2006	DBLP DOI BibTeX RDF
15	Gift Nuka, Jim Woodcock 0001	Mechanising a Unifying Theory.	UTP	2006	DBLP DOI BibTeX RDF
15	Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Christian Bunse, Umair Khan, Maurizio Morisio, Marco Torchiano	Barriers to disseminating off-the-shelf based development theories to IT industry.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	OSS component, empirical study, COTS component
15	Neil Tennant	Contracting Intuitionistic Theories.	Stud Logica	2005	DBLP DOI BibTeX RDF	partial meet contraction, safe contraction, contraction, intuitionistic logic, revision, classical logic
15	Dan Li 0002, Jitender S. Deogun, William Spaulding, Bill Shuart	Dealing with Missing Data: Algorithms Based on Fuzzy Set and Rough Set Theories.	Trans. Rough Sets	2005	DBLP DOI BibTeX RDF	rough-fuzzy hybridization, rough sets, fuzzy sets, Missing data, K-means clustering, imputation
15	Alison Chorley, Trevor J. M. Bench-Capon	AGATHA: Using heuristic search to automate the construction of case law theories.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF	theory construction, case based reasoning, heuristic search, legal knowledge based systems
15	Pyong Sik Pak, Gwan Kim	Long-Range Prediction of Population by Sex, Age and District Based on Fuzzy Theories.	Computational Intelligence for Modelling and Prediction	2005	DBLP DOI BibTeX RDF
15	Walter Guttmann	Non-termination in Unifying Theories of Programming.	RelMiCS	2005	DBLP DOI BibTeX RDF
15	Martin J. Robbins, Simon M. Garrett	Evaluating Theories of Immunological Memory Using Large-Scale Simulations.	ICARIS	2005	DBLP DOI BibTeX RDF
15	Joyce Y. Chai, Zahar Prasov, Joseph Blaim, Rong Jin 0001	Linguistic theories in efficient multimodal reference resolution: an empirical investigation.	IUI	2005	DBLP DOI BibTeX RDF	multimodal input interpretation, reference resolution
15	Mathieu Baudet, Véronique Cortier, Steve Kremer	Computationally Sound Implementations of Equational Theories Against Passive Adversaries.	ICALP	2005	DBLP DOI BibTeX RDF
15	Alberto Finzi, Thomas Lukasiewicz	Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories.	LPNMR	2005	DBLP DOI BibTeX RDF
15	Ji Ma 0001, Mehmet A. Orgun	Managing Theories of Trust in Agent Based Systems.	ISCIS	2005	DBLP DOI BibTeX RDF
15	Pascal Lafourcade 0001, Denis Lugiez, Ralf Treinen	Intruder Deduction for AC-Like Equational Theories with Homomorphisms.	RTA	2005	DBLP DOI BibTeX RDF
15	Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito	On the LearnAbility of Abstraction Theories from Observations for Relational Learning.	ECML	2005	DBLP DOI BibTeX RDF
15	Henk Verkuyl	Georgian as the Testing-Ground for Theories of Tense and Aspect.	TbiLLC	2005	DBLP DOI BibTeX RDF
15	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou	Program Verification by Using DISCOVERER.	VSTTE	2005	DBLP DOI BibTeX RDF	semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation
15	F. Borceux	Non-Pointed Strongly Protomodular Theories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	strongly protomodular category, semi-Abelian category, normal subobject, C *-algebra, Boolean algebra, ring, Heyting algebra
15	Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima	Consequence Finding in Default Theories.	FQAS	2004	DBLP DOI BibTeX RDF
15	Martín Abadi, Véronique Cortier	Deciding Knowledge in Security Protocols Under Equational Theories.	ICALP	2004	DBLP DOI BibTeX RDF
15	Qi Li, Xianfeng Zhang	Three dimensional model: an analyzing sketch for e-commerce theories and applications.	ICEC	2004	DBLP DOI BibTeX RDF	application dimension, commerce chain, commerce mode, e-commerce chain, three dimensional model
15	George Chin Jr., Eric G. Stephan, Kyle R. Klicker, Abigail L. Corrigan, Heidi J. Sofia	Supporting Computational Visual Theories in Biology.	VL/HCC	2004	DBLP DOI BibTeX RDF
15	Cesare Tinelli, Calogero G. Zarba	Combining Decision Procedures for Sorted Theories.	JELIA	2004	DBLP DOI BibTeX RDF
15	Angelo Montanari, Gabriele Puppis	Decidability of MSO Theories of Tree Structures.	FSTTCS	2004	DBLP DOI BibTeX RDF
15	Xinbei Tang, Jim Woodcock 0001	Towards Mobile Processes in Unifying Theories.	SEFM	2004	DBLP DOI BibTeX RDF
15	Adam Grabowski, Markus Moschner	Managing Heterogeneous Theories within a Mathematical Knowledge Repository.	MKM	2004	DBLP DOI BibTeX RDF
15	Madhavi Ganapathiraju, Narayanas Balakrishnan, Raj Reddy, Judith Klein-Seetharaman	Computational Biology and Language.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
15	Sara Negri	Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
15	Ludomir Newelski	Very simple theories without forking.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
15	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Imperative Object-Based Calculi in Co-inductive Type Theories.	LPAR	2003	DBLP DOI BibTeX RDF
15	Christopher J. Matheus, Mieczyslaw M. Kokar, Kenneth Baclawski, Jerzy Letkowski	Constructing RuleML-Based Domain Theories on Top of OWL Ontologies.	RuleML	2003	DBLP DOI BibTeX RDF
15	Shengchao Qin, Jin Song Dong, Wei-Ngan Chin	A Semantic Foundation for TCOZ in Unifying Theories of Programming.	FME	2003	DBLP DOI BibTeX RDF	UTP, integrated formal specifications, semantics
15	Roberto Bruni, José Meseguer 0001	Generalized Rewrite Theories.	ICALP	2003	DBLP DOI BibTeX RDF
15	Lisa Troyer	Incorporating Theories of Group Dynamics in Group Decision Support System (GDSS) Design.	IPDPS	2003	DBLP DOI BibTeX RDF
15	Karen Sparck Jones	Document Retrieval: Shallow Data, Deep Theories; Historical Reflections, Potential Directions.	ECIR	2003	DBLP DOI BibTeX RDF
15	Stevo Bozinovski	Anticipation Driven Artificial Personality: Building on Lewin and Loehlin.	ABiALS	2003	DBLP DOI BibTeX RDF
15	Lyn Gattis	Planning and information foraging theories and their value to the novice technical communicator.	ACM J. Comput. Documentation	2002	DBLP DOI BibTeX RDF	behavioral ecology, documentation, information, foraging
15	John T. Baldwin 0001, Olivier Lessmann	Amalgamation properties and finite models in Ln-theories.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
15	Toshiyasu Arai	Epsilon substitution method for theories of jump hierarchies.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
15	Pascal Fontaine, E. Pascal Gribomont	Using BDDs with Combinations of Theories.	LPAR	2002	DBLP DOI BibTeX RDF
15	Tony Clark 0001, Andy Evans, Robert B. France	Object-Oriented Theories for Model Driven Architecture.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
15	Pieter Bekaert, Bert Van Nuffelen	On the Transformation of Object Oriented Conceptual Models to Logical Theories: From EROOS to ID-Logic.	ER	2002	DBLP DOI BibTeX RDF
15	Virginia Niculescu	Parallel Algorithms for Fast Fourier Transformation Using PowerList , ParList and PList Theories (Research Note).	Euro-Par	2002	DBLP DOI BibTeX RDF
15	Suad Alagic, Svetlana Kouznetsova	Behavioral Compatibility of Self-Typed Theories.	ECOOP	2002	DBLP DOI BibTeX RDF