11017 search results - page 261 / 2204 » Closure Systems and their Structure |
157
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
Considerable research effort has recently been devoted to the design of structured peer-to-peer overlays, a term we use to encompass Content-Addressable Networks (CANs), Distribut...
185
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
124
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
We present preliminary work on a novel technique for tracking anatomical structures during medical procedures. A vascular balloon catheter is placed within a vessel in the structur...
205
click to vote
AMDO
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a general analysis framework towards exploiting the underlying hierarchical and scalable structure of an articulated object for pose estimation and tracking. Th...
150
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...