|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5620 occurrences of 3172 keywords
|
|
|
Results
Found 14507 publication records. Showing 14507 according to the selection in the facets
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 |
|
|
|