|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1236 occurrences of 825 keywords
|
|
|
Results
Found 2355 publication records. Showing 2355 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
29 | Xuandong Li, Johan Lilius |
Checking compositions of UML sequence diagrams for timing inconsistency. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions |
29 | Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. |
ICRE |
1998 |
DBLP DOI BibTeX RDF |
managing inconsistency, requirement engineering, restructuring |
29 | Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama |
A Petri Net Model for Reasoning in the Presence of Inconsistency. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
large expert systems, Petri nets, query processing, logic programs, logic programming, logic programming, expert systems, query languages, queries, reasoning, inference mechanisms, inconsistency, classical logic, Petri net model |
26 | Sabine Nagel, Patrick Delfmann |
Investigating Inconsistency Understanding to Support Interactive Inconsistency Resolution in Declarative Process Models. |
ECIS |
2022 |
DBLP BibTeX RDF |
|
26 | Mengzhu Sun, Xi Zhang 0008, Jianqiang Ma, Yazheng Liu |
Inconsistency Matters: A Knowledge-guided Dual-inconsistency Network for Multi-modal Rumor Detection. |
EMNLP (Findings) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Irit Hadar, Anna Zamansky, Daniel M. Berry |
The inconsistency between theory and practice in managing inconsistency in requirements engineering. |
Empir. Softw. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Xiaowang Zhang, Kewen Wang 0001, Zhe Wang 0001, Yue Ma 0009, Guilin Qi, Zhiyong Feng 0002 |
A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite. |
Int. J. Approx. Reason. |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Jirí Mazurek |
On Inconsistency Indices and Inconsistency Axioms in Pairwise Comparisons. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
26 | Yuhao Wu, Yuki Manabe 0001, Daniel M. Germán, Katsuro Inoue |
How are Developers Treating License Inconsistency Issues? A Case Study on License Inconsistency Evolution in FOSS Projects. |
OSS |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Hendrik Decker |
Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking. |
Trans. Large Scale Data Knowl. Centered Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Philippe Besnard |
Basic Postulates for Inconsistency Measures. |
Trans. Large Scale Data Knowl. Centered Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Jean Paul Van Bendegem |
Inconsistency in mathematics and the mathematics of inconsistency. |
Synth. |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Florin O. Bilbiie |
The Time Inconsistency of Delegation-Based Time Inconsistency Solutions in Monetary Policy. |
J. Optim. Theory Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Hendrik Decker |
Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics. |
KES (2) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Guido Vanackere |
HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions. |
J. Appl. Non Class. Logics |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Dov M. Gabbay, Anthony Hunter |
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Dov M. Gabbay, Anthony Hunter |
Making inconsistency respectable: a logical framework for inconsistency in reasoning. |
FAIR |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Liping Zhou |
Dealing with Inconsistencies in DL-Lite Ontologies. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Kilho Shin, Xian Ming Xu |
Consistency-Based Feature Selection. |
KES (1) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Kazumi Nakamatsu |
The Paraconsistent Annotated Logic Program EVALPSN and its Application. |
Computational Intelligence: A Compendium |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Canhui Wang, Min Zhang 0006, Liyun Ru, Shaoping Ma |
Automatic online news topic ranking using media focus and user attention based on aging theory. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
media focus, page view, topic ranking, user attention |
24 | Weiru Liu |
Conflict Analysis and Merging Operators Selection in Possibility Theory. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
24 | George Koliadis, Aditya Ghose |
Verifying Semantic Business Process Models in Inter-operation. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Susan Elias, K. S. Easwarakumar, Richard Chbeir |
Dynamic consistency checking for temporal and spatial relations in multimedia presentations. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
authoring, multimedia presentation, consistency checking, spatial relations, temporal relations |
24 | Weiru Liu |
Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory. |
KSEM |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Xuejun Yang, Xiangli Qu |
Towards reliable trust establishment in grid: a pre-evaluating set based bias-tuned method for dishonest feedback filtering. |
PST |
2006 |
DBLP DOI BibTeX RDF |
feedback filtering, pre-evaluating set, trust, grid |
24 | Paula Amaral 0001, Pedro Barahona |
A Framework for Optimal Correction of Inconsistent Linear Constraints. |
Constraints An Int. J. |
2005 |
DBLP DOI BibTeX RDF |
infeasibility, flexible constraints, optimal correction, linear constraints |
24 | Leila Amgoud, Souhila Kaci |
An Argumentation Framework for Merging Conflicting Knowledge Bases: The Prioritized Case. |
ECSQARU |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Churn-Jung Liau |
Ordered Belief Fusion in Possibilistic Logic. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
Belief fusion, multi-agent systems, epistemic logic, possibilistic logic, database merging |
24 | Éric Grégoire |
About the dynamics of iterated knowledge fusion by weakening. |
IRI |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Suiping Zhou, Wentong Cai 0001, Bu-Sung Lee, Stephen John Turner |
Time-space consistency in large-scale distributed virtual environments. |
ACM Trans. Model. Comput. Simul. |
2004 |
DBLP DOI BibTeX RDF |
dead reckoning algorithm, Consistency, distributed virtual environments |
24 | Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo |
Reasoning About Requirements Evolution Using Clustered Belief Revision. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Shao Hua, Guiran Chang, Zhao Hong |
The Consistency between the Attribute Relationships and Time-Serial Count Operators. |
CBMS |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Florence Dupin de Saint-Cyr, Béatrice Duval, Stéphane Loiseau |
A Priori Revision. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Xiaochun Cheng, Haihong Dai |
Operator Fuzzy Logic Based on Argumentation. |
HICSS (5) |
1998 |
DBLP DOI BibTeX RDF |
Operator Fuzzy Logic, argumentation, conflict resolution, nonmonotonic reasoning, Horn clause |
24 | Calton Pu, Miu K. Tsang, Kun-Lung Wu, Philip S. Yu |
Multiversion Divergence Control of Time Fuzziness. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Ebrahim Bagheri, Faezeh Ensan |
Evidential reasoning for the treatment of incoherent terminologies. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
debugging incoherent terminologies, inconsistency resolution, description logic, subjective logic, evidential reasoning |
24 | Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon |
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. |
REFSQ |
2009 |
DBLP DOI BibTeX RDF |
model-driven requirements engineering, flexible inconsistency management, model composition |
24 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
Detecting and Repairing Inconsistencies across Heterogeneous Models. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Model Driven Development, Inconsistency Management, Model Consistency |
24 | Lian Yu, Shuang Su, Shan Luo, Yu Su 0007 |
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems |
24 | Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng |
Handling non-canonical software requirements based on Annotated Predicate Calculus. |
Knowl. Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Redundancy, Inconsistency, Software requirements, Paraconsistent logic, Vagueness, Incompleteness |
24 | Ilyes Jenhani, Nahla Ben Amor, Zied Elouedi, Salem Benferhat, Khaled Mellouli |
Information Affinity: A New Similarity Measure for Possibilistic Uncertain Information. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
Divergence measure, Inconsistency measure, Similarity, Distance, Possibility theory |
24 | Sabine Glesner |
Finite Integer Computations: An Algebraic Foundation for Their Correctness. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL |
24 | Vincenzo Gervasi, Didar Zowghi |
Reasoning about inconsistencies in natural language requirements. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
Requirements, natural language, inconsistency, default logic |
24 | Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel |
Multi-valued symbolic model-checking. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality |
24 | Vesper Owei |
An intelligent approach to handling imperfect information in concept-based natural language queries. |
ACM Trans. Inf. Syst. |
2002 |
DBLP DOI BibTeX RDF |
ambiguous query, anaphoric query, concept-based query, conceptual query language, elliptical query, imperfect queries, inexplicit query, missing information, natural language query, semantically mismatched query, incomplete information, inconsistency, natural language interface |
24 | Isabela Drummond, Lluís Godo, Sandra A. Sandri |
Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations. |
SBIA |
2002 |
DBLP DOI BibTeX RDF |
similarity, inconsistency, fuzzy rule-based systems, gradual rules |
24 | Didar Zowghi, Vincenzo Gervasi, Andrew McRae |
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
s cenarios, Requirements, natural language, inconsistency, default logic |
24 | Yann Loyer, Nicolas Spyratos, Daniel Stamate |
Hypothesis Support for Information Integration in Four-Valued Logics. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
deductive databases and knowledge bases, information integration, inconsistency, logics of knowledge, four-valued logic |
24 | Michael Goedicke, Torsten Meyer, Gabriele Taentzer |
ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies. |
RE |
1999 |
DBLP DOI BibTeX RDF |
Integration of Software Architecture and Performance Evaluation, Requirements Engineering, Graph Transformation, ViewPoints, Inconsistency Management |
24 | Yuko Murayama |
Configuration Detection as a Problem of Knowledge Discovery in Computer Networks. |
CoopIS |
1997 |
DBLP DOI BibTeX RDF |
configuration detection, network object existence, network object location, network configuration knowledge maintenance, scale problem, management domain partitioning, network address authorisation, network-level threats, security technique, address resolution, data mining, knowledge discovery, computer networks, configuration management, routers, inconsistency, internetworking, dynamic learning, invalidity, hosts |
24 | Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi |
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
business processes, software processes, formal model, inconsistency, deviation, human-centered systems |
24 | Salem Benferhat, Didier Dubois, Henri Prade |
Reasoning in Inconsistent Stratified Knowledge Bases. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
uncertainty, argumentation, inconsistency, possibility theory |
24 | Souâd Taouil-Traverson, Sylvie Vignes |
Preliminary Analysis Cycle for B-Method Software Development. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle |
24 | Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein |
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
heterogeneous components, multiple ViewPoints, partial requirements specifications, inter-ViewPoint communication, ViewPoints framework, requirements specification method, computer-based ViewPoints support, The Viewer, formal specification, requirements specification, CORE, multiple views, consistency checking, inconsistency management |
21 | Michal Malski |
An Algorithm for Inconsistency Resolution in Recommendation Systems and Its Application in Multi-Agent Systems. |
KES-AMSTA |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca |
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca |
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Hendrik Decker |
Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization. |
DEXA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Faezeh Ensan, Weichang Du |
Aspects of Inconsistency Resolution in Modular Ontologies. |
Canadian AI |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Fahim T. Imam, Wendy MacCaull |
Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
multi-valued logic, Ontology integration, paraconsistency |
21 | Ngoc Thanh Nguyen 0001 |
Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-agent Environments. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Sylvie Coste-Marquis, Pierre Marquis |
Recovering Consistency by Forgetting Inconsistency. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Maw-Shang Chang, Chuang-Chieh Lin, Peter Rossmanith |
New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem. |
IWPEC |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy |
Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. |
CBMS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Qin Li 0002, Huibiao Zhu, Jifeng He 0001 |
An Inconsistency Free Formalization of B/S Architecture. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ngoc Thanh Nguyen 0001 |
Using Consensus Methodology in Processing Inconsistency of Knowledge. |
Advances in Web Intelligence and Data Mining |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Michal Malski |
An Algorithm for Inconsistency Resolving in Recommendation Web-Based Systems. |
KES (2) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Dongwon Jeong, Youn-Hee Han |
Resolving the Semantic Inconsistency Problem for Ubiquitous RFID Applications. |
UIC |
2006 |
DBLP DOI BibTeX RDF |
Metadata register, Ubiquitous computing, Semantic, Interoperability, RFID, Consistency |
21 | Gang Hua 0001, Ying Wu 0001 |
Measurement integration under inconsistency for robust tracking. |
CVPR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Muhammad Z. Ikram, Dennis R. Morgan |
Permutation inconsistency in blind speech separation: investigation and solutions. |
IEEE Trans. Speech Audio Process. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Peter Haase 0001, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, York Sure |
A Framework for Handling Inconsistency in Changing Ontologies. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Benjamin Schaeffer, Peter Brinkmann, George K. Francis, Camille Goudeseune, Jim Crowell, Hank Kaczmarski |
Myriad: scalable VR via peer-to-peer connectivity, PC clustering, and transient inconsistency. |
VRST |
2005 |
DBLP DOI BibTeX RDF |
peer-to-peer, virtual environments, PC cluster |
21 | Gang Wu, Jia-Huai You, Guohui Lin |
A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors. |
CSB Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Zhi-Ping Fan, Xia Chen |
Consensus Measures and Adjusting Inconsistency of Linguistic Preference Relations in Group Decision Making. |
FSKD (1) |
2005 |
DBLP DOI BibTeX RDF |
Group decision making (GDM), Linguistic preference relation, Consensus degree, Feedback mechanism |
21 | Janusz Jezewski, Janusz Wrobel, Tomasz Kupka |
Baseline and Acceleration Episodes - Clinically Significant Nonstationarities in FHR Signal: Part I. Coefficients of Inconsistency. |
CORES |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Kedian Mu, Zhi Jin, Ruqian Lu |
Inconsistency-Based Strategy for Clarifying Vague Software Requirements. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Hongbin Fang, Ling Zhang |
Semi-order structure fusion model of quotient spaces under the condition of inconsistency information. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Sébastien Konieczny, Pierre Marquis |
Three-Valued Logics for Inconsistency Handling. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Jens Gramm, Rolf Niedermeier |
Minimum Quartet Inconsistency Is Fixed Parameter Tractable. |
CPM |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Stefano Monti, Giuseppe Carenini |
Dealing with the Expert Inconsistency in Probability Elicitation. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
probability elicitation, analytic hierarchy process, Bayesian belief networks |
21 | Dragan Gamberger, Nada Lavrac, Goran Krstacic, Tomislav Smuc |
Inconsistency Tests for Patient Records in a Coronary Heart Disease Database. |
ISMDA |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Ian Sommerville, Peter Sawyer, Stephen Viller |
Managing Process Inconsistency Using Viewpoints. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
software process, process improvement, Viewpoints |
21 | Éric Grégoire |
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases. |
ESCQARU |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Vasileios Pappas, Duane Wessels, Daniel Massey, Songwu Lu, Andreas Terzis, Lixia Zhang 0001 |
Impact of configuration errors on DNS robustness. |
IEEE J. Sel. Areas Commun. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Wan-rong Jih, Jane Yung-jen Hsu, Han-Wen Chang |
Agent-Based Context Consistency Management in Smart Space Environments. |
SOCASE |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yoshio Kakizaki, Yoshiaki Yoshida, Hidekazu Tsuji |
An Improvement to a Decentralized Management Method for Uniquely Accessible Attribute Information. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Dounia Habhouba, Alain Desrochers, Soumaya Cherkaoui |
Agent-based assistance for engineering change management: An implementation prototype. |
CSCWD |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Salman Abdul Moiz, Lakshmi Rajamani |
Concurrency Control Strategy to Reduce Frequent Rollbacks in Mobile Environments. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Salman Abdul Moiz, Lakshmi Rajamani |
An Efficient Strategy for Achieving Concurrency Control in Mobile Environments. |
APNOMS |
2009 |
DBLP DOI BibTeX RDF |
Fixed Host, Transaction, Threshold, Rollback, Timer, Mobile Host |
16 | Foto N. Afrati, Phokion G. Kolaitis |
Repair checking in inconsistent databases: algorithms and complexity. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs |
16 | Min Liu 0017, Dianfu Ma, Yongwang Zhao, Dou Sun |
An Approach to Preserving Consistency of SOAs in Dynamic Evolution. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Großmann, Nicola Hönle, Carlos Lübbe, Harald Weinschrott |
An Abstract Processing Model for the Quality of Context Data. |
QuaCon |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jiuyong Li, Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Jian Pei |
Anonymization by Local Recoding in Data with Attribute Hierarchical Taxonomies. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yi Guo 0001, Junbin Gao, Paul Wing Hing Kwan |
Twin Kernel Embedding. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Hadrien Cambazard, Barry O'Sullivan |
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Table constraints, Explanation generation, Functional dependencies |
16 | Magdalena Balazinska, Hari Balakrishnan, Samuel Madden 0001, Michael Stonebraker |
Fault-tolerance in the borealis distributed stream processing system. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
fault-tolerance, consistency, availability, Distributed stream processing |
16 | Guoquan P. Huang 0001, Anastasios I. Mourikis, Stergios I. Roumeliotis |
Analysis and improvement of the consistency of extended Kalman filter based SLAM. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Seung-Que Lee, Nam-Hoon Park |
Wireless Access on Next Generation Broadband Internet Services. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yuxiang Shi, Jun Yan 0009, Zhong Jie Li, Jun Zhu |
Path-based verification for composition of semantic web services. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
web service, verification, semantic, composition |
Displaying result #101 - #200 of 2355 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|