Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
138 | Antonino Salibra |
Topological incompleteness and order incompleteness of the lambda calculu. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(3), pp. 379-401, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Lambda theories, order and topological incompleteness, orderability/unorderability, partially ordered models, Lambda calculus, topological models |
92 | Tadeusz Litak |
Modal Incompleteness Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(3), pp. 329-342, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
general frames, Kripke incompleteness, neighbourhood incompleteness, complete incompleteness, modal algebras |
66 | Vangalur S. Alagar, Sabine Bergler, Fangqing Dong (eds.) |
Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![Springer, 3-540-19897-0 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
66 | Mohua Banerjee, Mihir K. Chakraborty |
Logic of Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 223-233, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Fereidoon Sadri |
Modeling Uncertainty in Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 56-68, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Laks V. S. Lakshmanan, Heather L. Johnstone |
A Relational Data Model for Manipulating Probabilistic Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 138-152, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Debby Keen, Arcot Rajasekar |
Rough Sets and Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 87-101, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Andrzej Skowron |
Management of Uncertainty in AI: A Rough Set Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 69-86, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Qi Yang 0011, Weining Zhang, Chengjie Luo, Clement T. Yu, Hiroshi Nakajima |
Unnesting Fuzzy SQL Queries in Fuzzy Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 167-179, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Nematollaah Shiri, Hasan M. Jamil |
Uncertainty as a Function of Expertise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 153-166, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Zdzislaw Pawlak |
Knowledge and Uncertainty: A Rough Set Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 34-42, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Mounia Lalmas, C. J. van Rijsbergen |
Situation Theory and Dempster-Shafer's Theory of Evidence for Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 102-116, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Vangalur S. Alagar, Fangqing Dong, Ramesh Achuthan |
Completeness in Statechart Models for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 117-130, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | W. M. Jaworski, Rajjan Shinghal |
Knowledge Recovery and Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 131-137, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Urszula Wybraniec-Skardowska |
A Logical Explication of the Concepts of Incomplete and Uncertain Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 180-188, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Rokia Missaoui, Robert Godin, Ameur Boujenoui |
Extracting Exact and Approximate Rules from Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 209-222, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Ewa Orlowska |
Reasoning with Incomplete Information: Rough Set Based Information Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 16-33, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Laks V. S. Lakshmanan |
Evolution of Intelligent Database Systems: A Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 189-208, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Martin S. Feather |
Software Aberrations - Origins and Treatments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 1-15, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
66 | Kasilingam Periyasamy |
A Formal Approach to Software Reusability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems ![In: Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, pp. 43-55, 1993, Springer, 3-540-19897-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
58 | Marzena Kryszkiewicz, Henryk Rybinski |
Legitimate Approach to Association Rules under Incompleteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings, pp. 505-514, 2000, Springer, 3-540-41094-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Anarta Ghosh, Nicolai Petkov |
Robustness of Shape Descriptors to Incomplete Contour Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 27(11), pp. 1793-1804, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
COIL, depletion, distance multiset, Gollin, ICR test, object recognition, shape, occlusion, MPEG-7, psychophysics, Contour, deletion, incompleteness, shape context |
48 | Alasdair J. G. Gray, Werner Nutt, M. Howard Williams |
Sources of Incompleteness in Grid Publishing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Flexible and Efficient Information Handling, 23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006, Proceedings, pp. 94-101, 2006, Springer, 3-540-35969-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Guy De Tré, Rita M. M. De Caluwe, Henri Prade |
Null values in fuzzy databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 30(2), pp. 93-114, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Unknown information, Inapplicable information, Extended possibilistic truth values, Fuzzy database modelling, Incomplete information, Null value |
41 | Liviu Badea, Monica Stanciu |
Refinement Operators Can Be (Weakly) Perfect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings, pp. 21-32, 1999, Springer, 3-540-66109-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas |
Merging Requirements Views with Incompleteness and Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia, pp. 58-67, 2005, IEEE Computer Society, 0-7695-2257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Requirements Specification, Merging, Viewpoints, Inconsistency, Incompleteness |
38 | Benny Kimelfeld, Yehoshua Sagiv |
Combining Incompleteness and Ranking in Tree Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings, pp. 329-343, 2007, Springer, 3-540-69269-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Mehrdad Sabetzadeh, Steve M. Easterbrook |
View merging in the presence of incompleteness and inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 11(3), pp. 174-193, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
View-based development, View merging, Model management, Inconsistency management |
38 | Torkel Franzén |
What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 198-198, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Cristian Calude |
Algorithmic Randomness, Quantum Physics, and Incompleteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers, pp. 1-17, 2004, Springer, 3-540-25261-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Qiang Li 0026, Jianhua Li 0001, Xiang Li, Shenghong Li 0001 |
Evaluation Incompleteness of Knowledge in Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWCC ![In: Content Computing, Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004, Proceedings, pp. 278-284, 2004, Springer, 3-540-23898-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli |
A SystemC-based Framework for Properties Incompleteness Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA, pp. 89-94, 2003, IEEE Computer Society, 0-7695-2045-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Jennifer Widom, David Gries, Fred B. Schneider |
Completeness and Incompleteness of Trace-Based Network Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987, pp. 27-38, 1987, ACM Press, 0-89791-215-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
35 | Varadraj Prabhu Gurupur, Muhammed Shelleh |
Machine Learning Analysis for Data Incompleteness (MADI): Analyzing the Data Completeness of Patient Records Using a Random Variable Approach to Predict the Incompleteness of Electronic Health Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 95994-96001, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Paul J. Campbell |
An answer to Armstrong's question about incompleteness in Copi: "A question about incompleteness". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 18(2), pp. 262-264, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
32 | Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng |
Handling non-canonical software requirements based on Annotated Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 11(1), pp. 85-104, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Redundancy, Inconsistency, Software requirements, Paraconsistent logic, Vagueness, Incompleteness |
32 | Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan |
Warnings for Disjoint Knowledge Omission in Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 45, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Warnings Generation, incompleteness error warning, Evaluation Case study, Ontology Evaluation |
32 | Souâd Taouil-Traverson, Sylvie Vignes |
Preliminary Analysis Cycle for B-Method Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 319-, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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 |
32 | Takahiko Horiuchi, Kazuo Toraichi, Kazuhiko Yamamoto, Hiromitsu Yamada |
Relaxation optimizing processes in extended probabilistic space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 266-269, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
relaxation optimizing processes, extended probabilistic space, probability theoretic model, relaxation matching method, Dempster-Shafer, pattern recognition, image processing, probability, image recognition, iterative methods, incompleteness |
32 | Howard B. Reubenstein, Richard C. Waters |
The Requirements Apprentice: Automated Assistance for Requirements Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(3), pp. 226-240, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Requirements Apprentice, human analyst, coherent internal representation, disorganized imprecise statements, dependency-directed reasoning, formal specifications, formal specification, artificial intelligence, knowledge representation, software tools, knowledge acquisition, knowledge acquisition, ambiguity, software requirements, automated tool, incompleteness, contradiction, requirements acquisition, hybrid knowledge representations |
31 | Emmanuel Munguia Tapia, Tanzeem Choudhury, Matthai Philipose |
Building Reliable Activity Models Using Hierarchical Shrinkage and Mined Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pervasive ![In: Pervasive Computing, 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006, Proceedings, pp. 17-32, 2006, Springer, 3-540-33894-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Jeanette Auer, Richard Hall |
Investigating ID3-Induced Rules from Low-Dimensional Data Cleaned by Complete Case Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings, pp. 414-424, 2004, Springer, 3-540-24059-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Philip Vos Fellman, Jonathan Vos Post, Christine Carmichael, Alexandru Manus, Dawna Lee Attig |
Time, Incompleteness and Singularity in Quantum Cosmology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (1) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1, pp. 749-762, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quantum Cosmology, Incomplete Geodesic, Cosmic Inflation, Time, Singularity |
28 | Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro |
Inference of abduction theories for handling incompleteness in first-order learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 11(2), pp. 217-242, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Incomplete knowledge, Inductive Logic Programming, Abduction |
28 | Muhammad Abdul Qadir 0001, Muhammad Fahad 0011, Syed Adnan Hussain Shah |
Incompleteness Errors in Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 279-282, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Russell O'Connor |
Essential Incompleteness of Arithmetic Verified by Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, pp. 245-260, 2005, Springer, 3-540-28372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto |
On the Use of a High-Level Fault Model to Check Properties Incompleteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 145-152, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Dan E. Willard |
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings, pp. 281-297, 2002, Springer, 3-540-43929-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | H. V. Jagadish |
Incompleteness in Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Knowledge Discovery and Data Mining - PAKDD 2001, 5th Pacific-Asia Conference, Hong Kong, China, April 16-18, 2001, Proceedings, pp. 1, 2001, Springer, 3-540-41910-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Makoto Kikuchi |
Kolmogorov complexity and the second incompleteness theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 36(6), pp. 437-443, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | R. B. Abhyankar, R. L. Kashyap |
Inter-relational information and incompleteness in relational databases (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 372, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Jens H. Weber-Jahnke, Adeniyi Onabajo |
Finding Defects in Natural Language Confidentiality Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, pp. 213-222, 2009, IEEE Computer Society, 978-0-7695-3761-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
goal-based models, annotations, requirements analysis, conflicts, exceptions, incompleteness, defaults |
22 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 13(3), pp. 187-206, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirements specification, Viewpoints, Inconsistency, Prioritization, Incompleteness |
22 | Tetsuya Sakai, Noriko Kando |
On information retrieval metrics designed for evaluation with incomplete relevance assessments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. ![In: Inf. Retr. 11(5), pp. 447-470, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Test collections, Evaluation metrics, Incompleteness, Relevance assessments |
22 | Carlos Ramos 0001, Juan Carlos Augusto, Daniel G. Shapiro |
Ambient Intelligence - the Next Step for Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 23(2), pp. 15-18, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
incompleteness and uncertainty, data mining, neural networks, machine learning, human-computer interaction, computer vision, artificial intelligence, robots, knowledge representation, natural language processing, knowledge-based systems, multiagent systems, speech recognition, intelligent agents, planning, ambient intelligence |
22 | Yutaka Miyazaki |
Kripke Incomplete Logics Containing KTB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(3), pp. 303-317, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
KTB, Kripke incompleteness |
22 | Grzegorz Protaziuk, Henryk Rybinski |
Discovering Association Rules in Incomplete Transactional Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Trans. Rough Sets 6, pp. 308-328, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
association rules, frequent itemsets, incompleteness, transactional data |
22 | Scott Brookhart, Todd Schultz, Paul Freedman, Art Sedighi |
Bookshelf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(6), pp. 109-112, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
discrete methods, strange loops, high-level patterns, first principles, Gödel's incompleteness theorem, Collaborative Innovation Network, coolhunting, early adopters, TR1, C++, probability, innovation, random process, philosophy, consciousness, continuous methods |
22 | Tadeusz Litak, Frank Wolter |
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(2), pp. 153-165, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic |
22 | Dmitrij P. Skvortsov |
On the Predicate Logic of Linear Kripke Frames and some of its Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(2), pp. 261-282, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Intermediate predicate logics, Kripke sheaves, completeness and incompleteness, Kripke semantics |
22 | G. M. Germano, Stefano Mazzanti |
Cantor Diagrams: A Unifying Discussion of Self-Reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(4), pp. 313-336, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Cantor diagonal method, Cantor diagrams, logical paradoxes, self-reference, incompleteness, Cartesian closed categories |
22 | Cezary Cieslinski |
Löb's Theorem in a Set Theoretical Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 75(3), pp. 319-326, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
antinomy, Löb's theorem, incompleteness |
22 | Debabrata Dey, Sumit Sarkar |
A Probabilistic Relational Model and Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(3), pp. 339-369, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
data incompleteness, probabilistic relation, probability calculus, relational algebra, relational model, data uncertainty |
22 | Adegbeniga Ola, Gultekin Özsoyoglu |
Incomplete Relational Database Models Based on Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 293-308, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
unknown relations, partial tuple types, incompleteness relationships, relation level, attribute value level, Imielinski-Lipski sense, data structures, relational databases, database theory, query evaluation, relational database models |
20 | Shrihari Vasudevan, Fabio T. Ramos 0001, Eric Nettleton, Hugh F. Durrant-Whyte, Allan Blair |
Gaussian Process modeling of large scale terrain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 1047-1053, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Dominique Bouthinon, Henry Soldano, Véronique Ventos |
Concept Learning from (Very) Ambiguous Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLDM ![In: Machine Learning and Data Mining in Pattern Recognition, 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings, pp. 465-478, 2009, Springer, 978-3-642-03069-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Symbolic concept-learning, Ambiguity, Incomplete data |
20 | Torsten Schaub, Sven Thiele |
Metabolic Network Expansion with Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 312-326, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Akinari Yamaguchi, Shougo Shimizu, Yasunori Ishihara, Toru Fujiwara |
Bag-based data models for incomplete information and their closure properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 30(2), pp. 115-135, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Data model, Incomplete information, Bag, Closure property |
20 | Ben He, Craig Macdonald, Iadh Ounis |
Retrieval sensitivity under training using different measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 67-74, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
binary preference, inferred average precision, mean average precision, normalised discounted cumulative gain, relevance judgements, evaluation, training, optimisation |
20 | Jerzy W. Grzymala-Busse, Witold J. Grzymala-Busse |
Inducing Better Rule Sets by Adding Missing Attribute Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 160-169, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Murat Yakici, Mark Baillie, Ian Ruthven, Fabio Crestani |
Modelling epistemic uncertainty in ir evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 769-770, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
performance evaluation, metrics, uncertainty |
20 | Tetsuya Sakai |
Alternatives to Bpref. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 71-78, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
test collection, evaluation metrics, graded relevance |
20 | John W. Dawson |
Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 339-341, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Carlo Meghini, Yannis Tzitzikas, Nicolas Spyratos |
Abduction for Extending Incomplete Information Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings, pp. 267-278, 2006, Springer, 3-540-34117-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Manfred Kerber |
Why Is the Lucas-Penrose Argument Invalid?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings, pp. 380-393, 2005, Springer, 3-540-28761-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Yasser Kotb, Takuya Katayama |
Consistency checking of UML model diagrams using the XML semantics approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 982-983, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML, model checking, UML, attribute grammars, XMI |
20 | Mehrdad Sabetzadeh, Steve M. Easterbrook |
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France, pp. 453-454, 2005, IEEE Computer Society, 0-7695-2425-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Renshen Wang, Sheqin Dong, Xianlong Hong |
An improved P-admissible floorplan representation based on Corner Block List. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 1115-1118, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Anarta Ghosh, Nicolai Petkov |
Incomplete Contour Representations and Shape Descriptors: ICR Test Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BVAI ![In: Brain, Vision, and Artificial Intelligence, First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings, pp. 416-425, 2005, Springer, 3-540-29282-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Mario Paolucci, Jordi Sabater, Rosaria Conte |
"What if?" Dealing with uncertainity in Repage's mental landscape. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005, pp. 372-378, 2005, IEEE Computer Society, 0-7695-2416-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Martine Ceberio, Hiroshi Hosobe, Ken Satoh |
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, pp. 340-357, 2005, Springer, 3-540-33996-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Anarta Ghosh, Nicolai Petkov |
GAP Test: A Cognitive Evaluation Procedure for Shape Descriptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 4th International Conference on Hybrid Intelligent Systems (HIS 2004), 5-8 December 2004, Kitakyushu, Japan, pp. 334-339, 2004, IEEE Computer Society, 0-7695-2291-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Carlo Sartiani |
On the Correctness of Query Results in XML P2P Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Peer-to-Peer Computing ![In: 4th International Conference on Peer-to-Peer Computing (P2P 2004), 15-17 August 2004, Zurich, Switzerland, pp. 18-25, 2004, IEEE Computer Society, 0-7695-2156-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Oliver Ray, Krysia Broda, Alessandra Russo |
Hybrid Abductive Inductive Learning: A Generalisation of Progol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003, Proceedings, pp. 311-328, 2003, Springer, 3-540-20144-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Ken Satoh, Keiji Yamamoto |
Speculative computation with multi-agent belief revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 897-904, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jeroen Voeten |
On the fundamental limitations of transformational design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 6(4), pp. 533-552, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
syntactic variance problem, formal methods, high-level synthesis, Completeness, transformational design |
20 | Paola Inverardi, Henry Muccini, Patrizio Pelliccione |
Automated Check of Architectural Models Consistency Using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 346-349, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Cousot, Radhia Cousot |
Temporal Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 12-25, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Diamantini, Maurizio Panti |
A Conceptual Indexing Method for Content-Based Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 193-197, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
partitioning criterion, answer precision and recall, information theory, semantic similarity |
20 | Maogang Wang, Prithviraj Banerjee, Majid Sarrafzadeh |
Potential-NRG: Placement with Incomplete Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 279-282, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
congestion, global routing, quadratic placement, routing models, supply-demand, relaxed pins |
20 | Peter Idestam-Almquist |
Generalization under Implication by using Or-Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings, pp. 56-64, 1993, Springer, 3-540-56602-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Tai-Kuo Woo |
A Note on Lamport's Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 24(4), pp. 78-80, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | James Walsh 0007 |
An Incompleteness Theorem via Ordinal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 89(1), pp. 80-96, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Yousef AlShehri, Lakshmish Ramaswamy |
An Energy-Efficient Ensemble Approach for Mitigating Data Incompleteness in IoT Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10371, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Benny Kimelfeld, Phokion G. Kolaitis |
A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 67(3), pp. 74-83, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Mark A. Chen, Shuting Sophia Hu, Joanna Wang, Qinxi Wu |
Can Blockchain Technology Help Overcome Contractual Incompleteness? Evidence from State Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 69(11), pp. 6540-6567, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jan Krajícek |
A proof complexity conjecture and the Incompleteness theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR23, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Dusko Pavlovic, Temra Pavlovic |
From Gödel's Incompleteness Theorem to the completeness of bot religions (Extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.14338, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jan Krajícek |
A proof complexity conjecture and the Incompleteness theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.10637, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Gilles Dowek |
Teaching G{ö}del's incompleteness theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.18099, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|