6395 search results - page 926 / 1279 » Searching for Interacting Features |
155
click to vote
COMCOM
2000
15 years 6 months ago
2000
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...
154
click to vote
CN
2002
15 years 6 months ago
2002
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...
257
click to vote
NAR
2000
15 years 6 months ago
2000
The Structural Classification of Proteins (SCOP) database provides a detailed and comprehensive description of the relationships of all known proteins structures. The classificati...
159
click to vote
MMS
2002
15 years 6 months ago
2002
This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
195
click to vote
TITS
2002
15 years 6 months ago
2002
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...