688 search results - page 43 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
BMCBI
2010
13 years 7 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
We describe a new system for estimating road shape ahead of a vehicle for the purpose of driver assistance. The method utilises a single on board colour camera, together with iner...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
The performance of face verification systems has steadily improved over the last few years, mainly focusing on models rather than on feature processing. State-of-the-art methods o...
ACL
1994
13 years 9 months ago
1994
We present an algorithm for computing n-gram probabilities from stochastic context-free grammars, a procedure that can alleviate some of the standard problems associated with n-gr...
IJIT
2004
13 years 9 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...