1619 search results - page 272 / 324 » Important Moments in Systems and Control |
IFIP
1994
Springer
14 years 24 days ago
1994
Springer
Development of a research project in Computer Science, integrating a considerable number of research institutions and about 1200 individual researchers all over a country with big...
ATAL
2007
Springer
14 years 22 days ago
2007
Springer
Air traffic flow management is one of the fundamental challenges facing the Federal Aviation Administration (FAA) today. The FAA estimates that in 2005 alone, there were over 322,...
SIGIR
2010
ACM
14 years 18 days ago
2010
ACM
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...
ASWSD
2006
Springer
14 years 14 days ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...
CAV
2006
Springer
14 years 14 days ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...