3994 search results - page 57 / 799 » A Linear Logical Framework |
WCNC
2008
IEEE
15 years 6 months ago
2008
IEEE
—In this paper, we propose a collaborative localization scheme which utilizes, in addition to the range estimates to nodes with known locations (anchors), the range estimates bet...
99
Voted
JMM2
2007
15 years 10 days ago
2007
—This paper aims to develop a novel framework to systematically trade-off computational complexity with output distortion in linear multimedia transforms, in an optimal manner. T...
CASC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
105
click to vote
ICML
2010
IEEE
15 years 1 months ago
2010
IEEE
In a variety of applications, kernel machines such as Support Vector Machines (SVMs) have been used with great success often delivering stateof-the-art results. Using the kernel t...
94
Voted
AVSS
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose a novel registration framework to map the field-of-coverage of pan-tilt cameras to a GIS (Geographic Information System) planar coordinate system. The camera’s fiel...