Sciweavers

6799 search results - page 1057 / 1360
» The Tao of Modeling Spaces
Sort
View
TSE
2002
99views more  TSE 2002»
15 years 6 months ago
Recovering Traceability Links between Code and Documentation
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...
PRL
2008
118views more  PRL 2008»
15 years 6 months ago
Bayes Machines for binary classification
In this work we propose an approach to binary classification based on an extension of Bayes Point Machines. Particularly, we take into account the whole set of hypotheses that are...
Daniel Hernández-Lobato, José Miguel...
PVLDB
2008
89views more  PVLDB 2008»
15 years 6 months ago
Constrained physical design tuning
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
Nicolas Bruno, Surajit Chaudhuri
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
15 years 5 months ago
Toward automated tissue retraction in robot-assisted surgery
—Robotic surgical assistants are enhancing physician performance, enabling physicians to perform more delicate and precise minimally invasive surgery. However, these devices are ...
Sachin Patil, Ron Alterovitz
JCSS
2010
111views more  JCSS 2010»
15 years 5 months ago
Reduction rules for reset/inhibitor nets
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...
H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van ...
« Prev « First page 1057 / 1360 Last » Next »