2850 search results - page 281 / 570 » On Timed Models and Full Abstraction |
177
Voted
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. In this paper, we present a sensor guided ablation procedure of highly motile left atrium. It uses a system which automatically registers the 4D heart model with the posi...
202
click to vote
IEEEICCI
2008
IEEE
16 years 1 months ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
152
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
183
click to vote
IWANN
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper proposes to apply the branch and bound principle from combinatorial optimization to the Dissimilarity Self-Organizing Map (DSOM), a variant of the SOM that can...
140
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...