Search results for "Inconsistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Syed Adnan Hussain Shah	Evaluation of Ontologies and DL Reasoners.	Intelligent Information Processing	2008	DBLP DOI BibTeX RDF
16	Osamu Akashi, Atsushi Terauchi	Diagnosis of IP-Service Anomalies Based on BGP-Update Temporal Analysis.	IPOM	2008	DBLP DOI BibTeX RDF
16	Shu-Bin Cai, Zhong Ming 0001, Shixian Li	BALC: A Belief Extension of Description Logic ALC.	ICYCS	2008	DBLP DOI BibTeX RDF
16	Guoquan P. Huang 0001, Anastasios I. Mourikis, Stergios I. Roumeliotis	A First-Estimates Jacobian EKF for Improving SLAM Consistency.	ISER	2008	DBLP DOI BibTeX RDF
16	Xi Wang 0005, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang 0001	Conditional correlation analysis for safe region-based memory management.	PLDI	2008	DBLP DOI BibTeX RDF	conditional correlation, program analysis, memory management, error detection, region
16	Éric Grégoire, Bertrand Mazure, Cédric Piette	On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
16	Guilin Qi, Jeff Z. Pan	A Tableau Algorithm for Possibilistic Description Logic .	RR	2008	DBLP DOI BibTeX RDF
16	Xiaowang Zhang, Zuoquan Lin	Paraconsistent Reasoning with Quasi-classical Semantic in .	RR	2008	DBLP DOI BibTeX RDF
16	Sreekumar V. Kodakara, Jinpyo Kim, David J. Lilja, Douglas M. Hawkins, Wei-Chung Hsu, Pen-Chung Yew	CIM: A Reliable Metric for Evaluating Program Phase Classifications.	IEEE Comput. Archit. Lett.	2007	DBLP DOI BibTeX RDF
16	Diego Rodríguez-Losada, Fernando Matía, Luis Pedraza, Agustín Jiménez, Ramón Galán	Consistency of SLAM-EKF Algorithms for Indoor Environments.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Linearization errors, Mobile robots, Consistency, Extended Kalman Filter, Simultaneous Localization And Mapping, Indoor environments
16	Ping Ji 0002, Zihui Ge, Jim Kurose, Donald F. Towsley	A comparison of hard-state and soft-state signaling protocols.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	communication system signaling, hard-state, performance evaluation, soft-state
16	Anders Hessellund	SmartEMF: guidance in modeling tools.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	modeling guidance, multiple DSLs
16	Michael Goedicke, Thomas Herrmann	A Case for ViewPoints and Documents.	Monterey Workshop	2007	DBLP DOI BibTeX RDF
16	Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo	On Finitely Recursive Programs.	ICLP	2007	DBLP DOI BibTeX RDF
16	Shin'ichi Satoh 0001, Masao Takimoto, Jun Adachi	Scene duplicate detection from videos based on trajectories of feature points.	Multimedia Information Retrieval	2007	DBLP DOI BibTeX RDF	shot matching, video analysis, near duplicate detection
16	Omar Doukari, Éric Würbel, Robert Jeansoulin	A New Model for Belief Representation and Belief Revision Based on Inconsistencies Locality.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
16	Domenico Lembo, Marco Ruzzi	Consistent Query Answering over Description Logic Ontologies.	RR	2007	DBLP DOI BibTeX RDF
16	Tom Mens, Ragnhild Van Der Straeten	Incremental Resolution of Model Inconsistencies.	WADT	2006	DBLP DOI BibTeX RDF
16	Xiaodan Wang, Chongming Wu, Chunying Zheng, Wei Wang	Improved Algorithm for Adaboost with SVM Base Classifiers.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
16	Yi Zhang, Ling Chen 0001, Gencai Chen	Globally synchronized dead-reckoning with local lag for continuous distributed multiplayer games.	NETGAMES	2006	DBLP DOI BibTeX RDF	continuous replicated application, local lag, consistency, dead-reckoning, distributed multi-player games
16	Peter Plessers, Olga De Troyer	Resolving Inconsistencies in Evolving Ontologies.	ESWC	2006	DBLP DOI BibTeX RDF
16	Oliver Kullmann, Inês Lynce, João Marques-Silva 0001	Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel.	SAT	2006	DBLP DOI BibTeX RDF
16	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
16	Wonchul Seo, Sunjae Lee, Kwangsoo Kim, Byung-In Kim, Jae Yeol Lee	Product Data Interoperability Based on Layered Reference Ontology.	ASWC	2006	DBLP DOI BibTeX RDF
16	Dounia Habhouba, Alain Desrochers, Soumaya Cherkaoui	Engineering Change Management and Decision-Making Assistance using Software Agent.	CCECE	2006	DBLP DOI BibTeX RDF
16	Ken Kaneiwa, Ken Satoh	Consistency Checking Algorithms for Restricted UML Class Diagrams.	FoIKS	2006	DBLP DOI BibTeX RDF
16	Tsz-Chiu Au, Dana S. Nau	Accident or intention: that is the question (in the Noisy Iterated Prisoner's Dilemma).	AAMAS	2006	DBLP DOI BibTeX RDF	adaptation, game theory, coordination, cooperation
16	Churn-Jung Liau	A modal logic framework for multi-agent belief fusion.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	belief fusion, multi-sources reasoning, multi-agent systems, belief revision, Epistemic logic, database merging
16	Hong Chen, Ling Chen 0001, Gencai Chen	Effects of Local-Lag Mechanism on Task Performance in a Desktop CVE System.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	consistency, CVE, response time, task performance, lag
16	Jacek M. Leski	TSK-fuzzy modeling based on ε-insensitive learning.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
16	Yukiyo Takasago, Aki Kobayashi, Katsunori Yamaoka, Yoshinori Sakai	Link Information Consistency Methods Using Update Notification on theWeb.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
16	Mehrdad Sabetzadeh, Steve M. Easterbrook	iVuBlender: A Tool for Merging Incomplete and Inconsistent Views.	RE	2005	DBLP DOI BibTeX RDF
16	Mehrdad Sabetzadeh, Steve M. Easterbrook	An Algebraic Framework for Merging Incomplete and Inconsistent Views.	RE	2005	DBLP DOI BibTeX RDF
16	Anthony Hunter, Weiru Liu	Measuring the Quality of Uncertain Information Using Possibilistic Logic.	ECSQARU	2005	DBLP DOI BibTeX RDF
16	Magdalena Balazinska, Hari Balakrishnan, Samuel Madden 0001, Michael Stonebraker	Fault-tolerance in the Borealis distributed stream processing system.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
16	Christian Lindig	Random testing of C calling conventions.	AADEBUG	2005	DBLP DOI BibTeX RDF	calling convention, compiler, composition, C, consistency, random testing
16	Filippo Ricca	Hyperlinks Analysis in Multilingual Web Applications.	WSE	2005	DBLP DOI BibTeX RDF
16	Minghong Zhou, Huaming Liao, Feng Li	Schema Adaptation Under Multi-relation Dependencies.	GCC	2005	DBLP DOI BibTeX RDF
16	Baoshi Yan	Aligning Class Hierarchies with Grass-Roots Class Alignment.	Web Intelligence	2005	DBLP DOI BibTeX RDF
16	Yongjin Kim, Jae-Joon Lee, Ahmed Helmy	Modeling and analyzing the impact of location inconsistencies on geographic routing in wireless networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF
16	Juan Manuel Sáez, Francisco Escolano Ruiz	A Global 3D Map-building Approach using Stereo Vision.	ICRA	2004	DBLP DOI BibTeX RDF
16	Julio Michael Stern	Paraconsistent Sensitivity Analysis for Bayesian Significance Tests.	SBIA	2004	DBLP DOI BibTeX RDF	Hybrid probability / possibility analysis, Uncertainty representation, Hypothesis test, Paraconsistent logic
16	Qingfeng Chen, Shichao Zhang 0001	Dealing with Inconsistent Secure Messages.	PRICAI	2004	DBLP DOI BibTeX RDF
16	Jørgen Villadsen	Paraconsistent Assertions.	MATES	2004	DBLP DOI BibTeX RDF
16	Christophe Grova, Pierre Jannin, Irène Buvat, Habib Benali, Bernard Gibaud	Evaluation of Registration of Ictal SPECT/MRI Data Using Statistical Similarity Methods.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
16	Yunliang Jiang, Bei Shui Liao, Yong Liu 0007, Jun Hu	An Agent-Enabled Content-Explicit Authorization Model for OGSA-Compliant Grid.	AWCC	2004	DBLP DOI BibTeX RDF
16	Yuxing Peng 0001, Yongjun Zhang, Sikun Li	Delayed State Consistency in Distributed Virtual Environments.	GCC Workshops	2004	DBLP DOI BibTeX RDF
16	Jørgen Villadsen	A Paraconsistent Higher Order Logic.	AISC	2004	DBLP DOI BibTeX RDF
16	Amy P. Felty, Kedar S. Namjoshi	Feature specification and automated conflict detection.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	telecommunications software and systems, Feature interaction, linear temporal logic
16	Hong Hui Zhang, Atsushi Ohnishi	Integration and Evolution Method of Scenarios from Different Viewpoints.	IWPSE	2003	DBLP DOI BibTeX RDF
16	Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers	Using Description Logic to Maintain Consistency between UML Models.	UML	2003	DBLP DOI BibTeX RDF
16	Ping Ji 0002, Zihui Ge, James F. Kurose, Donald F. Towsley	A comparison of hard-state and soft-state signaling protocols.	SIGCOMM	2003	DBLP DOI BibTeX RDF	hard-state, signaling, soft-state
16	Jef Wijsen	Condensed Representation of Database Repairs for Consistent Query Answering.	ICDT	2003	DBLP BibTeX RDF
16	Jean-Pierre Courtiat	Formal Design of Interactive Multimedia Documents.	FORTE	2003	DBLP DOI BibTeX RDF
16	Stuart Anderson, Juliana Küster Filipe	Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
16	Francis Eng Hock Tay, Lixiang Shen	A Modified Chi2 Algorithm for Discretization.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	chi^2 test, Discretization, degree of freedom
16	Sudha Krishnamurthy, William H. Sanders, Michel Cukier	An Adaptive Framework for Tunable Consistency and Timeliness Using Replication.	DSN	2002	DBLP DOI BibTeX RDF
16	Jørgen Villadsen	Paraconsistent Query Answering Systems.	FQAS	2002	DBLP DOI BibTeX RDF
16	Francesco Quaglia, Andrea Santoro	Software supports for preemptive rollback in optimistic parallel simulation on Myrinet clusters.	ISCC	2002	DBLP DOI BibTeX RDF
16	Ralph Miarka, John Derrick, Eerke A. Boiten	Handling Inconsistencies in Z Using Quasi-Classical Logic.	ZB	2002	DBLP DOI BibTeX RDF
16	Sandra de Amo, Walter Alexandre Carnielli, João Marcos 0001	A Logical Framework for Integrating Inconsistent Information in Multiple Databases.	FoIKS	2002	DBLP DOI BibTeX RDF
16	Shigeru Ando	Consistent Gradient Operators.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Image processing, feature extraction, orientation, edge, gradient, corner
16	Bo Xu 0001, Ouri Wolfson, Sam Chamberlain	Spatially distributed databases on sensors.	ACM-GIS	2000	DBLP DOI BibTeX RDF	sensor networks, distributed databases, data replication
16	Evaggelia Pitoura, Bharat K. Bhargava	Data Consistency in Intermittently Connected Distributed Systems.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	Mobile computing, adaptability, concurrency control, replication, consistency, disconnected operation, transaction management
16	Da-Chih David Tang, Ann Marie Grizzaffi Maynard, Lizy Kurian John	Contrasting branch characteristics and branch predictor performance of C++ and C programs.	IPCCC	1999	DBLP DOI BibTeX RDF
16	Weigang Wang, Roy Rada	Structured Hypertext with Domain Semantics.	ACM Trans. Inf. Syst.	1998	DBLP DOI BibTeX RDF	hypertext models, graph theory, hypertext structures
16	Anthony Hunter, Bashar Nuseibeh	Analyzing Inconsistent Specifications.	RE	1997	DBLP DOI BibTeX RDF
16	Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, Hongji Yang	A formal approach to software components classification and retrieval.	COMPSAC	1997	DBLP DOI BibTeX RDF	software components classification, reuse-based software development, faceted scheme, programmer productivity, software quality, software libraries, consistency checking, predicates, keywords, formal approach, Predicate/Transition net, query specification, software components retrieval
16	Frédéric Koriche	Fault-Tolerant and Approximate Reasoning in Multi-Source Environments.	CoopIS	1997	DBLP DOI BibTeX RDF
16	D. Essame, Jean Arlat, David Powell	Available fail-safe systems.	FTDCS	1997	DBLP DOI BibTeX RDF	available fail-safe systems, life critical systems, railway applications, duplex computers, safety constraints, safety degradation, redundancy management mechanisms, fault tolerant computing, redundancy, distributed real-time system, system availability
16	Jenn-Wei Lin, Sy-Yen Kuo	A Highly Available Partition-Processing Protocol for Distributed Shared Memory Systems.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
16	Hideki Tsuiki	On Typed Calculi with a Merge Operator.	FSTTCS	1994	DBLP DOI BibTeX RDF
16	Gilles Bernot, Pascale Le Gall	Exception Handling and Term Labelling.	TAPSOFT	1993	DBLP DOI BibTeX RDF	Key-words Algebraic specifications of abstract data types, Error and exception handling, Exception recovery, Bounded data structures, Structured specifications
16	Jianhua Chen 0003	The BLM semantics may be inconsistent.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Logic program, Consistency, Declarative semantics, Derived rules
16	Marion Sarkis Mircheva	Declarative Semantics for Inconsistent Database Programs.	JELIA	1992	DBLP DOI BibTeX RDF
16	Deepak Kapur, H. K. Wan	Refutational Proofs of Geometry Theorems via Characteristic Set Computation.	ISSAC	1990	DBLP DOI BibTeX RDF
16	Walter F. Tichy	Tichy's Response to R. W. Schwanke and G. E. Kaiser's "Smarter Recompilation".	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
16	Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca	A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs.	AINA	2010	DBLP DOI BibTeX RDF	ruleset, management, diagnosis, detection, firewall, minimal, conflict, inconsistency, anomaly, acl
16	Thomas Sturm 0001, Andreas Weber 0004, Essam O. Abdel-Rahman, M'hammed El Kahoui	Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	quantifier elimination over the reals, logical inconsistency checking, dynamical systems, oscillations, Hopf bifurcations
16	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
16	Steven Euijong Whang, Omar Benjelloun, Hector Garcia-Molina	Generic entity resolution with negative rules.	VLDB J.	2009	DBLP DOI BibTeX RDF	Generic entity resolution, Negative rule, Data cleaning, Inconsistency
16	Hui Zhang, Zhen Zhang, Junwu Zhu	A Method of Eliminating Direct Super-Class to Detect Cycle of Concepts.	IFITA (3)	2009	DBLP DOI BibTeX RDF	EDS2DCC, ontology, maintenance, inconsistency, cycle
16	Daisy Daiqin He, Jian Yang 0001	Understand Collaborative Authorization Policies: Models and Specifications.	IEEE CLOUD	2009	DBLP DOI BibTeX RDF	Business collaboration, policy inconsistency, access control
16	Philippe Besnard, Éric Grégoire, Sébastien Ramon	A Default Logic Patch for Default Logic.	ECSQARU	2009	DBLP DOI BibTeX RDF	logic-based fusion, inconsistency tolerance, MUS, Minimally Unsatisfiable Subformulas, Default logic
16	Michael Peter	Presentation and Evaluation of Inconsistencies in Multiply Represented 3D Building Models.	QuaCon	2009	DBLP DOI BibTeX RDF	evaluation, 3D, inconsistency, city model, adjustment
16	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández	Composing requirements specifications from multiple prioritized sources.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Requirements specification, Viewpoints, Inconsistency, Prioritization, Incompleteness
16	Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld	Sequentially consistent versus linearizable counting networks.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
16	Thomas Eiter, Michael Fink 0001, Gianluigi Greco, Domenico Lembo	Repair localization for query answering from inconsistent databases.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	inconsistency management in databases, logic programming, data integration, stable models, consistent query answering, Database repairs
16	Michael Johnson	Mathematical Support for Ensemble Engineering.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF	Ensemble engineering, inconsistency analysis, category theory, universal algebra
16	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Rule-Based Approaches for Representing Probabilistic Ontology Mappings.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
16	Xiaoyan Li, Lidan Shou, Gang Chen 0001, Xiaolong Zhang 0008, Tianlei Hu, Jinxiang Dong	Pivotbrowser: a tag-space image searching prototype.	WWW	2008	DBLP DOI BibTeX RDF	tag, ambiguity, relevance, inconsistency
16	Marco E. G. V. Cattaneo	Fuzzy Probabilities Based on the Likelihood Function.	SMPS	2008	DBLP DOI BibTeX RDF	Statistical inconsistency, Hierarchical model, Imprecise probabilities, Likelihood function, Fuzzy probabilities
16	Intaik Park, Donghwi Lee, Erik Chmelar, Edward J. McCluskey	Inconsistent Fail due to Limited Tester Timing Accuracy.	VTS	2008	DBLP DOI BibTeX RDF	inconsistent fail, tester timing accuracy, tester EPA, delay test, inconsistency
16	Paul Milbredt, Andreas Steininger, Martin Horauer	Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks.	DELTA	2008	DBLP DOI BibTeX RDF	slightly-off-specification, inconsistency, system testing, FlexRay
16	Otávio A. S. Bueno, Newton C. A. da Costa	Quasi-truth, paraconsistency, and the foundations of science.	Synth.	2007	DBLP DOI BibTeX RDF	Scientific change, Coherence, Inconsistency, Paraconsistent logic, Rationality
16	Peter Grünwald, John Langford 0001	Suboptimal behavior of Bayes and MDL in classification under misspecification.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Misspecification, Classification, Consistency, Inconsistency, Minimum description length, Bayesian statistics
16	Loïc Colson	Another Paradox In Naive Set-Theory.	Stud Logica	2007	DBLP DOI BibTeX RDF	well-founded set, disjoint sum, Set-theory, inconsistency, paradox
16	Ebrahim Bagheri	A proposal for taming uncertainty in the collaborative conceptual model development process.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	belief theory, viewpoint integration, collaborative modeling, inconsistency management, conceptualization
16	Qiusong Yang, Mingshu Li 0001, Qing Wang 0001, Guowei Yang 0001, Jian Zhai, Juan Li 0001, Lishan Hou, Yun Yang 0001	An Algebraic Approach for Managing Inconsistencies in Software Processes, .	ICSP	2007	DBLP DOI BibTeX RDF	PCSEE, TRISO/ML, Software Engineering, Verification, Software Process, Algebraic, Inconsistency
16	Lorenz Froihofer, Karl M. Göschka, Johannes Osrael	Middleware Support for Adaptive Dependability.	Middleware	2007	DBLP DOI BibTeX RDF	constraint consistency, adaptivity, Middleware, dependability, replication, inconsistency