4693 search results - page 481 / 939 » Verifying Hybrid Systems |
188
click to vote
WSC
2008
15 years 9 months ago
2008
Discrete Rate Simulation (DRS) is a modeling methodology that uses event based logic to simulate linear continuous processes and hybrid systems. These systems are concerned with t...
254
click to vote
ABIALS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
220
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
221
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an efficient hybrid feature selection model based on Support Vector Machine (SVM) and Genetic Algorithm (GA) for large healthcare databases. Even though SVM an...
216
click to vote
ICANN
2009
Springer
15 years 4 months ago
2009
Springer
Mapping brain activity patterns in external actions has been studied in recent decades and is the base of a brain-computer interface. This type of interface is extremely useful for...