53327 search results - page 10390 / 10666 » or 2007 |
174
click to vote
ROBOCUP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
165
click to vote
RSEISP
2007
Springer
16 years 9 days ago
2007
Springer
Most information about the external world comes from our visual brain. However, it is not clear how this information is processed. We will analyze brain responses using machine lea...
155
click to vote
RTA
2007
Springer
16 years 9 days ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
186
click to vote
RV
2007
Springer
16 years 9 days ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
159
click to vote
RV
2007
Springer
16 years 9 days ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...