Sciweavers

7766 search results - page 363 / 1554
» Testing Nondeterminate Systems
Sort
View
SAC
2005
ACM
16 years 9 days ago
An agent model for fault-tolerant systems
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
Avelino F. Zorzo, Felipe Rech Meneguzzi
CCIA
2005
Springer
16 years 8 days ago
Modelling the Human Values Scale in Recommender Systems: A first approach
The objective of this paper is two-fold. The first is to develop a methodology capable of extracting the Human Values Scale (HVS) from the user, with reference to his/her objective...
Javier Guzmán, Gustavo González, Jos...
199
Voted
IWANN
2005
Springer
16 years 7 days ago
Adaptive Power System Stabilizer Using ANFIS and Genetic Algorithms
— This paper presents an adaptive Power System Stabilizer (PSS) using an Adaptive Network Based Fuzzy Inference System (ANFIS) and Genetic Algorithms (GAs). Firstly, genetic algo...
Jesús Fraile-Ardanuy, Pedro J. Zufiria
TSD
2004
Springer
16 years 2 days ago
Slovak Text-to-Speech Synthesis in ARTIC System
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...
Jindrich Matousek, Daniel Tihelka
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 12 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...