688 search results - page 66 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
ASAP
2000
IEEE
14 years 6 days ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
IJHIS
2007
13 years 7 months ago
2007
This paper describes a new hybrid method based on the application of the Population Training Algorithm (PTA) and linear programming (LP) for generation of schedules for drivers in...
NIPS
1992
13 years 9 months ago
1992
Several research groups are implementing analog integrated circuit models of biological auditory processing. The outputs of these circuit models have taken several forms, includin...
ICIP
2007
IEEE
14 years 2 months ago
2007
IEEE
Palmprint is a unique and reliable biometric characteristic with high usability. With the increasing demand of automatic palmprint authentication systems, the development of accur...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Shadow Hybrid Monte Carlo (SHMC) is a new method for sampling the phase space of large biological molecules. It improves sampling by allowing larger time steps and system sizes in ...