Mostrando recursos 121 - 140 de 171,613

  1. Fast Fuzzy C-Means Algorithm Incorporating Convex Combination of Bilateral Filter with Contrast Limited Adaptive Histogram Equalization

    K. Kadambavanama; T. Senthilnathanb
    Fast Generalized Fuzzy c-means clustering algorithm (FGFCM) and its variants are effective methods for image clustering. Even though the incorporation of local spatial information to the objective function reduces their sensitivity to noise to some extent, they are still lack behind in suppressing the effect of noise and outliers on the edges and tiny areas of input image. This article proposes an algorithm to mitigate the disadvantage of FGFCM and its variants and enhances the performance of clustering. The experiments on the synthetic and real images are presented, to exhibit the improvements in the image clustering due to the proposed...

  2. Evolved Reversible Cascades Realized on the CAM-Brain Machine (CBM)

    Andrzej Buller; Marek Perkowski
    This paper presents a method of automated synthesis of reversible cascades in a special cellular automaton called CAM-Brain Machine (CBM). Reversible circuits are investigated because they are expected to dissipate much less energy than their irreversible counterparts. It is believed that one day they will be implemented as nano-scale 3-dimensional chips. A circuit is reversible if the number of its inputs equals the number of its outputs and there is a one-to-one mapping between spaces of input vectors and output vectors. This paper provides (1) a brief introduction to reversible logic concentrating on definitions and properties of the Feynman, Toffoli,...

  3. Creation of Sprites – A New Perspective

    Sheetal Bandekar; Belgaum Karnataka; Vishal Kerkar; Belgaum Karnataka
    In computer graphics the term ‗sprite ‘ is a two dimensional picture that is incorporated into a large scene such as a video game. ‗Pixel art ‘ or ‗Sprite art ‘ deals with creation of sprites. Using the concepts of mathematics especially plane geometry and trigonometry, this research paper gives developers a new logic to create sprites that can be used in a 2D video game to create characters, labels, links, background image, circle and a brick wall. With the proposed latest technology and the new approach towards the creation of sprites a game by name ―SCRAPBOOK ‖ has been...

  4. using Redundant Binary Technique

    L. Sriharish; M. Kamaraju Phd
    The work mainly deals with in improving multiplication process by using Redundant Binary Technique. By implementing the existing method of Multiplication and Accumulation structure in Real time applications, occurs some difficulties like some hard multiples, and getting partial products in multiplication stage, it was not useful for higher radix values. The covalent redundant binary booth encoding algorithm overcomes the hard multiple generation problem and it reduces the partial products. The proposed algorithm dumped into the Booth encoding partial product generation stage. In this stage first step is to change the normal binary to redundant binary to make simple to avoid...

  5. $rec.titulo


    multi-agent systems, machine learning, artificial intelligence, reinforcement learning, optimal control, Q-learning, fuzzy logic, fuzzy reinforcement learning, RoboCup soccer simulation

  6. POLARIZED PSEUDOKRONECKER SYMMETRY AND SYNTHESIS OF x LATTICE DIAGRAMS

    Marek A Perkowski
    Layoutdriven logic synthesis combines logical and physical design to minimize in terconnect length for speed noise and powercritical applications The lattice diagram synthesis approach constructs for combinational functions regular lat tices with only local connections and input buses Lattice diagrams are directly mappable to hardware without additional layout steps This synthesis approach decomposes functions symmetrically using Shannon and Davio expansions and by repeating decomposition variables when necessary It has been proven that lattice diagrams can always be constructed in this manner independent of input variable ordering and expansion types applied Lattice size however is quite sensitive to these parameters This...

  7. Performance Analysis of Full Adder Circuit using Improved Feed through Logic

    Sandeep Sangwan; Jyoti Kedia
    In this paper performance analysis of full adder circuit has been carried out using improved feedthrough logic design technique which is a novel design technique. This technique is an improvement over already existing FTL. The circuit has been designed using existing high speed feedthrough logic and improved feedthrough logic in both 90nm and 180nm technology using cadence tools and a comparison has been done for power and delay. full adder circuit using improved FTL dissipates 37.9 % less than full adder using high speed FTL but delay is increased by 15.13 % but the overall power delay product is reduced...

  8. Asian Business Consortium | EI Page 15 Development of Computer Aided Interaction Diagram for Bi-axially Loaded Column Md. Alvee Islam Navid 1

    Syed Jamal; Uddin Ahmed
    November 2015. Biaxial bending means the column is carrying bending by one or both axis with axial load and with calculations it is possible to put those unique values into a pattern to make an interaction diagram with balanced failure zone, tension failure zone and finally compression failure zone of a short or slender column. By using programming it is possible to make the calculations in seconds. The method is to make functions and calling them to solve certain specific values to generate the diagram pattern. The outcome was diagram data generating application having the ability to combine programming and...

  9. Fuzzy to SQL Conversion using Gefred Model with the help of MATLAB


    For Many Years, achieving unambiguous knowledge has been turned to a serious challenge for human being. The aim of this paper is to emphasize situation when classical {true, false} logic is not adequate for data selection and data classification. Linguistic expression like: high salary, young etc are very often used in life and in statistics. The goal of this paper is brief study of fuzzy logic and sets and how to make it suitable for database queries and classification tasks. Fuzzy approach is introduced with usual relational database model to handle linguistic queries. The purposed fuzzy approach provides flexibility when...

  10. U.: Topicality in logic-based ontologies

    Chiara Del Vescovo; Bijan Parsia; Uli Sattler
    Abstract In this paper we examine several forms of modularity in logics as a basis for various conceptions of the topical structure of an ontology. Intuitively, a topic is a coherent fragment of the subject matter of the ontology. Different topics may play different roles: e.g., the main topic (or topics), side topics, or subtopics. If, at the lowest level, the subject matter of an ontology is characterized by the set of concepts of the on-tology, a topic is a “coherent ” subset of those concepts. Different forms of modularity induce different, more or less cognitively helpful, notions of coherence...

  11. Typical Industrial Control Loop Block Diagram


    Intersil Corporation is a global technology leader specializing in the design and manufacture of high performance analog semiconductors. Built on a solid foundation, with many years of analog experience, Intersil is committed to developing leadership solutions for the Industrial market. Over the past several years, Intersil has heavily invested and will continue to invest in robust technology capable of supporting the demanding requirements of the Industrial market. Intersil’s proprietary 40V precision silicon-on-insulator (SOI) bipolar process technology, developed, specifically to target the Industrial market and the growing portfolio of leadership precision amplifiers, are excellent examples of this commitment. Precision data acquisition...

  12. A proof-theoretic view on scheduling in concurrency

    Emmanuel Beffara
    Abstract. This paper elaborates on a new approach of the question of the proof-theoretic study of concurrent interaction called “proofs as schedules”. Observing that proof theory is well suited to the description of confluent systems while concurrency has non-determinism as a fundamental feature, we develop a correspondence where proofs provide what is needed to make concurrent systems confluent, namely scheduling. In our core logical system (a variant of multiplicative linear logic), processes and schedulers appear explicitly as proofs in different fragments of the proof language and cut elimination between them does correspond to execution of a concurrent system. This separation...

  13. LATTICE DIAGRAMS USING REEDMULLER LOGIC

    Yang Xu
    Universal Akers Arrays UAA allow to realize arbitrary Boolean function directly in cellular layout but are very areainecient This paper presents an extension of UAAs called Lattice Diagrams in which Shannon Positive and Negative Davio expansions are used in nodes An ecient method of mappig arbitrary multioutput incompletely speci ed functions to them is presented We prove that with these extensions our concept of regular layout becomes not only feasible but also ecient Regular layout is a fundamental concept in VLSI design which can have applications to submicron design and designing new negrain FPGAs INTRODUCTION Akers dened Universal Akers Arrays UAA...

  14. © Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2013 Smart Communication Adviser for Remote Users

    Marek Penhaker; Ondrej Krejcar; Martin Cerny; Miroslav Behan; Pavlina Penhakerova
    Abstract. In present days there are many innovations that improve communication for the remote user’s application. There is necessary to adapt user interface in content of application and age experience of user. There is presented the concept for applicable and spatially smart established applications focused on utilization and emphasis of information implemented with fuzzy logic recognition.

  15. Release Date: 9-19-1994 I Publisher: Misconceptions Trust


    Abstract: Mathematics is a subject which is based on formal logic and hence uses formal symbols. This fact is often veiled by the emphasis generally placed in school, on the technical aspects of Mathematics. And no wonder, that generally, teachers refrain from introducing the logical aspects of Mathematics in class — it is very difficult for most students. We are satisfied if the students show — using SKEMP'S notions — (Skemp 5) an instrumental understanding rather than a relational understanding.

  16. Design & Implementation of 8x8 Multiplier Unit using MT-CMOS Technique

    Heena Naaz; Md. Muqtar Ahmed; Panjala Kavitha
    This paper deals with various multipliers implemented using CMOS logic style and their comparative analysis on the basis of power and PDP (Power delay product). A variety of multipliers have been reported in the literature but power dissipation and area used by these multiplier circuits are relatively large. This paper proposed a high performance and power efficient 8x8 multiplier design based on Vedic mathematics using CMOS logic style. Power consumption plays an imperative role specifically in the field of VLSI today, every designer be it an analog circuit or a digital circuit designer is concerned about the amount of power...

  17. DOI 10.1007/s11787-013-0085-x Logica Universalis What do Freyd’s Toposes Classify?

    Peter Johnstone
    Abstract. We describe a method for presenting (a topos closely related to) either of Freyd’s topos-theoretic models for the independence of the axiom of choice as the classifying topos for a geometric theory. As an application, we show that no such topos can admit a geometric morphism from a two-valued topos satisfying countable dependent choice.

  18. Alternating vector addition systems with states

    Jean-baptiste Courtois; Sylvain Schmitz
    Abstract. Alternating vector addition systems are obtained by equip-ping vector addition systems with states (VASS) with ‘fork ’ rules, and provide a natural setting for infinite-arena games played over a VASS. Initially introduced in the study of propositional linear logic, they have more recently gathered attention in the guise of multi-dimensional en-ergy games for quantitative verification and synthesis. We show that establishing who is the winner in such a game with a state reachability objective is 2-ExpTime-complete. As a further appli-cation, we show that the same complexity result applies to the problem of whether a VASS is simulated by a...

  19. Training factor graphs with reinforcement learning for efficient map inference

    Michael Wick; Khashayar Rohanimanesh; Sameer Singh; Andrew Mccallum
    Large, relational factor graphs with structure defined by first-order logic or other languages give rise to notoriously difficult inference problems. Because unrolling the structure necessary to represent distributions over all hypotheses has exponen-tial blow-up, solutions are often derived from MCMC. However, because of lim-itations in the design and parameterization of the jump function, these sampling-based methods suffer from local minima—the system must transition through lower-scoring configurations before arriving at a better MAP solution. This pa-per presents a new method of explicitly selecting fruitful downward jumps by leveraging reinforcement learning (RL). Rather than setting parameters to maxi-mize the likelihood of the...

  20. Accelerating a Virtual Ecology Model with FPGAs

    Julien Lamoureux; Tony Field; Wayne Luk
    Abstract—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workbench (VEW); an existing tool used by biological oceanog-raphers to build and analyze models of the plankton ecosystem in the upper ocean. Depending on the plankton study and required level of detail, the logic, memory, and data transfer requirements of the generated models can vary significantly. Using FPGAs, hardware implementations can be customized to the specific requirements of the ecological system under study and provide significant speed-ups compared to software implementations. This paper describes a framework for...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.