Sciweavers

2778 search results - page 361 / 556
» Limit complexities revisited
Sort
View
IPCAI
2010
15 years 10 months ago
Ultrasound Servoing of Catheters for Beating Heart Valve Repair
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
Samuel B. Kesner, Shelten G. Yuen, Robert D. Howe
CEEMAS
2007
Springer
15 years 10 months ago
Governing Environments for Agent-Based Traffic Simulations
Multiagent systems may be elegantly modeled and designed by enhancing the role of the environment in which agents evolve. In particular, the environment may have the role of a gove...
Michael Schumacher, Laurent Grangier, Radu Jurca
DEBS
2007
ACM
15 years 10 months ago
Towards a common API for publish/subscribe
Over the last decade a wide range of publish/subscribe (pub/ sub) systems have come out of the research community. However, there is little consensus on a common pub/sub API, whic...
Peter R. Pietzuch, David M. Eyers, Samuel Kounev, ...
DAC
2010
ACM
15 years 10 months ago
Reducing the number of lines in reversible circuits
Reversible logic became a promising alternative to traditional circuits because of its applications e.g. in low-power design and quantum computation. As a result, design of revers...
Robert Wille, Mathias Soeken, Rolf Drechsler
ICLP
2010
Springer
15 years 10 months ago
Using Generalized Annotated Programs to Solve Social Network Optimization Problems
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
Paulo Shakarian, V. S. Subrahmanian, Maria Luisa S...