5550 search results - page 1108 / 1110 » Different Approaches to Proof Systems |
JMIV
1998
14 years 9 months ago
1998
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
MICRO
2002
IEEE
14 years 9 months ago
2002
IEEE
There has been much discussion about the best way to combine the benefits of new optical circuit switching technology with the established packet switched Internet. In this paper,...
100
click to vote
TSMC
2008
14 years 9 months ago
2008
Abstract--Dimensionality reduction methods have been successfully employed for face recognition. Among the various dimensionality reduction algorithms, linear (Fisher) discriminant...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper presents a probing-based method for probabilistic localization in automated robotic assembly. We consider peg-in-hole problems in which a needle-like peg has a single p...
120
click to vote
ACSAC
2010
IEEE
14 years 8 months ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...