Sciweavers

3255 search results - page 87 / 651
» Combination of Abstractions in the ASTR
Sort
View
IJCNN
2006
IEEE
14 years 2 months ago
Recurrent Neural Network Based Gating for Natural Gas Load Prediction System
Abstract— Prediction of natural gas consumption is an important element in gas load management aimed to better utilize the facilities of a gas distribution system. The major chal...
Petr Musílek, Emil Pelikán, Tomas Br...
AH
2006
Springer
14 years 2 months ago
Adaptive Patient Education Framework Featuring Personalized Cardiovascular Risk Management Interventions
Abstract. The PULSE project objectives are to generate and evaluate a webbased personalized educational intervention for the management of cardiovascular risk. We present a web-bas...
Selena Davis, Syed Sibte Raza Abidi
FM
2005
Springer
89views Formal Methods» more  FM 2005»
14 years 2 months ago
Control Law Diagrams in Circus
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
GECCO
2005
Springer
197views Optimization» more  GECCO 2005»
14 years 2 months ago
Breeding swarms: a GA/PSO hybrid
Abstract. In this paper we propose a novel hybrid (GA/PSO) algorithm, Breeding Swarm, combining the strengths of particle swarm optimization with genetic algorithms. The hybrid alg...
Matthew Settles, Terence Soule
GFKL
2005
Springer
101views Data Mining» more  GFKL 2005»
14 years 2 months ago
Discovering Communities in Linked Data by Multi-view Clustering
Abstract. We consider the problem of finding communities in large linked networks such as web structures or citation networks. We review similarity measures for linked objects and...
Isabel Drost, Steffen Bickel, Tobias Scheffer