Search results for "inferences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Yvonne Wærn, Robert Ramberg	Distributed Knowledge by Explanation Networks.	HICSS	2004	DBLP DOI BibTeX RDF
8	C. Gustav Lundberg	Models of Emerging Contexts in Risky and Complex Decision Settings.	HICSS	2004	DBLP DOI BibTeX RDF
8	Sylvia C. Pont, Jan J. Koenderink	Surface Illuminance Flow.	3DPVT	2004	DBLP DOI BibTeX RDF	1.4.8 scene analysis: f. photometry, j. shape, i. shading, l. surface fitting
8	Huma Lodhi, Stephen H. Muggleton	Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods.	CMSB	2004	DBLP DOI BibTeX RDF
8	Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang	CRL: A Context-Aware Request Language for Mobile Computing.	ISPA	2004	DBLP DOI BibTeX RDF
8	Lou Goble	A Proposal for Dealing with Deontic Dilemmas.	DEON	2004	DBLP DOI BibTeX RDF
8	Ernesto Compatangelo, Helmut Meisel	"Reasonable" support to knowledge sharing through schema analysis and articulation.	Neural Comput. Appl.	2003	DBLP DOI BibTeX RDF	Ontologies, Reuse, Sharing, Automated Reasoning, Articulation
8	Tarmo K. Remmel, Ferenc Csillag	When are two landscape pattern indices significantly different?.	J. Geogr. Syst.	2003	DBLP DOI BibTeX RDF	JEL classification C0, C63, Z0
8	Rudolf Wille	Truncated Distributive Lattices: Conceptual Structures of Simple-Implicational Theories.	Order	2003	DBLP DOI BibTeX RDF	formal concept analysis, implications, distributive lattices
8	Nicholas T. Longford	An alternative to model selection in ordinary regression.	Stat. Comput.	2003	DBLP DOI BibTeX RDF	single-model based estimator, synthetic estimator, two-stage procedure, model selection, hypothesis testing, mean squared error
8	Luisa Franconi, Julian Stander	Spatial and non-spatial model-based protection procedures for the release of business microdata.	Stat. Comput.	2003	DBLP DOI BibTeX RDF	Community Innovation Survey, conditional autoregressive scheme, performance assessment for disclosure limitation methods, confidentiality, Gibbs sampler
8	Philippe Mulhem, Mohan S. Kankanhalli, Ji Yi, Hadi Hassan	Pivot Vector Space Approach for Audio-Video Mixing.	IEEE Multim.	2003	DBLP DOI BibTeX RDF
8	Aleksandar Kuzmanovic, Edward W. Knightly	Measurement-Based Characterization and Classification of QoS-Enhanced Systems.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	statistical envelopes, QoS, measurement, multiclass
8	Jan-R. Sieckmann	Why Non-Monotonic Logic is Inadequate to Represent Balancing Arguments.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF	internal point of view, normative arguments, weighing and balancing, argumentation, legal reasoning, defeasible reasoning
8	Barbara Morawska 0001	Completeness of E-Unification with Eager Variable Elimination.	LPAR	2003	DBLP DOI BibTeX RDF
8	José Saias, Paulo Quaresma	A Methodology to Create Legal Ontologies in a Logic Programming Information Retrieval System.	Law and the Semantic Web	2003	DBLP DOI BibTeX RDF
8	Azra Nahid Ali, Philip H. Marsden	Affective multi-modal interfaces: the case of McGurk effect.	IUI	2003	DBLP DOI BibTeX RDF	audiovisual speech, affective computing, multi-modal interfaces, conversational interfaces
8	Robert St. Amant, Michael D. Dinardo, Nickie Buckner	Balancing efficiency and interpretability in an interactive statistical assistant.	IUI	2003	DBLP DOI BibTeX RDF	data mountain, navigation, efficiency, user interface design, interpretability
8	Stefanie Brüninghaus, Kevin D. Ashley	Combining Case-Based and Model-Based Reasoning for Predicting the Outcome of Legal Cases.	ICCBR	2003	DBLP DOI BibTeX RDF
8	Steffen Higel, Tony O'Donnell, Vincent Wade	Towards a natural interface to adaptive service composition.	ISICT	2003	DBLP DOI BibTeX RDF
8	Carsten Gips, Fritz Wysotzki	Spatial Inference - Combining Learning and Constraint Solving.	KI	2003	DBLP DOI BibTeX RDF
8	Franz Baader	The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics.	KI	2003	DBLP DOI BibTeX RDF
8	Benjamin N. Grosof, Ian Horrocks 0001, Raphael Volz, Stefan Decker	Description logic programs: combining logic programs with description logic.	WWW	2003	DBLP DOI BibTeX RDF	ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing
8	Harald Ganzinger, Konstantin Korovin	New Directions in Instantiation-Based Theorem Proving.	LICS	2003	DBLP DOI BibTeX RDF
8	Pramod G. Joisha, Prithviraj Banerjee	The MAGICA Type Inference Engine for MATLAB.	CC	2003	DBLP DOI BibTeX RDF
8	Qingning Huo, Hong Zhu 0002, Sue Greenwood	A Multi-Agent Software Environment for Testing Web-based Applications.	COMPSAC	2003	DBLP DOI BibTeX RDF
8	Bamshad Mobasher, Xin Jin, Yanzan Zhou	Semantically Enhanced Collaborative Filtering on the Web.	EWMF	2003	DBLP DOI BibTeX RDF
8	Sylvie Charbonnier	On-Line Extraction of Successive Temporal Sequences from ICU High-Frequency Data for Decision Support Information.	AIME	2003	DBLP DOI BibTeX RDF
8	Li Qin, Vijayalakshmi Atluri	Concept-level access control for the Semantic Web.	XML Security	2003	DBLP DOI BibTeX RDF	ontology, Semantic Web, access control, concept, propagation
8	Harald Ganzinger, Jürgen Stuber	Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation.	CADE	2003	DBLP DOI BibTeX RDF
8	John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet	SBSAT: a State-Based, BDD-Based Satisfiability Solver.	SAT	2003	DBLP DOI BibTeX RDF
8	Sanjay Nadkarni	The Contribution of Technology Facilitated Learning in the Development of Actuarial Competencies in Tourism Business Management Education: An Empirical Investigation.	ICALT	2003	DBLP DOI BibTeX RDF
8	Merideth Gattis	How Similarity Shapes Diagrams.	Spatial Cognition	2003	DBLP DOI BibTeX RDF
8	Markus Knauff, Philip N. Johnson-Laird	Reasoning and the Visual-Impedance Hypothesis.	Spatial Cognition	2003	DBLP DOI BibTeX RDF
8	Philippe Mathieu, Jean-Christophe Routier, Yann Secq	Towards a Pragmatic Use of Ontologies in Multi-agent Platforms.	KES	2003	DBLP DOI BibTeX RDF
8	Ernesto Compatangelo, Helmut Meisel	ConcepTool: Intelligent Support to the Management of Domain Knowledge.	KES	2003	DBLP DOI BibTeX RDF
8	Artur Ottlik, Hans-Hellmut Nagel	On Consistent Discrimination between Directed and Diffuse Outdoor Illumination.	DAGM-Symposium	2003	DBLP DOI BibTeX RDF
8	Ladina Tschander	Connecting Route Segments Given in Route Descriptions.	CONTEXT	2003	DBLP DOI BibTeX RDF
8	Alice ter Meulen	Speaking One's Mind.	CONTEXT	2003	DBLP DOI BibTeX RDF
8	Chain-Wu Lee, Chun-Hsi Huang, Sanguthevar Rajasekaran	TROJAN: A Scalable Distributed Semantic Network System.	ICTAI	2003	DBLP DOI BibTeX RDF
8	Stacy J. Prowell	JUMBL: A Tool for Model-Based Statistical Testing.	HICSS	2003	DBLP DOI BibTeX RDF
8	Lyndon S. Hibbard	Region Segmentation Using Information Divergence Measures.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
8	Verónica Dahl	Understanding Implicit Language Structures.	EPIA	2003	DBLP DOI BibTeX RDF
8	Jeffrey Hau, William Lee 0003, Steven J. Newhouse	Autonomic Service Adaptation in ICENI using Ontological Annotation.	GRID	2003	DBLP DOI BibTeX RDF
8	Steffen Higel, Tony O'Donnell, David Lewis 0001, Vincent Wade	Towards an Intuitive Interface for Tailored Service Compositions.	DAIS	2003	DBLP DOI BibTeX RDF
8	Xinping Guo, James R. Cordy, Thomas R. Dean	Unique Renaming of Java Using Source Transformation.	SCAM	2003	DBLP DOI BibTeX RDF
8	Sylvia C. Pont, Jan J. Koenderink	Illuminance Flow.	CAIP	2003	DBLP DOI BibTeX RDF
8	I-Shyan Hwang, Chang-Chieh Liu, Chiung-Ying Wang	Link Stability-Based Clustering and Routing in Ad-Hoc Wireless Networks Using Fuzzy Set Theory.	Int. J. Wirel. Inf. Networks	2002	DBLP DOI BibTeX RDF	fuzzy set theory, Ad-hoc wireless networks, system performance, LSC, LSR
8	Jon May, M. J. Buehner, David J. Duke	Continuity in cognition.	Univers. Access Inf. Soc.	2002	DBLP DOI BibTeX RDF	Models, Design, Interaction, Cognition, Structure
8	Brendan Wallace, Alastair Ross, John B. Davies, Linda Wright, Mathew White	The Creation of a New Minor Event Coding System.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Human factors -‘Near-miss reporting’, Error detection, Error analysis
8	Curtis E. Hrischuk, C. Murray Woodside	Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	software tracing, event labeling, web services, reverse engineering, debugging, distributed programming, graph grammar, trace analysis, causal order, logical clock
8	Sanjeev Baskiyar	Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications: 68N20, 68N19, 68N15, 68N25
8	Dan Roth	Reasoning with Classifiers.	PKDD	2002	DBLP DOI BibTeX RDF
8	Chunyan Miao, Qiang Yang 0001, Haijing Fang, Angela Goh	Fuzzy Cognitive Agents for Personalized Recommendation.	WISE	2002	DBLP DOI BibTeX RDF
8	Atsushi Shimojima	The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations.	Diagrams	2002	DBLP DOI BibTeX RDF
8	Eric G. Freedman, Priti Shah	Toward a Model of Knowledge-Based Graph Comprehension.	Diagrams	2002	DBLP DOI BibTeX RDF
8	Ram Chillarege, Kothanda Ram Prasad	Test and Development Process Retrospective - A Case Study using ODC Triggers.	DSN	2002	DBLP DOI BibTeX RDF
8	Philippe Mulhem, Joo-Hwee Lim	Symbolic photograph content-based retrieval.	CIKM	2002	DBLP DOI BibTeX RDF	fusion/combination, image access
8	Epaminondas Kapetanios, Paul Groenewoud	Query Construction through Meaningful Suggestions of Terms.	FQAS	2002	DBLP DOI BibTeX RDF	Ontologies, Information Retrieval, Semantics, Query Languages
8	Drew V. McDermott, Dejing Dou	Representing Disjunction and Quantifiers in RDF.	ISWC	2002	DBLP DOI BibTeX RDF
8	Robert C. Miller, Brad A. Myers	Multiple selections in smart text editing.	IUI	2002	DBLP DOI BibTeX RDF	LAPIS, automated text editing, search-and-replace, pattern matching, programming-by-demonstration, PBD
8	Liviu-Virgil Ciortuz	LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars.	KI	2002	DBLP DOI BibTeX RDF
8	Jaime A. Aguilera Vázquez	Recovery Distributed Data using a Virtual Fragmentation Method.	HPCS	2002	DBLP DOI BibTeX RDF
8	Verónica Dahl	On Implicit Meanings.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF	elision, parallel structures, datalog grammars, bottom-up parsing, left-corner parsing, chart parsing, linear affine implication, prediction, coordination, logic grammars, hypothetical reasoning
8	Tao Zhao 0001, Ramakant Nevatia	3D Tracking of Human Locomotion: A Tracking as Recognition Approach.	ICPR (1)	2002	DBLP DOI BibTeX RDF
8	Joséphine M. P. Tchétagni, Roger Nkambou	Hierarchical Representation and Evaluation of the Student in an Intelligent Tutoring System.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
8	Tian Bu, Nick G. Duffield, Francesco Lo Presti, Donald F. Towsley	Network tomography on general topologies.	SIGMETRICS	2002	DBLP DOI BibTeX RDF
8	Viet Phan Luong	The Closed Keys Base of Frequent Itemsets.	DaWaK	2002	DBLP DOI BibTeX RDF
8	Christopher Lynch, Barbara Morawska 0001	Basic Syntactic Mutation.	CADE	2002	DBLP DOI BibTeX RDF
8	Thomas Hillenbrand, Bernd Löchner	The Next W ALDMEISTER Loop.	CADE	2002	DBLP DOI BibTeX RDF
8	Philippe Martin 0004	Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English.	ICCS	2002	DBLP DOI BibTeX RDF
8	Aldo de Moor, Mary Keeler, Gary Richmond	Towards a Pragmatic Web.	ICCS	2002	DBLP DOI BibTeX RDF
8	César F. Pimentel, Maria R. Cravo	Extending SNePSwD with Permissive Belief Revision.	ICCS	2002	DBLP DOI BibTeX RDF
8	Tzone-I Wang, Chien Chao Wang	Mobile Agents for Distributed Logic Programming.	ICPADS	2002	DBLP DOI BibTeX RDF
8	Helmut Meisel, Ernesto Compatangelo	EER-ConcepTool: A "Reasonable" Environment for Schema and Ontology Sharing.	ICTAI	2002	DBLP DOI BibTeX RDF
8	Jan J. Koenderink, Sylvia C. Pont	Texture at the Terminator.	3DPVT	2002	DBLP DOI BibTeX RDF
8	Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi 0001, Richard J. Wallace	Computing Explanations and Implications in Preference-Based Configurators.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
8	Swapan Raha, Sanaul Hossain	Fuzzy Set in Default Reasoning.	AFSS	2002	DBLP DOI BibTeX RDF
8	Dan Roth	Reasoning with Classifiers.	ECML	2002	DBLP DOI BibTeX RDF
8	Lingyu Wang 0001, Duminda Wijesekera, Sushil Jajodia	Cardinality-Based Inference Control in Sum-Only Data Cubes.	ESORICS	2002	DBLP DOI BibTeX RDF
8	Jarernsri L. Mitrpanont, T. Plengpung	DOWNSIZINGX : A Rule-Based System for Downsizing the Corporation's Computer Systems.	IEA/AIE	2002	DBLP DOI BibTeX RDF
8	Richard Furuta, Eduardo Urbina	On the characteristics of scholarly annotations.	Hypertext	2002	DBLP DOI BibTeX RDF	electronic variorum edition, digital libraries, annotations, cervantes project
8	Chia-Han Lin, Andro H. C. Lee, Arbee L. P. Chen	A Semantic Model for Video Description and Retrieval.	IEEE Pacific Rim Conference on Multimedia	2002	DBLP DOI BibTeX RDF
8	José Aguilar 0001	Adaptive Random Fuzzy Cognitive Maps.	IBERAMIA	2002	DBLP DOI BibTeX RDF
8	R. Carolina Medina Ramírez, Olivier Corby, Rose Dieng-Kuntz	A Conceptual Graph and RDF(S) Approach for Representing and Querying Document Content.	IBERAMIA	2002	DBLP DOI BibTeX RDF	XML and Semantic information retrieval, Ontologies, Knowledge representation, RDFS, Conceptual Graphs
8	Udaykiran Vallamsetty, Krishna Kant 0001, Prasant Mohapatra	Characterization of E-Commerce Traffic.	WECWIS	2002	DBLP DOI BibTeX RDF
8	Bruce Edmonds	How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS.	RASTA	2002	DBLP DOI BibTeX RDF
8	Alexander Artikis, Jeremy Pitt, Marek J. Sergot	Animated specifications of computational societies.	AAMAS	2002	DBLP DOI BibTeX RDF	norm-governed multi-agent systems, formal specification
8	Uwe Egly, Hans Tompits	Proof-complexity results for nonmonotonic reasoning.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	default logic, circumscription, sequent calculi
8	Robert Ivor John, Gabrielle J. Mooney	Fuzzy User Modeling for Information Retrieval on the World Wide Web.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Fuzzy user modeling, Information retrieval, World Wide Web
8	Chin-Wang Tao	Simplification of a fuzzy mechanism with rule combination.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Rule combination, Don't care conditions
8	Birgit Elbl	Cut elimination for a calculus with context-dependent rules.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55
8	Eric Horvitz, Tim Paek	Harnessing Models of Users' Goals to Mediate Clarification Dialog in Spoken Language Systems.	User Modeling	2001	DBLP DOI BibTeX RDF	clarification dialog, spoken command and control, speech recognition, Dialog systems, conversational systems
8	Ingrid Zukerman	An Integrated Approach for Generating Arguments and Rebuttals and Understanding Rejoinders.	User Modeling	2001	DBLP DOI BibTeX RDF	discourse planning, Bayesian networks, argumentation, plan recognition
8	José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel, F. J. Zarazaga	KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	knowledge engineering, frames, DES, Colored Petri nets
8	Clive Fencott	Virtual Storytelling as Narrative Potential: Towards an Ecology of Narrative.	International Conference on Virtual Storytelling	2001	DBLP DOI BibTeX RDF
8	Tadeusz Szuba	Universal Formal Model of Collective Intelligence and Its IQ Measure.	CEEMAS	2001	DBLP DOI BibTeX RDF
8	Yacine Zeghib, François de Bertrand de Beuvron, Martina Kullmann	Using Description Logics for Designing the Case Base in a Hybrid Approach for Diagnosis Integrating Model and Case-Based Reasoning.	ICCBR	2001	DBLP DOI BibTeX RDF
8	Zenon A. Sosnowski	Chaining of Fuzzy Rules in RETE Network.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
8	Eulalia Szmidt, Janusz Kacprzyk	Intuitionistic Fuzzy Sets in some Medical Applications.	Fuzzy Days	2001	DBLP DOI BibTeX RDF