688 search results - page 66 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
180
Voted
ASAP
2000
IEEE
15 years 10 months 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...
173
click to vote
IJHIS
2007
15 years 5 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...
177
click to vote
NIPS
1992
15 years 6 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...
141
Voted
ICIP
2007
IEEE
15 years 12 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...
135
Voted
ICCS
2004
Springer
15 years 11 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 ...