A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A logic-theoretic classifier called Circle
ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004.
Preserved Fulltext
We present a novel classifier based upon principles of logic-theoretic Boolean function minimization. The classifier, called Circle, recursively produces a set of implicants (or rules). ...
We have created a full implementation of Circle using Java as a host language and Oracle database backend. ...
From this, we were inspired to create a logictheoretic classifier called circle (named for the task). ...
doi:10.1109/icarcv.2004.1468987
dblp:conf/icarcv/DalkilicS04
fatcat:k65s6nxihbecjhobrpxg6725vy
Intuitionistic Modal Logic and Applications (IMLA 2008)
2011
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Theoretical and methodological issues center around the question of how the proof-theoretic strengths of constructive logics can be best combined with the model-theoretic strengths of modal logics. ...
Previous workshops called IMLA were held as part of the and in this volume we have the product of that call for papers. ...
Kojima and Igarashi denote their modality by a circle, and think of it as the "next" operator in temporal logic. ...
doi:10.1016/j.ic.2011.10.004
fatcat:txwwxspqqbgini6ckefaqd7swa
Circle
2005
Proceedings of the 2005 ACM symposium on Applied computing - SAC '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
We present Circle, a classification algorithm based on the priciples of boolean function minimmization. This classification process uses a recursive method to generate a set of impli- ...
We will conclude here by discussing one more computational detail, then examine some of the more appealing logic-theoretic aspects of Circle. ...
We create a grid called a classifier-map or C-map. A C-map is shown in Fig. 2(a) . The C-map is rectangular collection of square cells. ...
doi:10.1145/1066677.1066801
dblp:conf/sac/DalkilicS05a
fatcat:7apaovbwmraxtbtvzmqcqwetce
Page 6744 of Mathematical Reviews Vol. , Issue 98K
[page]
1998
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
on the “rational circle”, and the random tournament). ...
Imprimitive examples had been classified earlier by the author [in Logic colloquium '85 (Orsay, 1985), 67-88, North-Holland, Amsterdam, 1987; MR 88d:03074]. ...
Discovering Classification Rules Using variable-Valued Logic System VL 1
1973
International Joint Conference on Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The paper presents a set-theoretical definition of the classification problem, and then discusses and illustrates by examples the application of the variable-valued logic system VL. to the synthesis of ...
minimal (or simplest) classification rules under cost (or simplicity) functionals designed by a user from available criteria. ...
Introduction Paper introduced a concept of a variable-valued logic (VL) system and defined a particular VL system called VL1 . ...
dblp:conf/ijcai/Michalski73
fatcat:skjxb6tpdzbivhj7wecet7ffju
Off-line Recognition of Unconstrained Handwritten Numerals Using Fuzzy Hough Transform
2009
˜Al-œRafidain journal for computer sciences and mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
A fuzzy system for handwritten numerals recognition using a fuzzy Hough transform technique is presented. ...
A data base of 480 patterns of unconstrained (free) handwritten numerals was used in the proposed system. ...
Fuzzy logic techniques have been used in both decision theoretic approach [3, 4] , as well as structural approach [5] . ...
doi:10.33899/csmj.2009.163834
fatcat:abhfqhz2zvbjvnbcjulz6rhd3q
Robust geometric computation based on the principle of independence
2011
Nonlinear Theory and Its Applications IEICE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We present an approach to robust geometric algorithms, which we call the principle of independence. ...
Then, it is the logical consequence that the vertices with small white circles in Fig. 7(b) , should be above Π, and the vertices with small black circles should be below Π; otherwise black circles or ...
white circles constitute a disconnected graph. ...
doi:10.1587/nolta.2.32
fatcat:j6rpydchxre3nhik4cbaohqjfy
Understanding the Complexity of Journalistic Practices: the Case of Xinhua
2007
Networking knowledge. Journal of the MeCCSA-PGN
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The major theme of this research (2003-2006) is to conceptualize the change of Xinhua over the last two-and-a-half decades in the context of globalization. ...
Many scholars in the two fields have turned to the globalization controversy for a conceptual framework, which itself has been confused by various versions of the global/local polarization. ...
Fuzzy thinking of change can be expressed in the 'inexact oval': The adjective 'Fuzzy' meant that the figure is to some degree a circle and to some degree not a circle, but more a circle than not. ...
doi:10.31165/nk.2007.11.15
fatcat:nm3yzz6zvnf7zioxenqpz2izdu
A Fully Formalized Theory for Describing Visual Notations
[chapter]
1998
Visual Language Theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
The theory's application is illustrated with a specification of entity-relationship diagrams. ...
Description logic theory from the AI community is used to combine topology and spatial relations. ...
Description logic theory can be based on model-theoretic semantics appealing to first-order logic or using a compositional axiomatization with set theory. ...
doi:10.1007/978-1-4612-1676-6_9
fatcat:xjimxtf2tjh5zmzbxw2kjpkmuq
A General Framework for Shape Similarity
2011
Interdisciplinary Workshop The Shape of Things
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
These transformations, called global similarities, are usually motivated by arguments external to the starting system, and can be intertwined to generate a prolific family of similarity relations. ...
Finally, the approach developed in this paper sets the basis for a general study of similarity as a group of transformations generated by (primitive) global similarity relations. ...
The authors would also like to thank the anonymous reviewers for their feedback, and especially Dirk Walther for detailed comments on a draft of this paper. ...
dblp:conf/shapes/BorgoK11
fatcat:u4spxo42gjfwhhqlget2ppu4de
Beyond Transcendentalism and Naturalization: A Categorial Framework for the Semiotic Phenomenology
2019
International Journal of Philosophy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This is possible in virtue of a relational reading of phenomenological ontology, where the theoretical core is the following: a sign-driven synthesis of the object, occurring within the onto-logical sphere ...
approach of phenomenology to the categorial study with the "in the third person" objective approach distinctive of semiotics, sharing in principle with the former a common pre-logical and hence ante-predicative ...
A subobject classifier ( , f A B → there is a unique morphism " : f D → Ω called the classifying map of f . ...
doi:10.11648/j.ijp.20190703.14
fatcat:s4mkjkd3lrhn7j43zzmo2uo36q
Page 5 of MIND Vol. 31, Issue 121
[page]
1922
MIND
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Since knowing is a mode of experience (ein Erlebnis), epistemology cannot wholly dispense with psycho- logical methods. ...
These differences would, for example, be not inappropriately classified under the three heads: (a) cog- nitive, (b) practical, and (c) wsthetic. ...
Schizophrenia, personal constructs, and Riedel's constructs
1972
Journal of Abnormal Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In addition, Riedel's use of personal construct theory draws criticism for the logical inadequacies shown as he tries to use a standard personality theory to isolate the correlates of psychosis. ...
Unwarranted application of the disease model as a paradigm for studying undesirable conduct produces a series of strategy errors: weak explication of linkages between theory and measurements, noninclusion ...
What is the theoretical origin of this hypothesis? ...
doi:10.1037/h0032728
fatcat:nflok6gaufffzicstjoyb3cbca
The RedPRL Proof Assistant (Invited Paper)
2018
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Notably, RedPRL implements a two-level type theory, allowing an extensional, proof-irrelevant notion of exact equality to coexist with a higher-dimensional proof-relevant notion of paths. ...
RedPRL is an experimental proof assistant based on Cartesian cubical computational type theory, a new type theory for higher-dimensional constructions inspired by homotopy type theory. ...
logic of RedPRL. ...
doi:10.4204/eptcs.274.1
fatcat:bycs5desrzfatki2mfj66ff5wu
Euclid's diagrammatic logic and cognitive science
2012
European Summer School in Logic, Language and Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The reasoning practice the text embodied is essentially diagrammatic, and this aspect of it has been captured formally in a logical system termed Eu [2, 3]. ...
In this paper, we review empirical and theoretical works in mathematical cognition and the psychology of reasoning in the light of Eu. ...
In [4] Manders challenges the received view that the Elements is flawed because its proofs sometimes call upon geometric intuition rather than logic. ...
dblp:conf/esslli/HamamiM12
fatcat:nqyh63u62zfs7pqzgaxqxlw5cy
« Previous
Showing results 1 — 15 out of 78,823 results