549 search results - page 19 / 110 » Verification condition generation for conditional informatio... |
65
Voted
ICDS
2009
IEEE
15 years 5 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
93
Voted
DAGM
2010
Springer
14 years 11 months ago
2010
Springer
A multi-class traffic scene segmentation approach based on scene flow data is presented. Opposed to many other approaches using color or texture features, our approach is purely ba...
97
Voted
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Due to scaling laws, in microfluidic, flows are laminar. Consequently, mixing between two liquids is mainly obtained by natural diffusion which may take a long time or equivalentl...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
In this paper we consider the problem of gossiping in a network to diffuse the average of a sub-set of nodes, called sources, and directing it to another sub-set of nodes in the ne...