Sciweavers

33356 search results - page 310 / 6672
» Models of Continual Computation
Sort
View
175
Voted
CRYPTO
2011
Springer
207views Cryptology» more  CRYPTO 2011»
14 years 6 months ago
Secure Computation on the Web: Computing without Simultaneous Interaction
Secure computation enables mutually suspicious parties to compute a joint function of their private inputs while providing strong security guarantees. Amongst other things, even i...
Shai Halevi, Yehuda Lindell, Benny Pinkas
BCS
2008
15 years 8 months ago
Beatbox - A Computer Simulation Environment for Computational Biology of the Heart
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
Ross McFarlane, Irina V. Biktasheva
ICRA
2007
IEEE
143views Robotics» more  ICRA 2007»
16 years 29 days ago
A Moment-based 3D Object Tracking Algorithm for High-speed Vision
— In this paper we propose a method of realizing continuous tracking of a three-dimensional object by calculating moments of a translating and rotating object whose shape is know...
Takashi Komuro, Masatoshi Ishikawa
IEEEIAS
2007
IEEE
16 years 29 days ago
Information-theoretical comparison of likelihood ratio methods of forensic evidence evaluation
Forensic evidence in the form of two-level hierarchical multivariate continuous data is modelled using a likelihood ratio approach. Data are available from fragments of glass and ...
Daniel Ramos, Joaquin Gonzalez-Rodriguez, Grzegorz...
EMSOFT
2005
Springer
16 years 5 days ago
Distributed-code generation from hybrid systems models for time-delayed multirate systems
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...