Filters








78,823 Hits in 4.2 sec

A logic-theoretic classifier called Circle

M. Dalkilic, A. Sengupta
ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004.  
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)

Valeria de Paiva, Brigitte Pientka
2011 Information and Computation  
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

Mehmet Dalkilic, Arijit Sengupta
2005 Proceedings of the 2005 ACM symposium on Applied computing - SAC '05  
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  
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

Ryszard S. Michalski
1973 International Joint Conference on Artificial Intelligence  
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

Mohammed Khedher, Ghayda Al-Talib, Shayma Al mashhadany
2009 ˜Al-œRafidain journal for computer sciences and mathematics  
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

Kokichi Sugihara
2011 Nonlinear Theory and Its Applications IEICE  
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

Dr Xin Xin
2007 Networking knowledge. Journal of the MeCCSA-PGN  
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]

Volker Haarslev
1998 Visual Language Theory  
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

Stefano Borgo, Oliver Kutz
2011 Interdisciplinary Workshop The Shape of Things  
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

Martina Properzi
2019 International Journal of Philosophy  
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  
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

James C. Mancuso, Theodore R. Sarbin
1972 Journal of Abnormal Psychology  
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)

Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper, Jonathan Sterling
2018 Electronic Proceedings in Theoretical Computer Science  
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

Yacin Hamami, John Mumma
2012 European Summer School in Logic, Language and Information  
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