9697 search results - page 1882 / 1940 » Intelligent Transportation Systems |
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
We describe a sensor network based on smart requirements of the network. This will provide a new approach imager sensors able to extract events of interest from a scene. for compos...
ACMICEC
2006
ACM
15 years 3 months ago
2006
ACM
Supply chains are a central element of today’s global economy. Existing management practices consist primarily of static interactions between established partners. Global compet...
APGV
2006
ACM
15 years 3 months ago
2006
ACM
Understanding the robustness and rapidness of human scene categorization has been a focus of investigation in the cognitive sciences over the last decades. At the same time, progr...
104
click to vote
SCESM
2006
ACM
15 years 3 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...