Search results for "reasoning framework"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Kees Joost Batenburg, Walter A. Kosters	A Reasoning Framework for Solving Nonograms.	IWCIA	2008	DBLP DOI BibTeX RDF
2	Todor Dimitrov, Josef Pauli, Edwin Naroska	A probabilistic reasoning framework for smart homes.	MPAC	2007	DBLP DOI BibTeX RDF	man-in-the-loop analysis, pervasive computing, ambient intelligence, Bayesian inference, probabilistic reasoning
2	Valentina Ceausu, Sylvie Desprès	A Semantic Case-Based Reasoning Framework for Text Categorization.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF	accidentology, ontology, text categorization, case-based reasoning, semantic description
2	Josef Kittler, William J. Christmas, Alexey Kostin, Fei Yan, Ilias Kolonias, David Windridge	A Memory Architecture and Contextual Reasoning Framework for Cognitive Vision.	SCIA	2005	DBLP DOI BibTeX RDF
2	Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau	The ComFoRT Reasoning Framework.	CAV	2005	DBLP DOI BibTeX RDF
2	Markku Oivo, Victor R. Basili	Representing Software Engineering Models: The TAME Goal Oriented Approach.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software engineering models representation, TAME goal oriented approach, reasoning framework, top-down goal-oriented characterization, ES-TAME, object-oriented metamodel concept, reusable software engineering models, dynamic viewpoints, selective inheritance, goal-question-metric paradigm, modeling, software engineering, artificial intelligence, object-oriented programming, knowledge representation, knowledge representation, software reusability, prototype system
1	Guido Governatori, Renato Iannella	A modelling and reasoning framework for social networks policies.	Enterprise IS	2011	DBLP DOI BibTeX RDF
1	Andrey Boytsov, Arkady B. Zaslavsky	ECSTRA - Distributed Context Reasoning Framework for Pervasive Computing Systems.	NEW2AN	2011	DBLP DOI BibTeX RDF
1	Lyazid Sabri, Abdelghani Chibani, Yacine Amirat, Gian Piero Zarri	Semantic Reasoning Framework to Supervise and Manage Contexts and Objects in Pervasive Computing Environments.	AINA Workshops	2011	DBLP DOI BibTeX RDF
1	Andres Cavieres, Urjit Bhatia, Preetam Joshi, Fei Zhao, Ashwin Ram	CBArch: A Case-Based Reasoning Framework for Conceptual Design of Commercial Buildings.	AAAI Spring Symposium: Artificial Intelligence and Sustainable Design	2011	DBLP BibTeX RDF
1	Michael W. Floyd, Babak Esfandiari	A Case-Based Reasoning Framework for Developing Agents Using Learning by Observation.	ICTAI	2011	DBLP DOI BibTeX RDF
1	Mehul Bhatt, Jae Hee Lee, Carl Schultz	CLP(QS): A Declarative Spatial Reasoning Framework.	COSIT	2011	DBLP DOI BibTeX RDF
1	Alberto Riva, Angelo Nuzzo, Mario Stefanelli, Riccardo Bellazzi	An automated reasoning framework for translational research.	Journal of Biomedical Informatics	2010	DBLP DOI BibTeX RDF
1	Indira Mukherjee, S. K. Ghosh	A Fuzzy Reasoning Framework for Resolving Spatial Queries through Service Driven Integration of Heterogeneous Geospatial Information.	ICISTM	2010	DBLP DOI BibTeX RDF
1	Theodore Patkos, Ioannis Chrysakis, Antonis Bikakis, Dimitris Plexousakis, Grigoris Antoniou	A Reasoning Framework for Ambient Intelligence.	SETN	2010	DBLP DOI BibTeX RDF
1	Reto Krummenacher, Daniel Winkler, Adrian Marte	WSML2Reasoner - A Comprehensive Reasoning Framework for the Semantic Web.	ISWC Posters&Demos	2010	DBLP BibTeX RDF
1	Richard Burns, Sandra Carberry, Stephanie Elzer	Visual and Spatial Factors in a Bayesian Reasoning Framework for the Recognition of Intended Messages in Grouped Bar Charts.	Visual Representations and Reasoning	2010	DBLP BibTeX RDF
1	Emiliano Miluzzo, Cory Cornelius, Ashwin Ramaswamy, Tanzeem Choudhury, Zhigang Liu, Andrew T. Campbell	Darwin phones: the evolution of sensing and inference on mobile phones.	MobiSys	2010	DBLP DOI BibTeX RDF	collaborative inference, distributed machine learning, mobile sensing systems, mobile phones
1	Yang Qu, Kyungmi Lee, Ickjai Lee	Qualitative Cluster Reasoning Framework for Decision Making.	NCM	2009	DBLP DOI BibTeX RDF	Qualitative Clustering, Cluster Reasoning
1	Mozhgan Tavakolifard	Situation-aware trust management.	RecSys	2009	DBLP DOI BibTeX RDF	conditional reasoning, ontology, trust, recommender systems, context, case-based reasoning, semantic similarity, analogical reasoning
1	Ming Li, Murali Mani, Elke A. Rundensteiner, Tao Lin	E-Tec: A Constraint-Aware Query Engine for Pattern Detection over Event Streams.	ICSC	2009	DBLP DOI BibTeX RDF
1	Martin C. Rinard	Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.	CADE	2009	DBLP DOI BibTeX RDF
1	Gergely Lukácsy, Péter Szeredi	Scalable Web Reasoning Using Logic Programming Techniques.	RR	2009	DBLP DOI BibTeX RDF	DL, Scalability, Parallelism, Logic Programming, OWL
1	Longzhuang Li, Yonghuai Liu, Anil Kumar Nalluri, Chunhui Jin	Qualitative Spatial Representation and Reasoning for Data Integration of Ocean Observational Systems.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	qualitative spatial representation and reasoning, Data integration
1	Panagiotis Manolios, Sudarshan K. Srinivasan	A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
1	Vasileios Baousis, Konstantinos Tzannetakos, Elias Zavitsanos, Vassilis Spiliopoulos, Stathes Hadjiefthymiades	A Case Based Reasoning Framework for Service Selection and Adaptation in Mobile Networks.	SASO Workshops	2008	DBLP DOI BibTeX RDF
1	Vladimir Kurbalija, Mirjana Ivanovic, Zoran Budimac	Case-Based Reasoning Framework for Generating Wide-Range Decision Support Systems.	Artificial Intelligence and Pattern Recognition	2008	DBLP BibTeX RDF
1	Wei Wang, Thomas E. Daniels	A Graph Based Approach Toward Network Forensics Analysis.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	evidence graph, network forensics, hierarchical reasoning
1	Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda	Openproof - A Flexible Framework for Heterogeneous Reasoning.	Diagrams	2008	DBLP DOI BibTeX RDF
1	Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan	Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Gabriel A. Moreno, Paulo Merson	Model-Driven Performance Analysis.	QoSA	2008	DBLP DOI BibTeX RDF
1	Andrés Díaz Pace, Hyunwoo Kim, Len Bass, Philip Bianco, Felix Bachmann	Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant.	QoSA	2008	DBLP DOI BibTeX RDF	Architecture-based analysis & design, ArchE, quality attributes, design assistance
1	Stamatia Dasiopoulou, Ioannis Kompatsiaris, Michael G. Strintzis	Using Fuzzy DLs to Enhance Semantic Image Analysis.	SAMT	2008	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha	Verification of evolving software via component substitutability analysis.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Automata learning, Software engineering, Model checking, Predicate abstraction, Compositional verification, Assume-guarantee reasoning
1	Stephan Grimm, Uwe Keller, Holger Lausen, Gábor Nagypál	A Reasoning Framework for Rule-Based WSML.	ESWC	2007	DBLP DOI BibTeX RDF
1	Y. C. Alicia Tang, Sharifuddin Mohd. Zain, Noorsaadah Abdul Rahman, Rukaini Abdullah	An Ontology-Based Reasoning Framework for Reaction Mechanisms Simulation.	KSEM	2007	DBLP DOI BibTeX RDF	reaction mechanisms, QPT, ontology, qualitative reasoning
1	Sankar K. Pal	Rough-Fuzzy Granulation, Rough Entropy and Image Segmentation.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF	Rough image entropy, multi-spectral image segmentation, EM algorithm, soft computing, granular computing, minimal spanning tree, knowledge mining
1	Sandip Aine, P. P. Chakrabarti, Rajeev Kumar	An Automated Meta-Level Control Framework for Optimizing the Quality-Time Tradeoff of VLSI Algorithms.	IEEE Trans. on CAD of Integrated Circuits and Systems	2007	DBLP DOI BibTeX RDF
1	Matthew Easley, Elizabeth Bradley	Incorporating Engineering Formalisms into Automated Model Builders.	Computational Discovery of Scientific Knowledge	2007	DBLP DOI BibTeX RDF
1	Rongrong Ji, Hongxun Yao, Zhen Zhang, Peifei Xu, Jicheng Wang	Using Visual Dictionary to Associate Semantic Objects in Region-Based Image Retrieval.	ICIAR	2007	DBLP DOI BibTeX RDF	Visual Dictionary, Image Retrieval, Bayesian Inference, Region Matching
1	Khaled Mahbub, George Spanoudakis	Monitoring WS-Agreement s: An Event Calculus-Based Approach.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
1	Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang	A pointer logic and certifying compiler.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	pointer logic, Hoare logic, Proof-Carrying Code, software safety, certifying compiler
1	Comte Frédéeric, Lecléere Michel	A Semantical Reasoning Framework for eGovernment of the French Social Welfare System.	AAAI Spring Symposium: Semantic Web Meets eGovernment	2006	DBLP BibTeX RDF
1	Pierre Andrews, Suresh Manandhar, Marco De Boni	Computer-Driven Persuasive Dialogue: A Multi-Layer Reasoning Framework.	FLAIRS Conference	2006	DBLP BibTeX RDF
1	Andrew G. Brooks, Cynthia Breazeal	Working with robots and objects: revisiting deictic reference for achieving spatial common ground.	HRI	2006	DBLP DOI BibTeX RDF	natural gesture understanding, spatial behavior, human-robot interaction, multimodal interfaces
1	R. Bharat Rao, Sriram Krishnan, Radu Stefan Niculescu	Data mining for improved cardiac care.	SIGKDD Explorations	2006	DBLP DOI BibTeX RDF
1	Malek Mouhoub, Amrudee Sukpan	Conditional and Composite Temporal Constraints with Preferences.	TIME	2006	DBLP DOI BibTeX RDF
1	Mohamed Mbarki, Jamal Bentahar, Bernard Moulin	Specification and Complexity of Strategic-Based Reasoning Using Argumentation.	ArgMAS	2006	DBLP DOI BibTeX RDF
1	Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo	Using Argumentation Logic for Firewall Policy Specification and Analysis.	DSOM	2006	DBLP DOI BibTeX RDF
1	Claus Pahl	Ontology-Based Composition and Transformation for Model-Driven Service Architecture.	ECMDA-FA	2006	DBLP DOI BibTeX RDF	Service Process Composition, Web Services, Service-oriented Architecture, Model-Driven Architecture, Service Ontology
1	Venanzio Capretta, Amy P. Felty	Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq.	TYPES	2006	DBLP DOI BibTeX RDF
1	Janice I. Glasgow, Tony Kuo, Jim Davies	Protein Structure from Contact Maps: A Case-Based Reasoning Approach.	Information Systems Frontiers	2006	DBLP DOI BibTeX RDF	Case-based reasoning, Analogy, Protein structure, Secondary structure, Contact maps
1	Armando Robles-Pompa, Francisco J. Cantú Ortiz, Rubén Morales-Menéndez	A Bayesian Reasoning Framework for On-Line Business Information Systems.	AMCIS	2005	DBLP BibTeX RDF
1	Hele-Mai Haav	An Ontology Learning and Reasoning Framework.	EJC	2005	DBLP BibTeX RDF
1	Panagiotis Manolios, Sudarshan K. Srinivasan	A complete compositional reasoning framework for the efficient verification of pipelined machines.	ICCAD	2005	DBLP BibTeX RDF
1	Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey	A computational approach to reflective meta-reasoning about languages with bindings.	MERLIN	2005	DBLP DOI BibTeX RDF	MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
1	Shashi Anand, Krithi Ramamritham	Recovery of mobile internet transactions: algorithm, implementation and analysis.	MobiDE	2005	DBLP DOI BibTeX RDF	WAP internet transaction, internet transaction, mobile internet transaction, recovery, WAP, mobile transaction
1	Wei Wang, Thomas E. Daniels	Building Evidence Graphs for Network Forensics Analysis.	ACSAC	2005	DBLP DOI BibTeX RDF
1	Anthony Y. Chang	Design of Consistent SMIL Documents for Distributed Multimedia Presentation Using Temporal Algebra.	ICPADS	2005	DBLP DOI BibTeX RDF	SMIL, Multimedia Presentations, Multimedia Documents, Temporal Consistency, Distributed Multimedia
1	Mehdi Shajari, Ali A. Ghorbani	Agent-oriented Design for Network Survivability.	ISDA	2005	DBLP DOI BibTeX RDF
1	Anthony Y. Chang	Retrieval and reasoning of multimedia documents about time.	ITRE	2005	DBLP DOI BibTeX RDF
1	Len Bass, James Ivers, Mark Klein, Paulo Merson, Kurt C. Wallnau	Encapsulating Quality Attribute Knowledge.	WICSA	2005	DBLP DOI BibTeX RDF
1	Sumantra Dutta Roy, Santanu Chaudhury, Subhashis Banerjee	Recognizing large isolated 3-D objects through next view planning using inner camera invariants.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2005	DBLP DOI BibTeX RDF
1	Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone	Interchange Formats for Hybrid Systems: Review and Proposal.	HSCC	2005	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith	State/Event Software Verification for Branching-Time Specifications.	IFM	2005	DBLP DOI BibTeX RDF	Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement
1	Francesca A. Lisi, Floriana Esposito	Mining the Semantic Web: A Logic-Based Methodology.	ISMIS	2005	DBLP DOI BibTeX RDF
1	Mohua Banerjee, Pankaj Singh	Rough Contraction Through Partial Meets.	PReMI	2005	DBLP DOI BibTeX RDF
1	Karthik Thatipamula, Santanu Chaudhury, Hiranmay Ghosh	Specifying Spatio Temporal Relations for Multimedia Ontologies.	PReMI	2005	DBLP DOI BibTeX RDF
1	Mathieu d'Aquin, Jean Lieber, Amedeo Napoli	Decentralized Case-Based Reasoning for the Semantic Web.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
1	Therani Madhusudan, J. Leon Zhao, Byron Marshall	A case-based reasoning framework for workflow model management.	Data Knowl. Eng.	2004	DBLP DOI BibTeX RDF
1	Cormac Gebruers, Alessio Guerri, Brahim Hnich, Michela Milano	Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Bee-Chung Chen, Jieh Hsiang	A Logical Framework of Knowledge Retrieval with Fuzziness.	Web Intelligence	2004	DBLP DOI BibTeX RDF
1	Liming Zhu, Muhammad Ali Babar, D. Ross Jeffery	Mining Patterns to Support Software Architecture Evaluation.	WICSA	2004	DBLP DOI BibTeX RDF
1	Felix A. Fischer, Michael Rovatsos	Reasoning About Communication - A Practical Approach Based on Empirical Semantics.	CIA	2004	DBLP DOI BibTeX RDF
1	Paul H. Morris, Robert A. Morris, Lina Khatib, Sailesh Ramakrishnan, Andrew Bachmann	Strategies for Global Optimization of Temporal Preferences.	CP	2004	DBLP DOI BibTeX RDF
1	Jonghan Kim, Deokhyun Seong, Sungwon Jung, Jinwoo Park	Integrated CBR Framework for Quality Designing and Scheduling in Steel Industry.	ECCBR	2004	DBLP DOI BibTeX RDF
1	Kiran Kumar Penta, Deepak Khemani	Satellite Health Monitoring Using CBR Framework.	ECCBR	2004	DBLP DOI BibTeX RDF
1	Daming Shi, Atul Harkisanka, Hiok Chai Quek	CMAC with Fuzzy Logic Reasoning.	ICONIP	2004	DBLP DOI BibTeX RDF
1	Pascal Hitzler	Default Reasoning over Domains and Concept Hierarchies.	KI	2004	DBLP DOI BibTeX RDF
1	Erbil Yilmaz, Sara Stoecklin, Daniel G. Schwartz	Toward a Generic Case-Based Reasoning Framework Using Adaptive Software Architectures.	IKE	2003	DBLP BibTeX RDF
1	Myron Sheu, Ravi Mukkamala, Stewart Shen	A Reasoning Framework for Optimal Design Decisions.	IKE	2003	DBLP BibTeX RDF
1	Claus Pahl, Michael Casey	Ontology support for web service processes.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	ontologies, web services, service choreography
1	Christoph Stoermer, Liam O'Brien, Chris Verhoef	Moving Towards Quality Attribute Driven Software Architecture Reconstruction.	WCRE	2003	DBLP DOI BibTeX RDF	Quality Attribute Driven Analysis, Architecture, Product Lines, Quality Attributes, Architecture Views, Architecture Reconstruction
1	Paolo Mancarella, Giacomo Terreni	An Abductive Proof Procedure Handling Active Rules.	AI*IA	2003	DBLP DOI BibTeX RDF
1	Jorge Cruz, Pedro Barahona	Constraint Reasoning in Deep Biomedical Models.	AIME	2003	DBLP DOI BibTeX RDF
1	Jean-Charles Pomerol, Patrick Brézillon	Context Proceduralization in Decision Making.	CONTEXT	2003	DBLP DOI BibTeX RDF	proceduralized context, decision making, contextual knowledge
1	Syed Sibte Raza Abidi	A Case Base Reasoning Framework to Author Personalized Health Maintenance Information.	CBMS	2002	DBLP DOI BibTeX RDF
1	Qiang Yang, Hong Cheng	Mining Case Bases for Action Recommendation.	ICDM	2002	DBLP DOI BibTeX RDF
1	Douglas DeCarlo	Towards Real-Time Cue Integration by Using Partial Results.	ECCV	2002	DBLP BibTeX RDF	meta-reasoning, real-time vision, Cue integration
1	Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento	Experiments on Case-Based Retrieval of Software Designs.	ECCBR	2002	DBLP DOI BibTeX RDF
1	Shambhu J. Upadhyaya, Ramkumar Chinchani, Kevin A. Kwiat	An Analytical Framework for Reasoning about Intrusions. (PDF / PS)	SRDS	2001	DBLP DOI BibTeX RDF
1	Matthew Easley, Elizabeth Bradley	Intelligent Sensor Analysis and Actuator Control.	IDA	2001	DBLP DOI BibTeX RDF
1	Juan Manuel Adán Coello, Ronaldo Camilo dos Santos	Integrating CBR and Heuristic Search for Learning and Reusing Solutions in Real-Time Task Scheduling.	ICCBR	1999	DBLP DOI BibTeX RDF
1	Isabelle Bichindaritz, Emin Kansu, Keith M. Sullivan	Case-Based Reasoning in CARE-PARTNER: Gathering Evidence for Evidence-Based Medical Practice.	EWCBR	1998	DBLP DOI BibTeX RDF
1	Tim Van Allen, James P. Delgrande, Arvind Gupta	Point-Based Approaches to Qualitative Temporal Reasoning.	PRICAI	1998	DBLP DOI BibTeX RDF
1	Peter van Beek, Rina Dechter	Constraint tightness and looseness versus local and global consistency.	J. ACM	1997	DBLP DOI BibTeX RDF	constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning
1	Udo Hahn, Klemens Schnattinger	Text Knowledge Engineering by Qualitative Terminological Learning.	DEXA	1997	DBLP DOI BibTeX RDF
1	Ron Rymon	Goal-Directed Diagnosis - A Diagnostic Reasoning Framework for Exploratory-Corrective Domains.	Artif. Intell.	1996	DBLP DOI BibTeX RDF
1	Sang Mah, Thomas W. Calvert, William S. Havens	A Constraint-Based Reasoning Framework for Behavioural Animation.	Comput. Graph. Forum	1994	DBLP DOI BibTeX RDF
1	Mohan Ahuja, Timothy Carlson, Ashwani Gahlot	Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	time view, passive-space view, intraprocess concurrency, global logical clocks, distributed computing, distributed computations, debugging, distributed processing, concurrency control, high performance, program debugging, timestamps, vector clocks, program correction, sequential computations