Sciweavers

4894 search results - page 771 / 979
» Choices
Sort
View
IFIP
2010
Springer
15 years 1 months ago
Reasoning about Probabilistic Security Using Task-PIOAs
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
Aaron D. Jaggard, Catherine Meadows, Michael Mislo...
IHI
2010
127views Healthcare» more  IHI 2010»
15 years 1 months ago
Using clinical preferences in argumentation about evidence from clinical trials
Medical practice is increasingly based on the best available evidence, but the volume of information requires many clinicians to rely on systematic reviews rather than the primary...
Anthony Hunter, Matthew Williams
JAT
2010
46views more  JAT 2010»
15 years 1 months ago
Three-monotone spline approximation
For r 3, n N and each 3-monotone continuous function f on [a, b] (i.e., f is such that its third divided differences [x0, x1, x2, x3] f are nonnegative for all choices of distin...
G. A. Dzyubenko, Kirill Kopotun, A. V. Prymak
JIRS
2010
153views more  JIRS 2010»
15 years 1 months ago
Flyphone: Visual Self-Localisation Using a Mobile Phone as Onboard Image Processor on a Quadrocopter
An unmanned aerial vehicle (UAV) needs to orient itself in its operating environment to fly autonomously. Localisation methods based on visual data are independent of erroneous GPS...
Sara Erhard, Karl Engelbert Wenzel, Andreas Zell
JMLR
2010
134views more  JMLR 2010»
15 years 1 months ago
Half Transductive Ranking
We study the standard retrieval task of ranking a fixed set of items given a previously unseen query and pose it as the half transductive ranking problem. The task is transductive...
Bing Bai, Jason Weston, David Grangier, Ronan Coll...