8828 search results - page 1573 / 1766 » Formal methods in practice |
157
click to vote
TSP
2010
14 years 11 months ago
2010
Consider the problem of estimating the parameters of multiple polynomial phase signals observed by a sensor array. In practice, it is difficult to maintain a precisely calibrated a...
271
click to vote
PAKDD
2011
ACM
14 years 10 months ago
2011
ACM
Discovering rare categories and classifying new instances of them is
an important data mining issue in many fields, but fully supervised
learning of a rare class classifier is pr...
196
click to vote
MICCAI
2010
Springer
15 years 9 months ago
2010
Springer
The effectiveness and clinical benefits of image guided surgery are
well established for procedures where there is manageable tissue motion. In
minimally invasive cardiac, gastro...
191
click to vote
MICCAI
2006
Springer
15 years 10 months ago
2006
Springer
Minimally Invasive Surgery (MIS) has recognized benefits of reduced patient trauma and recovery time. In practice, MIS procedures present a number of challenges due to the loss of ...
144
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract—Coping with outliers contaminating dynamical processes is of major importance in various applications because mismatches from nominal models are not uncommon in practice...