14403 search results - page 452 / 2881 » Dynamical Systems Trees |
183
click to vote
ICEIS
1999
IEEE
15 years 11 months ago
1999
IEEE
: Manufacturing systems are changing its structure and organisation. Supply chain are evolving to more coupled organisations, like virtual enterprises, though maintaining the singl...
192
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...
325
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
199
click to vote
ICUMT
2009
15 years 4 months ago
2009
Network Coordinate (NC) which provides efficient distance prediction with scalable measurements, brings benefits to various network applications. Phoenix Network Coordinate system ...
213
click to vote
IPCV
2008
15 years 8 months ago
2008
Most of the existing image retrieval systems take the textual query from the user and utilize the metadata associated with the database images to retrieve the result. However, the...