Some recent studies have pointed that , the self-organization of neurons into brain-like structures, and the self-organization of ants into a swarm are similar in many respects. I...
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
The Structural Classification of Proteins (SCOP) database provides a detailed and comprehensive description of the relationships of all known proteins structures. The classificati...
Loredana Lo Conte, Bart Ailey, Tim J. P. Hubbard, ...
Abstract-This paper presents algorithms for vision-based detection and classification of vehicles in monocular image sequences of traffic scenes recorded by a stationary camera. Pr...
Surendra Gupte, Osama Masoud, Robert F. K. Martin,...