|
|
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 |
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 |
Displaying result #201 - #300 of 2355 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|