505 search results - page 59 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
108
click to vote
ICCS
2009
Springer
14 years 9 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
WWW
2008
ACM
16 years 16 days ago
2008
ACM
Information Retrieval on the WWW is important because it is hard to find what one is looking for. There is a plethora of information available, and searching relevant information ...
COOPIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Arranging the distribution of data, objects or components is a critical task that can ultimately affect the performance, integrity and reliability of distributed system. This pape...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Most of the Web-based methods for lexicon augmenting consist in capturing global semantic features of the targeted domain in order to collect relevant documents from the Web. We s...
AUTOMATICA
2008
14 years 12 months ago
2008
Data-based control design methods most often consist of iterative adjustment of the controller's parameters towards the parameter values which minimize an H2 performance crit...