2850 search results - page 494 / 570 » On Timed Models and Full Abstraction |
SOUPS
2009
ACM
14 years 5 months ago
2009
ACM
Abstract: Today, most Internet applications still establish user authentication with traditional text based passwords. Designing a secure as well as a user-friendly password-based ...
BIBM
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract—The exact relationship between protein active centers and protein functions is unclear even after decades of intensive study. To improve the functional prediction abilit...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— Attenuation of sinusoidal disturbances with uncertain and arbitrarily time-varying frequencies is considered in the form of a generalized asymptotic regulation problem....
CEC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— This paper examines the performance characteristics of both asynchronous and synchronous parallel particle swarm optimisation algorithms in heterogeneous, fault-prone e...
ICRA
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— We present a machine learning approach for trajectory inverse kinematics: given a trajectory in workspace, to find a feasible trajectory in angle space. The method lea...