Sciweavers

5267 search results - page 914 / 1054
» Methods for Knowledge Based Controlling of Distributed Syste...
Sort
View
FORMATS
2007
Springer
15 years 9 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
GECCO
2006
Springer
159views Optimization» more  GECCO 2006»
15 years 8 months ago
Genetic algorithms for positioning and utilizing sensors in synthetically generated landscapes
Positioning multiple sensors for acquisition of a a given environment is one of the fundamental research areas in various fields, such as military scouting, computer vision and ro...
Haluk Topcuoglu, Murat Ermis
165
Voted
AUSDM
2008
Springer
271views Data Mining» more  AUSDM 2008»
15 years 7 months ago
Classification of Brain-Computer Interface Data
In this paper we investigate the classification of mental tasks based on electroencephalographic (EEG) data for Brain Computer Interfaces (BCI) in two scenarios: off line and on-l...
Omar AlZoubi, Irena Koprinska, Rafael A. Calvo
IMC
2010
ACM
15 years 3 months ago
On economic heavy hitters: shapley value analysis of 95th-percentile pricing
Cost control for the Internet access providers (AP) influences not only the nominal speeds offered to the customers, but also other, more controversial, policies related to traffi...
Rade Stanojevic, Nikolaos Laoutaris, Pablo Rodrigu...
ICRA
2009
IEEE
160views Robotics» more  ICRA 2009»
15 years 2 months ago
SBC for motion assist using neural oscillator
In this paper we propose a framework for synchronization based control (SBC) using neural oscillators for motion assist. A neural oscillator is used to accomplish synchronization a...
Xia Zhang, Minoru Hashimoto