3994 search results - page 57 / 799 » A Linear Logical Framework |
117
Voted
WCNC
2008
IEEE
15 years 10 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...
130
Voted
JMM2
2007
15 years 3 months 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...
115
Voted
CASC
2009
Springer
15 years 10 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...
136
Voted
ICML
2010
IEEE
15 years 4 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...
121
Voted
AVSS
2008
IEEE
15 years 10 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...