Coinduction has recently been introduced into logicprogramming by Simon et al. The resulting paradigm, termed coinductive logicprogramming (co-LP), allows one to model and reason about infinite processes and objects...
详细信息
This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topologies through a derivation tree. To boost this t...
详细信息
ISBN:
(纸本)9780769535067
This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topologies through a derivation tree. To boost this tree based synthesis mechanism, smaller building blocks in the form of subtrees have been used for the purpose. These blocks have been automatically generated and their appropriateness for the design is updated runtime through the fuzzy system. Fuzzy logic helps to provide a smooth gradation for the relative merit of each block with respect to the design synthesized. The tool has been used to design an operational amplifier and a voltage controlled oscillator.
The Japanese "theory of presupposed ultimate facts" (called "Yoken-jijitsu-ron" in Japanese) for interpreting the Japanese civil code has been underway for over forty years mainly by judges in the ...
详细信息
ISBN:
(纸本)9781607500827
The Japanese "theory of presupposed ultimate facts" (called "Yoken-jijitsu-ron" in Japanese) for interpreting the Japanese civil code has been underway for over forty years mainly by judges in the Japanese Legal Training Institute, but not yet formalized in a mathematical way. This paper attempts to mathematically formalize this theory and presents the correspondence between the theory andlogicprogramming with "negation as failure". It is quite surprising that Japanese judges independently developed such a theory without knowing about logicprogramming.
The proceedings contain 110 papers. The topics discussed include: modeling semantic question context for question answering;systematic evaluation of convergence criteria in iterative training for NLP;inference with re...
ISBN:
(纸本)9781577354192
The proceedings contain 110 papers. The topics discussed include: modeling semantic question context for question answering;systematic evaluation of convergence criteria in iterative training for NLP;inference with relational theories over infinite domains;automatic text categorization of mathematical word problems;training to a neural net's inherent bias;a semantic framework for uncertainties in ontologies;lifting the limitations in a rule-based policy language;document clustering and visualization with latent dirichlet allocation and self-organizing maps;coinductive logicprogramming and its application to Boolean sat;game-related examples of artificial intelligence;a new method for measuring English verb's metaphor making potential;extracting meaning from cell phone improvement ideas;and advanced measures for empirical testing.
The task of achieving reliability against transient faults poses a significant challenge due to technology scaling trends. Several optimization techniques have been proposed in the literature for preventing soft error...
详细信息
ISBN:
(纸本)9780769535067
The task of achieving reliability against transient faults poses a significant challenge due to technology scaling trends. Several optimization techniques have been proposed in the literature for preventing soft errors in logic circuits. However most approaches for avoiding soft errors in logic circuits have significant overheads in terms of delay, area or power In this work, we propose a circuit level technique called RADJAM (RADiation JAMmer) to prevent soft errors, occuring due to radiation strikes, in logic cells [17]. The RADJAM circuit when inserted at the output of a logic can reduce the generation of transient glitches significantly Further, we propose an algorithm to insert RADJAM cells on selective nodes in a logic circuit. The algorithm. uses signal logic probabilities and circuit slack for insertion of RADJAM cells on circuit nodes, thus improving the reliability of the logic circuit with minimal impact on the overall circuit delay The proposed algorithm has been implemented and validated on the ISCAS85 benchmarks. Experimental results indicate that RADJAM optimized logic circuits can reduce soft. error rates by around 39% with marginal delay, area and power overheads.
Chapel is a new global-view parallel programming language developed by Cray Inc. that represents a new direction in programming parallel machines. In this paper, we present two data parallel and two task parallel algo...
详细信息
Computer Science has a bad reputation among non-CS majors. This paper describes three assignments from a gentle introduction to programming course for non-majors that uses robots and simple game programming as a hook ...
详细信息
Numerous logic frameworks have been proposed for modeling uncertainty and reasoning with such data. While different in syntax, the approaches of these frameworks have been classified into "annotation based" ...
详细信息
ISBN:
(纸本)9781577354192
Numerous logic frameworks have been proposed for modeling uncertainty and reasoning with such data. While different in syntax, the approaches of these frameworks have been classified into "annotation based" (AB) and "implication based" (IB). In this paper, we present a unified framework which allows evaluating programs in either approach. It extends existing query processing techniques to handle certainty constraints and uses heuristics to further improve the performance. Our experiments indicate that the proposed techniques yield useful tools for uncertainty reasoning.
Crosstalk faults have emerged as a significant mechanism for circuit failure. Long signal nets are of particular concern because they tend to have a higher coupling capacitance to overall capacitance ratio. A typical ...
详细信息
ISBN:
(纸本)9780769535067
Crosstalk faults have emerged as a significant mechanism for circuit failure. Long signal nets are of particular concern because they tend to have a higher coupling capacitance to overall capacitance ratio. A typical long net also has multiple aggressors. In generating patterns to create maximal crosstalk noise on a net, it may not be possible to activate all aggressors logically or simultaneously. Therefore, pattern generation must focus on activating a maximal subset of aggressors switching on or about the same time the victim net switches, while propagating the fault effect to a primary output. This is a well-known problem. In this paper, we present a solution which uses 0-1 Integer Linear programming (ILP) in conjunction with circuit transformation to model gate delays. A major contribution of this paper is modeling multi-path fault propagation as a linear programming problem. The proposed technique was applied to ISCAS 85 benchmark circuits. Results indicate that percentage of total capacitance that can be switched varies from 20-80%. Patterns generated by this technique are useful for both manufacturing test application as well as signal integrity verification.
We studied the effect of post-practice reflection on learning, using programming tutors, and multiple-choice format for reflection. We conducted in-vivo controlled studies with introductory programming students from m...
详细信息
暂无评论