Sciweavers

1888 search results - page 63 / 378
» Proof theory and computational analysis
Sort
View
ICCV
1998
IEEE
14 years 3 months ago
A Theory of Catadioptric Image Formation
Conventional video cameras have limited elds of view which make them restrictive for certain applications in computational vision. A catadioptric sensor uses a combination of lens...
Simon Baker, Shree K. Nayar
ICPR
2010
IEEE
13 years 8 months ago
Information Theory Based WCE Video Summarization
Wireless Capsule Endoscopy (WCE) is a technical break-through that allows to produce a video of the entire intestine without surgery. It is reported that a medical clinician spend...
Giovanni Gallo, Eliana Granata, Alessandro Torrisi
RTSS
2003
IEEE
14 years 4 months ago
Multiprocessor EDF and Deadline Monotonic Schedulability Analysis
Schedulability tests are presented for preemptive earliest-deadline-first and deadline-monotonic scheduling of periodic or sporadic real-time tasks on a singlequeue Ñ-server sys...
Theodore P. Baker
DAGSTUHL
1996
14 years 6 days ago
On-line Algorithms in Machine Learning
The areas of On-Line Algorithms and Machine Learning are both concerned with problems of making decisions about the present based only on knowledge of the past. Although these area...
Avrim Blum
CORR
2011
Springer
196views Education» more  CORR 2011»
13 years 2 months ago
Privacy-Enhanced Reputation-Feedback Methods to Reduce Feedback Extortion in Online Auctions
In this paper, we study methods for improving the utility and privacy of reputation scores for online auctions, such as used in eBay, so as to reduce the effectiveness of feedbac...
Michael T. Goodrich, Florian Kerschbaum