artificial intelligence

23

click to vote

FLAIRS
2000

96views Artificial Intelligence» more FLAIRS 2000»

Cache Diversity in Genetic Algorithm Design

14 years 1 months ago

Download www.aaai.org

Eunice E. Santos, Eugene Santos Jr.

claim paper

Read More »

31

click to vote

FLAIRS
2000

164views Artificial Intelligence» more FLAIRS 2000»

Automated Partitioning of Tonal Music

14 years 1 months ago

Download www.cs.northwestern.edu

Most research related to automated analysis of music presupposes human partitioning of the input into segments corresponding to significant harmonic or melodic chunks. In this pap...

Bryan Pardo, William P. Birmingham

claim paper

Read More »

29

click to vote

FLAIRS
2000

115views Artificial Intelligence» more FLAIRS 2000»

Comparing Performance of Neural Networks Applied to a Simplified Recognition Problem

14 years 1 months ago

Download www.aaai.org

In this note we present and discuss results of experiments comparing the performance of six neural network architectures (back propagation, recurrent network with dampened feedbac...

Marcin Paprzycki, Rick Niess, Jason Thomas, Lenny ...

claim paper

Read More »

23

click to vote

FLAIRS
2000

93views Artificial Intelligence» more FLAIRS 2000»

Verification of Cooperating Systems - An Approach Based on Formal Languages

14 years 1 months ago

Download sit.sit.fraunhofer.de

Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...

Peter Ochsenschläger, Jürgen Repp, Rolan...

claim paper

Read More »

23

click to vote

FLAIRS
2000

103views Artificial Intelligence» more FLAIRS 2000»

The SH-Verification Tool

14 years 1 months ago

Download sit.sit.fraunhofer.de

r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...

Peter Ochsenschläger, Jürgen Repp, Rolan...

claim paper

Read More »

47

click to vote

FLAIRS
2000

135views Artificial Intelligence» more FLAIRS 2000»

Domain-Specific Knowledge Acquisition and Classification Using WordNet

14 years 1 months ago

Download www.aaai.org

For manyknowledgeintensive applications, it is necessary to have extensive domain-specific knowledgein addition to general-purpose knowledge bases usually built around MachineRead...

Dan I. Moldovan, Roxana Girju

claim paper

Read More »

38

click to vote

FLAIRS
2000

148views Artificial Intelligence» more FLAIRS 2000»

Inferencing Bayesian Networks from Time Series Data Using Natural Selection

14 years 1 months ago

Download www.aaai.org

This paper describes a new framework for using natural selection to evolve Bayesian Networks for use in forecasting time series data. It extends current research by introducing a ...

Andrew J. Novobilski, Farhad Kamangar

claim paper

Read More »

33

click to vote

FLAIRS
2000

137views Artificial Intelligence» more FLAIRS 2000»

Defining and Monitoring Knowledge Integrity

14 years 1 months ago

Download www.aaai.org

Knowledgemanagementhas been claimed as the correct response to rapid change. Decisions need to be madein light of up to date knowledge. The changing nature of the knowledgeraises ...

Fatma Mili, Krish Narayanan, Vamsi Atluri

claim paper

Read More »

32

click to vote

FLAIRS
2000

121views Artificial Intelligence» more FLAIRS 2000»

Domain Semantics for Agent-Oriented Programming

14 years 1 months ago

Download www.aaai.org

This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...

Roger Norton, S. Rebecca Thomas

claim paper

Read More »

23

click to vote

FLAIRS
2000

102views Artificial Intelligence» more FLAIRS 2000»

A Boosting-Based Prototype Weighting and Selection Scheme

14 years 1 months ago