Sciweavers

9284 search results - page 171 / 1857
» Knowledge State Algorithms
Sort
View
ICTAI
1997
IEEE
15 years 9 months ago
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization
This paper proposes an optimization algorithm for reducing the power dissipation in a sequential circuit. The encoding of the different states in a Finite State Machine is modifie...
S. Chuisano, Fulvio Corno, Paolo Prinetto, Maurizi...
AICCSA
2007
IEEE
84views Hardware» more  AICCSA 2007»
16 years 18 days ago
Encoding Algorithms for Logic Synthesis
This paper presents an encoding algorithm that is very efficient for many different logic synthesis problems. The algorithm is based on the use of special tables and includes two ...
Valery Sklyarov, Iouliia Skliarova
SPIRE
2000
Springer
15 years 9 months ago
Fast Multipattern Search Algorithms for Intrusion Detection
We present new search algorithms to detect the occurrences of any pattern from a given pattern set in a text, allowing in the occurrences a limited number of spurious text charact...
Josué Kuri, Gonzalo Navarro
AAAI
2007
15 years 8 months ago
AURA: Enabling Subject Matter Experts to Construct Declarative Knowledge Bases from Science Textbooks
The long-term goal of Project Halo is to build an application called Digital Aristotle that can answer questions on a variety of science topics and provide user and domain appropr...
Ken Barker, Vinay K. Chaudhri, Shaw Yi Chaw, Peter...
EXPERT
2008
120views more  EXPERT 2008»
15 years 6 months ago
The CKC Challenge: Exploring Tools for Collaborative Knowledge Construction
The great success of Web 2.0 is mainly fuelled by an infrastructure that allows web users to create, share, tag, and connect content and knowledge easily. The tools for developing...
Natalya Fridman Noy, Abhita Chugh, Harith Alani