570 search results - page 94 / 114 » Robustness and Implementability of Timed Automata |
PPL
2010
14 years 6 months ago
2010
Local search (LS) algorithms are among the most powerful techniques for solving computationally hard problems in combinatorial optimization. These algorithms could be viewed as &q...
97
Voted
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a novel 3D deformable surface that we call an active polyhedron. Rooted in surface evolution theory, an active polyhedron is a polyhedral surface whose vertice...
DAC
2006
ACM
16 years 22 days ago
2006
ACM
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
104
click to vote
MICCAI
2002
Springer
16 years 19 days ago
2002
Springer
Abstract. A stochastic finite element method (SFEM) based framework is proposed for the simultaneous estimation of cardiac kinematics functions and material model parameters. While...
PDP
2009
IEEE
15 years 6 months ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...