5128 search results - page 461 / 1026 » Discrete Component Analysis |
225
Voted
HYBRID
2003
Springer
16 years 28 days ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
202
click to vote
ICCS
2003
Springer
16 years 28 days ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
202
click to vote
CDC
2009
IEEE
16 years 13 days ago
2009
IEEE
— We consider a decentralized bidirectional control of a platoon of N identical vehicles moving in a straight line. Such problems are known to suffer from poor stability margin a...
188
click to vote
ICPP
2000
IEEE
16 years 3 days ago
2000
IEEE
This paper compares three similar loop-grouping methods. All methods are based on projecting the n-dimensional iteration space Jn onto a k-dimensional one, called the projected sp...
210
Voted
IJCNN
2000
IEEE
16 years 3 days ago
2000
IEEE
We introduce an algorithm for learning a local metric to a continuous input space that measures distances in terms of relevance to the processing task. The relevance is defined a...