|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1973 occurrences of 1323 keywords
|
|
|
Results
Found 5423 publication records. Showing 5422 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
94 | Josep Maria Font |
Taking Degrees of Truth Seriously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(3), pp. 383-406, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Suszko’s Thesis, logical values, truth degrees, logics preserving degrees of truth, semantics, many-valued logic, abstract algebraic logic, truth values |
93 | Noboru Takagi |
Some Properties of Logic Functions over Multi-interval Truth Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 256-267, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
81 | Yaroslav Shramko, Heinrich Wansing |
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(4), pp. 403-424, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment |
80 | Nuel Belnap |
Truth Values, Neither-true-nor-false, and Supervaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(3), pp. 305-334, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
neither-true-nor-false, non-denoting terms, future tense, vagueness, paradoxes, truth values |
74 | João Marcos 0001 |
What is a Non-truth-functional Logic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 215-240, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Abstract logics, truth-functionality, formal semantics |
74 | Li Zou, Wenjiang Li, Yang Xu 0001 |
Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, pp. 266-274, 2008, Springer, 978-3-540-87731-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Lattice implication algebra, Linguistic truth-valued intuitionistic propositional logic, Decision making |
63 | Yaoyao Zhu, Xiaolei Huang 0001, Wei Wang 0057, Daniel P. Lopresti, L. Rodney Long, Sameer K. Antani, Zhiyun Xue, George R. Thoma |
Balancing the Role of Priors in Multi-Observer Segmentation Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 55(1-3), pp. 185-207, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-observer, STAPLE, Segmentation, Specificity, Validation, Sensitivity, Precision, Ground truth, Bayesian decision |
63 | Itala M. Loffredo D'Ottaviano, Carlos Hifume |
Peircean Pragmatic Truth and da Costa's Quasi-Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 383-398, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
60 | Zhengjiang Wu, Xin Liu 0048, Li Zou, Yang Xu 0001 |
Transformation of Linguistic Truth Values During the Sensor Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 744-750, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Linguistic truth value, Standard linguistic truth value, Sensor evaluation |
57 | Jorma K. Mattila |
On Models in Fuzzy Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part III, pp. 358-365, 2006, Springer, 3-540-46542-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Propositional Logic, Fuzzy Truth-values, Model, Modifier |
57 | Lon A. Berk |
The Liar, Context and Logical Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(3), pp. 267-286, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
liar paradox, context, truth |
51 | Stephen Read |
The Truth Schema and the Liar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 3-17, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Terence Parsons |
Comments on Stephen Read's "The Truth-Schema and the Liar". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 129-134, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Gyula Klima |
Logic Without Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 87-112, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Greg Restall |
Models for Liars in Bradwardine's Theory of Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 135-147, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Didier Dubois, Jérôme Lang, Henri Prade |
A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 87-106, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
51 | Cees Witteveen |
A Skeptical Semantics for Truth Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 136-154, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
51 | Laura Giordano 0001, Alberto Martelli |
Truth Maintenance Systems and Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 71-86, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
50 | GuoJun Wang, QiaoLin Duan |
Theory of (n) truth degrees of formulas in modal logic and a consistency theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(1), pp. 70-83, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
(n) truth degrees, consistency theorem, (n) modality similarity degrees, (n) modality logic metric space, temporal logic, modal logic, approximate reasoning |
50 | Roy T. Cook |
What is a Truth Value And How Many Are There? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 183-201, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Absolute Generality, Indefinite Extensibility, Liar Paradox, Revenge Problem, Semantics, Set Theory, Truth Value |
50 | Jun Li, Guojun Wang |
Theory of truth degrees of propositions in the logic system Ln*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(4), pp. 471-483, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
truth degree, approximate reasoning, similarity degree |
50 | Guy De Tré, Rita M. M. De Caluwe, Jörg Verstraete, Axel Hallez |
Conjunctive Aggregation of Extended Possibilistic Truth Values and Flexible Database Querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings, pp. 344-355, 2002, Springer, 3-540-00074-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Flexible database querying, extended possibilistic truth values, conjunctive aggregation |
46 | Zheng Pei 0001 |
The Algebraic Properties of Linguistic Value "Truth" and Its Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 436-444, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Hiroaki Kikuchi, Noboru Takagi |
de Morgan Bisemilattice of Fuzzy Truth Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 180-184, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Masao Mukaidono |
Several Extensions of Truth Values in Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 11th International Symposium, ISMIS '99, Warsaw, Poland, June 8-11, 1999, Proceedings, pp. 282-291, 1999, Springer, 3-540-65965-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Francesc Esteva, Lluís Godo, Carles Noguera |
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(3), pp. 273-284, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness |
44 | Clifford Conley Owens III, T. M. Murali 0001, Naren Ramakrishnan |
Capturing truthiness: mining truth tables in binary datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1467-1474, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
independence models, levelwise algorithms, truth tables |
44 | Sabine Randriamasy |
A set-based benchmarking method for address bloc location on arbitrarily complex grey level images. ![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 II, pp. 619-622, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
set-based benchmarking method, address bloc location, arbitrarily complex grey level images, mailpiece, ground truth file, automatically located zones, ground truth lines, adaptive binarization, manually located zones, partial line locatation, contents-related text line importance, explicit error diagnosis, numerical evaluation, image segmentation, layouts, pixels, page segmentation, visual quality |
43 | Truth Lumor, Mirja Pulkkinen, Yolande E. Chan, Ari P. Hirvonen |
Exploring the Renewal of IT-enabled Resources from a Structural Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Assoc. Inf. Syst. ![In: Commun. Assoc. Inf. Syst. 53, pp. 2, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
43 | Truth Lumor, Mirja Pulkkinen, Ari P. Hirvonen, Pekka Neittaanmäki |
Creating the Socio-technical Context Needed to Derive Benefits from Big Data Initiatives in Healthcare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scand. J. Inf. Syst. ![In: Scand. J. Inf. Syst. 33(2), pp. 1, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
43 | Truth Lumor, Ari P. Hirvonen, Mirja Pulkkinen |
The Role of Enterprise Architecture in Building and Sustaining Information Technology - Enabled Organizational Agility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 54th Hawaii International Conference on System Sciences, HICSS 2021, Kauai, Hawaii, USA, January 5, 2021, pp. 1-10, 2021, ScholarSpace. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
43 | Truth Lumor, Mirja Pulkkinen, Ari P. Hirvonen |
The Actual Adoption and Use of Mobile Apps: The Case of a Higher Education Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 26th Americas Conference on Information Systems, AMCIS 2020, Virtual Conference, August 15-17, 2020, 2020, Association for Information Systems, 978-1-7336325-4-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
43 | Truth Lumor |
Factors that Influence Information Technology Use during Post-Implementation: a literature Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 27th European Conference on Information Systems - Information Systems for a Sharing Society, ECIS 2019, Stockholm and Uppsala, Sweden, June 8-14, 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
43 | Truth Lumor |
Investigating the Structural Properties of an IT-Enabled Resource. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIS ![In: 10th Scandinavian Conference on Information Systems, SCIS 2019, Nokia, Finland, 11-14 August 2019., pp. 7, 2019, Association for Information Systems, 978-0-578-53212-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
43 | Truth Lumor, Eng Chew, Asif Qumer Gill |
Exploring the Role of Enterprise Architecture in IS-enabled Ot: An EA Principles Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC Workshops ![In: 20th IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2016, Vienna, Austria, September 5-9, 2016, pp. 1-6, 2016, IEEE Computer Society, 978-1-4673-9933-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Fischer 0002, Emanuel Indermühle, Horst Bunke, Gabriel Viehhauser, Michael Stolz |
Ground truth creation for handwriting recognition in historical documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Analysis Systems ![In: The Ninth IAPR International Workshop on Document Analysis Systems, DAS 2010, June 9-11, 2010, Boston, Massachusetts, USA, pp. 3-10, 2010, ACM, 978-1-60558-773-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Noboru Takagi, Kyoichi Nakashima |
Discrete Interval Truth Values Logic and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(3), pp. 219-229, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
set logic, set-valued function, static hazard, regularity, Multiple-valued logic |
40 | Neli Zlatareva |
Truth maintenance systems and their application for verifying Expert System Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 6(1), pp. 67-110, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Verification of Rule-based Systems, Expert Systems Design, Knowledge-based Systems, Belief Revision, Nonmonotonic Reasoning |
40 | Roope Kaivola, Antti Valmari |
Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 361-375, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
40 | Jan Wolenski |
Read about T-Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 199-203, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Claude Panaccio |
Restrictionism: A Medieval Approach Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 229-253, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Stephen Read |
Further Thoughts on Tarski's T-scheme and the Liar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 205-225, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Bradley Armour-Garb |
Read and Indirect Revenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 19-40, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Barry Hartley Slater |
Out of the Liar Tangle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 187-197, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Fabienne Pironet |
William Heytesbury and the Treatment of Insolubilia in Fourteenth-Century England Followed by a Critical Edition of Three Anonymous Treatises De Insolubilibus Inspired by Heytesbury. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 255-333, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | José M. Sagüillo |
On a New Account of the Liar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 149-157, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Laurence Goldstein |
Doubting Thomas: From Bradwardine Back to Anon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 65-85, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | György Serény |
The Liar Cannot Be Solved. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 159-186, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Eugene Mills |
Scheming and Lying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 113-128, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Catarina Dutilh Novaes |
Tarski's Hidden Theory of Meaning: Sentences Say Exactly One Thing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 41-63, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | João P. Martins, Michael Reinfrank (eds.) |
Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![Springer, 3-540-54305-8 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
40 | Antonis C. Kakas, Paolo Mancarella |
Knowledge Assimilation and Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 54-70, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Pierre Tayrac |
ARC: An Extended ATMS Based on Directed CAT-Correct Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 107-124, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Yasushi Fujiwara, Shinichi Honiden |
On Logical Foundations of the ATMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 125-135, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Oskar Dressler, Adam Farquhar |
Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the AMTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 1-16, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Katsumi Inoue |
An Abductive Procedure for the CMS/ATMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 34-53, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Ulrich Junker |
Variations on Backtracking for TMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 17-33, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Peter Jackson, John Pais |
Semantic Accounts of Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Truth Maintenance Systems (ECAI Workshop) ![In: Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings, pp. 155-177, 1990, Springer, 3-540-54305-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
39 | Benjamin Schnieder |
Truth-Making without Truth-Makers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 152(1), pp. 21-46, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Greg Restall |
Truth Values and Proof Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 241-264, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Completeness, Modal Logic, Proof, Sequent Calculus, Intuitionistic Logic, Truth Value |
39 | Roberto Cignoli, Francesc Esteva, Lluís Godo |
On Lukasiewicz Logic with Truth Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 869-875, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
truth-constants, canonical standard completeness, ?ukasiewicz logic |
39 | Laurent Bienvenu, David Doty, Frank Stephan 0001 |
Constructive Dimension and Weak Truth-Table Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 63-72, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
weak truth-table, randomness, extractor, degree, constructive dimension |
39 | Gabriella Pigozzi, Stephan Hartmann 0001 |
Aggregation in multiagent systems and the problem of truth-tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 97, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
doctrinal paradox, truth-tracking, information fusion, group decision-making, judgment aggregation, belief merging |
34 | Amol Ambardekar, Mircea Nicolescu, Sergiu Dascalu |
Ground Truth Verification Tool (GTVT) for Video Surveillance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACHI ![In: Second International Conference on Advances in Computer-Human Interaction, ACHI 2009, February 1-7, 2009, Cancun, Mexico, pp. 354-359, 2009, IEEE, 978-0-7695-3529-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Thomas Strecker, Joost van Beusekom, Sahin Albayrak, Thomas M. Breuel |
Automated Ground Truth Data Generation for Newspaper Document Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pp. 1275-1279, 2009, IEEE Computer Society, 978-0-7695-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki |
Does truth-table of linear norm reduce the one-query tautologies to a random oracle? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(2), pp. 159-180, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68Q15, 03D15 |
34 | John Harding, Carol L. Walker, Elbert A. Walker |
On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-5, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Li Yang, Weihua Huang, Chew Lim Tan |
Semi-automatic Ground Truth Generation for Chart Image Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Analysis Systems ![In: Document Analysis Systems VII, 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings, pp. 324-335, 2006, Springer, 3-540-32140-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Apostolos Antonacopoulos, Dimosthenis Karatzas, David Bridson |
Ground Truth for Layout Analysis Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Analysis Systems ![In: Document Analysis Systems VII, 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings, pp. 302-311, 2006, Springer, 3-540-32140-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Gang Liu, Robert M. Haralick |
Vehicle Ground-Truth Database for the Vertical-View Ft. Hood Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 1342-1345, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Noboru Takagi, Kyoichi Nakashima |
Some Properties of Discrete Interval Truth Valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 30th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings, pp. 101-106, 2000, IEEE Computer Society, 0-7695-0692-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Kathrin Glüer, Peter Pagin |
Relational Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(3), pp. 307-322, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Definite descriptions, Necessity, Proper names, Rigid designators, Modality, Truth, Possible worlds semantics, Logical consequence |
34 | Yinshui Xia, Lun-Yao Wang, Zong-Gang Zhou, Xien Ye, Jianping Hu |
Novel Synthesis and Optimization of Multi-Level Mixed Polarity Reed-Muller Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(6), pp. 895-900, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fixed polarity, mixed polarity, Reed-Muller, truth vector, logic synthesis |
34 | Nuel Belnap |
Under Carnap's Lamp: Flat Pre-semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(1), pp. 1-28, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
emantics, pre-semantics, Carnap, operations, meanings, truth |
34 | Susan Cotterell, Frank Vahid |
A logic block enabling logic configuration by non-experts in sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1925-1928, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
eBlocks, embedded computing systems, sensor networks, boolean logic, truth table |
34 | Guy De Tré, Tom Matthé, Koen Tourné, Bert Callens |
Ranking the Possible Alternatives in Flexible Querying: An Extended Possibilistic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings, pp. 204-211, 2003, Springer, 3-540-20409-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Flexible database querying, extended possibilistic truth values, ranking functions |
33 | Thomas M. Alisi, Marco Bertini 0001, Gianpaolo D'Amico, Alberto Del Bimbo, Andrea Ferracani, Federico Pernici, Giuseppe Serra 0001 |
Arneb: a rich internet application for ground truth annotation of videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 965-966, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
video streaming, video annotation, ground truth |
33 | Xu Tian, Xiaohong Huang, Qiong Sun |
LCGT: A Low-Cost Continuous Ground Truth Generation Method for Traffic Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: Management Enabling the Future Internet for Changing Business and New Computing Services, 12th Asia-Pacific Network Operations and Management Symposium, APNOMS 2009, Jeju, South Korea, September 23-25, 2009, Proceedings, pp. 211-220, 2009, Springer, 978-3-642-04491-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automated, traffic classification, low-cost, ground truth |
33 | Fabiana Lorenzi |
A multiagent knowledge-based recommender approach with truth maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RecSys ![In: Proceedings of the 2007 ACM Conference on Recommender Systems, RecSys 2007, Minneapolis, MN, USA, October 19-20, 2007, pp. 195-198, 2007, ACM, 978-1-59593-730-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coordination among agents, recommender systems, multiagent systems, truth maintenance system |
33 | Benjamin Z. Yao, Xiong Yang, Song Chun Zhu |
Introduction to a Large-Scale General Purpose Ground Truth Database: Methodology, Annotation Tool and Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMCVPR ![In: Energy Minimization Methods in Computer Vision and Pattern Recognition, 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007, Proceedings, pp. 169-183, 2007, Springer, 978-3-540-74195-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ground truth Annotation, Sketch representation, Top-down/Bottom-up Labeling, Benchmark, Image database |
33 | George Barmpalias |
Hypersimplicity and semicomputability in the weak truth table degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(8), pp. 1045-1065, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Hypersimple, Semicomputable, Weak Truth Table Degrees |
33 | Thomas Lukasiewicz |
Probabilistic and Truth-Functional Many-Valued Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 29th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings, pp. 236-241, 1999, IEEE Computer Society, 0-7695-0161-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
many-valued logic programming, logics of probability, truth-functional many-valued logics |
33 | John D. Hobby |
Matching document images with ground truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 1(1), pp. 52-61, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Nelder-Mead algorithm, Optical character recognition, Ground truth |
33 | Yuejun Jiang |
Another View of Autoepistemic Logic and Truth Maintenance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 520-529, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Fixpoint Nonmonotonic reasoning, Minimum Stable sets, Autoepistemic Logic and Truth-maintenance Systems, Knowledge Representation |
33 | Ben Hagag, Reut Tsarfaty |
The Truth, The Whole Truth, and Nothing but the Truth: A New Benchmark Dataset for Hebrew Text Credibility Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2023, Singapore, December 6-10, 2023., pp. 3850-3865, 2023, Association for Computational Linguistics, 979-8-89176-061-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomír Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fischmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathaniel Nystrom, Andreas Zeller |
The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 38(4), pp. 15:1-15:20, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Simon Dixon, Dan Tidhar, Emmanouil Benetos |
The Temperament Police: The Truth, the Ground Truth, and Nothing but the Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIR ![In: Proceedings of the 12th International Society for Music Information Retrieval Conference, ISMIR 2011, Miami, Florida, USA, October 24-28, 2011, pp. 281-286, 2011, University of Miami, 978-0-615-54865-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
33 | João P. Martins |
The Truth, the Whole Truth, and Nothing But the Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Mag. ![In: AI Mag. 11(5), pp. 7-25, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
32 | Amitava Dutta, Sabyasachi Mitra |
Integrating Heuristic Knowledge and Optimization Models for Communications Network Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 999-1017, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
communication network design, heuristic design knowledge, TMS, dependency-directed backtracking mechanism, hybrid tool, modular structure, incremental refinement, truth maintenance, CAD, knowledge based systems, decision support systems, computer networks, telecommunications computing, optimization models, blackboard, blackboard architecture, justification, topological design, truth maintenance system, computer communication networks |
29 | Sriram Sankaranarayanan 0001, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta |
Dynamic inference of likely data preconditions over predicates by tree learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 295-306, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
machine learning, verification, decision trees, sat, software specification |
29 | Ce Liu 0001, William T. Freeman, Edward H. Adelson, Yair Weiss |
Human-assisted motion annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Xunwei Zhou |
Mutually-Inversistic Logic with Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 346-352, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Susana Muñoz-Hernández, José Manuél Gómez-Pérez |
Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 5-6, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Stefan Agne, Andreas Dengel 0001, Bertin Klein |
Evaluating SEE - A Benchmarking System for Document Page Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2-Volume Set, 3-6 August 2003, Edinburgh, Scotland, UK, pp. 634-, 2003, IEEE Computer Society, 0-7695-1960-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Speculative Beats Conservative Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 150-165, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin |
Correction to "An equivalence between relational database dependencies and a fragment of propositional logic". ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 34(4), pp. 1016-1018, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
29 | Marco Canini, Wei Li 0009, Andrew W. Moore 0002, Raffaele Bolla |
GTVS: Boosting the Collection of Application Traffic Ground Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TMA ![In: Traffic Monitoring and Analysis, First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings, pp. 54-63, 2009, Springer, 978-3-642-01644-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Tiziana D'Orazio, Marco Leo, Nicola Mosca, Paolo Spagnolo, Pier Luigi Mazzeo |
A Semi-automatic System for Ground Truth Generation of Soccer Video Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2009, 2-4 September 2009, Genova, Italy, pp. 559-564, 2009, IEEE Computer Society, 978-0-7695-3718-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Chao Li, Ying Sun 0001 |
Nonrigid Registration of Myocardial Perfusion MRI Using Pseudo Ground Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I, pp. 165-172, 2009, Springer, 978-3-642-04267-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Ningning Zhou, Zhengxu Zhao, Yulong Deng |
A New Evaluation Method Based on Measuring of Medium Truth Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2464-2469, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 5422 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|