Sciweavers

3208 search results - page 99 / 642
» Methods and views
Sort
View
ISBI
2007
IEEE
15 years 4 months ago
A Gradually Unmasking Method for Limited Data Tomography
In limited data tomography, with applications such as electron microscopy, medical imaging, industrial non-destructive testing, etc., the scanning views are within an angular rang...
Hstau Y. Liao
PAMI
2006
131views more  PAMI 2006»
14 years 10 months ago
A Generic Camera Model and Calibration Method for Conventional, Wide-Angle, and Fish-Eye Lenses
Fish-eye lenses are convenient in such applications where a very wide angle of view is needed but their use for measurement purposes has been limited by the lack of an accurate, g...
Juho Kannala, Sami S. Brandt
NCA
2008
IEEE
15 years 4 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
NIPS
2001
14 years 11 months ago
Sampling Techniques for Kernel Methods
We propose randomized techniques for speeding up Kernel Principal Component Analysis on three levels: sampling and quantization of the Gram matrix in training, randomized rounding...
Dimitris Achlioptas, Frank McSherry, Bernhard Sch&...
ROBOCUP
1999
Springer
102views Robotics» more  ROBOCUP 1999»
15 years 2 months ago
A Method for Localization by Integration of Imprecise Vision and a Field Model
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...
Kazunori Terada, Kouji Mochizuki, Atsushi Ueno, Hi...