1187 search results - page 18 / 238 » Graph-Based Procedural Abstraction |
78
Voted
MICCAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents a new robotic framework for assisted CTguided percutaneous procedures with force feedback and automatic patientto-image registration of needle. The pu...
WEA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The maximum diversity problem (MDP) consists of identifying optimally diverse subsets of elements from some larger collection. The selection of elements is based on the d...
87
Voted
PSLS
1995
15 years 1 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
61
Voted
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...