Sciweavers

3523 search results - page 505 / 705
» Feature interaction in policies
Sort
View
CN
2002
102views more  CN 2002»
15 years 6 months ago
Formal methods for communication services: meeting the industry expectations
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...
Falk Dietrich, Jean-Pierre Hubaux
NAR
2000
120views more  NAR 2000»
15 years 6 months ago
SCOP: a Structural Classification of Proteins database
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, ...
MMS
2002
15 years 6 months ago
A retrospective on the design of the GOPI middleware platform
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...
Geoff Coulson, Shakuntala Baichoo, Oveeyen Moonian
TITS
2002
160views more  TITS 2002»
15 years 6 months ago
Detection and classification of vehicles
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,...
PSYCHNOLOGY
2008
97views more  PSYCHNOLOGY 2008»
15 years 6 months ago
Being Inside the Quantum Atom
This article explores the possibility of using dynamic Educational Virtual Environments (EVEs) for helping students with limited background in physics and mathematics to deeply un...
Assimina M. Kontogeorgiou, Joan Bellou, Tassos A. ...