Sciweavers

2588 search results - page 173 / 518
» Swarm Intelligence: From Natural to Artificial Systems
Sort
View
TSP
2010
13 years 2 months ago
Generalized adaptive notch smoothing revisited
The problem of identification of quasi-periodically varying dynamic systems is considered. This problem can be solved using generalized adaptive notch filtering (GANF) algorithms. ...
Maciej Niedzwiecki
FLAIRS
2000
13 years 9 months ago
A Case Study in the Mechanical Verification of Fault Tolerance
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
Heiko Mantel, Felix C. Gärtner
AIIDE
2009
13 years 9 months ago
Generating Story Analogues
In this paper, we describe a computational system that generates story analogues based on previous stories. Unlike many previous works on story generation that attempt to produce ...
Mark Riedl, Carlos Leon
ICAI
2010
13 years 6 months ago
Using Sensor Sequences for Activity Recognition by Mining and Multi-Class Adaboost
- In this paper, we present an activity recognition system using sensor sequence information generated from many binary on-off state sensors. When many sensors are deployed the num...
Md. Kamrul Hasan, Sungyoung Lee, Young-Koo Lee
TABLEAUX
2007
Springer
14 years 2 months ago
Tree-Sequent Methods for Subintuitionistic Predicate Logics
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
Ryo Ishigaki, Kentaro Kikuchi