4693 search results - page 297 / 939 » Verifying Hybrid Systems |
196
click to vote
MABS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. A simulation-based tool is described which will be used to investigate how the actors in a transport chain are expected to act when different types of governmental contro...
174
click to vote
IRAL
2003
ACM
15 years 12 months ago
2003
ACM
Recent years saw an increased interest in the use and the construction of large corpora. With this increased interest and awareness has come an expansion in the application to kno...
172
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose an algorithm for recursive estimation of structure and motion in rigid body perspective dynamic systems, based on the novel concept of continuous-differential ...
176
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
186
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
The ongoing increase of computing performance facilitates a higher algorithmical complexity in video coding systems. The decoder may be able to estimate or derive prediction param...