The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for truth with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1939-1959 (16) 1960-1964 (16) 1966-1971 (17) 1972-1976 (21) 1977-1978 (16) 1979-1981 (15) 1982-1984 (16) 1985-1986 (25) 1987 (15) 1988 (35) 1989 (29) 1990 (50) 1991 (39) 1992 (38) 1993 (35) 1994 (42) 1995 (35) 1996 (55) 1997 (53) 1998 (55) 1999 (74) 2000 (81) 2001 (114) 2002 (132) 2003 (136) 2004 (206) 2005 (240) 2006 (289) 2007 (317) 2008 (373) 2009 (285) 2010 (109) 2011 (82) 2012 (128) 2013 (117) 2014 (121) 2015 (156) 2016 (163) 2017 (166) 2018 (175) 2019 (235) 2020 (228) 2021 (319) 2022 (232) 2023 (254) 2024 (67)
Publication types (Num. hits)
article(2194) book(13) data(17) incollection(53) inproceedings(3105) phdthesis(32) proceedings(8)
Venues (Conferences, Journals, ...)
CoRR(391) Synth.(126) J. Philos. Log.(90) Stud Logica(67) ECIL(62) Notre Dame J. Formal Log.(61) CVPR(49) TTO(49) J. Symb. Log.(47) ICDAR(45) Rev. Symb. Log.(43) IEEE Trans. Pattern Anal. Mach...(40) ISBI(38) MICCAI (1)(38) ISMVL(34) ICCV(33) More (+10 of total 1572)
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
94Josep Maria Font Taking Degrees of Truth Seriously. Search on Bibsonomy Stud Logica The full citation details ... 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
93Noboru Takagi Some Properties of Logic Functions over Multi-interval Truth Values. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
81Yaroslav Shramko, Heinrich Wansing Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment
80Nuel Belnap Truth Values, Neither-true-nor-false, and Supervaluations. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF neither-true-nor-false, non-denoting terms, future tense, vagueness, paradoxes, truth values
74João Marcos 0001 What is a Non-truth-functional Logic? Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Abstract logics, truth-functionality, formal semantics
74Li Zou, Wenjiang Li, Yang Xu 0001 Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making. Search on Bibsonomy ISNN (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lattice implication algebra, Linguistic truth-valued intuitionistic propositional logic, Decision making
63Yaoyao 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 J. Signal Process. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multi-observer, STAPLE, Segmentation, Specificity, Validation, Sensitivity, Precision, Ground truth, Bayesian decision
63Itala M. Loffredo D'Ottaviano, Carlos Hifume Peircean Pragmatic Truth and da Costa's Quasi-Truth. Search on Bibsonomy Model-Based Reasoning in Science, Technology, and Medicine The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
60Zhengjiang Wu, Xin Liu 0048, Li Zou, Yang Xu 0001 Transformation of Linguistic Truth Values During the Sensor Evaluation. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Linguistic truth value, Standard linguistic truth value, Sensor evaluation
57Jorma K. Mattila On Models in Fuzzy Propositional Logic. Search on Bibsonomy KES (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fuzzy Propositional Logic, Fuzzy Truth-values, Model, Modifier
57Lon A. Berk The Liar, Context and Logical Form. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF liar paradox, context, truth
51Stephen Read The Truth Schema and the Liar. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Terence Parsons Comments on Stephen Read's "The Truth-Schema and the Liar". Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Gyula Klima Logic Without Truth. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Greg Restall Models for Liars in Bradwardine's Theory of Truth. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Didier 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 Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
51Cees Witteveen A Skeptical Semantics for Truth Maintenance. Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
51Laura Giordano 0001, Alberto Martelli Truth Maintenance Systems and Belief Revision. Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
50GuoJun Wang, QiaoLin Duan Theory of (n) truth degrees of formulas in modal logic and a consistency theorem. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 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
50Roy T. Cook What is a Truth Value And How Many Are There? Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Absolute Generality, Indefinite Extensibility, Liar Paradox, Revenge Problem, Semantics, Set Theory, Truth Value
50Jun Li, Guojun Wang Theory of truth degrees of propositions in the logic system Ln*. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF truth degree, approximate reasoning, similarity degree
50Guy 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 FQAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Flexible database querying, extended possibilistic truth values, conjunctive aggregation
46Zheng Pei 0001 The Algebraic Properties of Linguistic Value "Truth" and Its Reasoning. Search on Bibsonomy IFSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Hiroaki Kikuchi, Noboru Takagi de Morgan Bisemilattice of Fuzzy Truth Value. Search on Bibsonomy ISMVL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Masao Mukaidono Several Extensions of Truth Values in Fuzzy Logic. Search on Bibsonomy ISMIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Francesc 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 Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness
44Clifford Conley Owens III, T. M. Murali 0001, Naren Ramakrishnan Capturing truthiness: mining truth tables in binary datasets. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF independence models, levelwise algorithms, truth tables
44Sabine Randriamasy A set-based benchmarking method for address bloc location on arbitrarily complex grey level images. Search on Bibsonomy ICDAR The full citation details ... 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
43Truth Lumor, Mirja Pulkkinen, Yolande E. Chan, Ari P. Hirvonen Exploring the Renewal of IT-enabled Resources from a Structural Perspective. Search on Bibsonomy Commun. Assoc. Inf. Syst. The full citation details ... 2023 DBLP  BibTeX  RDF
43Truth 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 Scand. J. Inf. Syst. The full citation details ... 2021 DBLP  BibTeX  RDF
43Truth Lumor, Ari P. Hirvonen, Mirja Pulkkinen The Role of Enterprise Architecture in Building and Sustaining Information Technology - Enabled Organizational Agility. Search on Bibsonomy HICSS The full citation details ... 2021 DBLP  BibTeX  RDF
43Truth Lumor, Mirja Pulkkinen, Ari P. Hirvonen The Actual Adoption and Use of Mobile Apps: The Case of a Higher Education Context. Search on Bibsonomy AMCIS The full citation details ... 2020 DBLP  BibTeX  RDF
43Truth Lumor Factors that Influence Information Technology Use during Post-Implementation: a literature Review. Search on Bibsonomy ECIS The full citation details ... 2019 DBLP  BibTeX  RDF
43Truth Lumor Investigating the Structural Properties of an IT-Enabled Resource. Search on Bibsonomy SCIS The full citation details ... 2019 DBLP  BibTeX  RDF
43Truth Lumor, Eng Chew, Asif Qumer Gill Exploring the Role of Enterprise Architecture in IS-enabled Ot: An EA Principles Perspective. Search on Bibsonomy EDOC Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
40Andreas Fischer 0002, Emanuel Indermühle, Horst Bunke, Gabriel Viehhauser, Michael Stolz Ground truth creation for handwriting recognition in historical documents. Search on Bibsonomy Document Analysis Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
40Noboru Takagi, Kyoichi Nakashima Discrete Interval Truth Values Logic and Its Application. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF set logic, set-valued function, static hazard, regularity, Multiple-valued logic
40Neli Zlatareva Truth maintenance systems and their application for verifying Expert System Knowledge Bases. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Verification of Rule-based Systems, Expert Systems Design, Knowledge-based Systems, Belief Revision, Nonmonotonic Reasoning
40Roope Kaivola, Antti Valmari Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
40Jan Wolenski Read about T-Scheme. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Claude Panaccio Restrictionism: A Medieval Approach Revisited. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Stephen Read Further Thoughts on Tarski's T-scheme and the Liar. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Bradley Armour-Garb Read and Indirect Revenge. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Barry Hartley Slater Out of the Liar Tangle. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Fabienne 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 Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40José M. Sagüillo On a New Account of the Liar. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Laurence Goldstein Doubting Thomas: From Bradwardine Back to Anon. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40György Serény The Liar Cannot Be Solved. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Eugene Mills Scheming and Lying. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Catarina Dutilh Novaes Tarski's Hidden Theory of Meaning: Sentences Say Exactly One Thing. Search on Bibsonomy Unity, Truth and the Liar The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40João P. Martins, Michael Reinfrank (eds.) Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
40Antonis C. Kakas, Paolo Mancarella Knowledge Assimilation and Abduction. Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Pierre Tayrac ARC: An Extended ATMS Based on Directed CAT-Correct Resolution. Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Yasushi Fujiwara, Shinichi Honiden On Logical Foundations of the ATMS. Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Oskar Dressler, Adam Farquhar Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the AMTS. Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Katsumi Inoue An Abductive Procedure for the CMS/ATMS. Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Ulrich Junker Variations on Backtracking for TMS. Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Peter Jackson, John Pais Semantic Accounts of Belief Revision. Search on Bibsonomy Truth Maintenance Systems (ECAI Workshop) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39Benjamin Schnieder Truth-Making without Truth-Makers. Search on Bibsonomy Synth. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Greg Restall Truth Values and Proof Theory. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Completeness, Modal Logic, Proof, Sequent Calculus, Intuitionistic Logic, Truth Value
39Roberto Cignoli, Francesc Esteva, Lluís Godo On Lukasiewicz Logic with Truth Constants. Search on Bibsonomy IFSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF truth-constants, canonical standard completeness, ?ukasiewicz logic
39Laurent Bienvenu, David Doty, Frank Stephan 0001 Constructive Dimension and Weak Truth-Table Degrees. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF weak truth-table, randomness, extractor, degree, constructive dimension
39Gabriella Pigozzi, Stephan Hartmann 0001 Aggregation in multiagent systems and the problem of truth-tracking. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF doctrinal paradox, truth-tracking, information fusion, group decision-making, judgment aggregation, belief merging
34Amol Ambardekar, Mircea Nicolescu, Sergiu Dascalu Ground Truth Verification Tool (GTVT) for Video Surveillance Systems. Search on Bibsonomy ACHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Thomas Strecker, Joost van Beusekom, Sahin Albayrak, Thomas M. Breuel Automated Ground Truth Data Generation for Newspaper Document Images. Search on Bibsonomy ICDAR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki Does truth-table of linear norm reduce the one-query tautologies to a random oracle? Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 68Q15, 03D15
34John Harding, Carol L. Walker, Elbert A. Walker On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Li Yang, Weihua Huang, Chew Lim Tan Semi-automatic Ground Truth Generation for Chart Image Recognition. Search on Bibsonomy Document Analysis Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Apostolos Antonacopoulos, Dimosthenis Karatzas, David Bridson Ground Truth for Layout Analysis Performance Evaluation. Search on Bibsonomy Document Analysis Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Gang Liu, Robert M. Haralick Vehicle Ground-Truth Database for the Vertical-View Ft. Hood Imagery. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Noboru Takagi, Kyoichi Nakashima Some Properties of Discrete Interval Truth Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Kathrin Glüer, Peter Pagin Relational Modality. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Definite descriptions, Necessity, Proper names, Rigid designators, Modality, Truth, Possible worlds semantics, Logical consequence
34Yinshui 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 J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fixed polarity, mixed polarity, Reed-Muller, truth vector, logic synthesis
34Nuel Belnap Under Carnap's Lamp: Flat Pre-semantics. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF emantics, pre-semantics, Carnap, operations, meanings, truth
34Susan Cotterell, Frank Vahid A logic block enabling logic configuration by non-experts in sensor networks. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2005 DBLP  DOI  BibTeX  RDF eBlocks, embedded computing systems, sensor networks, boolean logic, truth table
34Guy De Tré, Tom Matthé, Koen Tourné, Bert Callens Ranking the Possible Alternatives in Flexible Querying: An Extended Possibilistic Approach. Search on Bibsonomy ISCIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Flexible database querying, extended possibilistic truth values, ranking functions
33Thomas 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 ACM Multimedia The full citation details ... 2009 DBLP  DOI  BibTeX  RDF video streaming, video annotation, ground truth
33Xu Tian, Xiaohong Huang, Qiong Sun LCGT: A Low-Cost Continuous Ground Truth Generation Method for Traffic Classification. Search on Bibsonomy APNOMS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF automated, traffic classification, low-cost, ground truth
33Fabiana Lorenzi A multiagent knowledge-based recommender approach with truth maintenance. Search on Bibsonomy RecSys The full citation details ... 2007 DBLP  DOI  BibTeX  RDF coordination among agents, recommender systems, multiagent systems, truth maintenance system
33Benjamin 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 EMMCVPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ground truth Annotation, Sketch representation, Top-down/Bottom-up Labeling, Benchmark, Image database
33George Barmpalias Hypersimplicity and semicomputability in the weak truth table degrees. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Hypersimple, Semicomputable, Weak Truth Table Degrees
33Thomas Lukasiewicz Probabilistic and Truth-Functional Many-Valued Logic Programming. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF many-valued logic programming, logics of probability, truth-functional many-valued logics
33John D. Hobby Matching document images with ground truth. Search on Bibsonomy Int. J. Document Anal. Recognit. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Nelder-Mead algorithm, Optical character recognition, Ground truth
33Yuejun Jiang Another View of Autoepistemic Logic and Truth Maintenance System. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Fixpoint Nonmonotonic reasoning, Minimum Stable sets, Autoepistemic Logic and Truth-maintenance Systems, Knowledge Representation
33Ben 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 EMNLP (Findings) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Stephen 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 ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  BibTeX  RDF
33Simon Dixon, Dan Tidhar, Emmanouil Benetos The Temperament Police: The Truth, the Ground Truth, and Nothing but the Truth. Search on Bibsonomy ISMIR The full citation details ... 2011 DBLP  BibTeX  RDF
33João P. Martins The Truth, the Whole Truth, and Nothing But the Truth. Search on Bibsonomy AI Mag. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
32Amitava Dutta, Sabyasachi Mitra Integrating Heuristic Knowledge and Optimization Models for Communications Network Design. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
29Sriram Sankaranarayanan 0001, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta Dynamic inference of likely data preconditions over predicates by tree learning. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF machine learning, verification, decision trees, sat, software specification
29Ce Liu 0001, William T. Freeman, Edward H. Adelson, Yair Weiss Human-assisted motion annotation. Search on Bibsonomy CVPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Xunwei Zhou Mutually-Inversistic Logic with Uncertainty. Search on Bibsonomy FSKD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Susana Muñoz-Hernández, José Manuél Gómez-Pérez Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains. Search on Bibsonomy OTM Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Stefan Agne, Andreas Dengel 0001, Bertin Klein Evaluating SEE - A Benchmarking System for Document Page Segmentation. Search on Bibsonomy ICDAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Speculative Beats Conservative Justification. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Yehoshua 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 J. ACM The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
29Marco Canini, Wei Li 0009, Andrew W. Moore 0002, Raffaele Bolla GTVS: Boosting the Collection of Application Traffic Ground Truth. Search on Bibsonomy TMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Tiziana 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 AVSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Chao Li, Ying Sun 0001 Nonrigid Registration of Myocardial Perfusion MRI Using Pseudo Ground Truth. Search on Bibsonomy MICCAI (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Ningning Zhou, Zhengxu Zhao, Yulong Deng A New Evaluation Method Based on Measuring of Medium Truth Scale. Search on Bibsonomy ICYCS The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license