5128 search results - page 793 / 1026 » When Abstraction Fails |
162
click to vote
BIOSTEC
2008
15 years 7 months ago
2008
Abstract. Breast cancer conservative treatment (BCCT), due to its proven oncological safety, is considered, when feasible, the gold standard of breast cancer treatment. However, ae...
170
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Thibault Kruse, Alexandra Kirsch, E. Akin Sisbot, Rachid Alami A robot moving in the presence of humans is highly constrained by the dynamic environment and the need t...
162
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
205
click to vote
BNCOD
2009
15 years 7 months ago
2009
Abstract. Privacy has become increasingly important to the database community which is reflected by a noteworthy increase in research papers appearing in the literature. While rese...
178
click to vote
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...