3116 search results - page 162 / 624 » Positively dependent types |
137
click to vote
STOC
2007
ACM
16 years 4 months ago
2007
ACM
We consider the problem of solving a symmetric, positive definite system of linear equations. The most well-known and widely-used method for solving such systems is the preconditi...
172
Voted
ISAAC
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a new probing problem: what is the minimum number of cameras at fixed positions necessary and sufficient to reconstruct any strictly convex polygon contained in a dis...
118
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper proposes a method to control an I4R parallel robot by the observation of its legs with a calibrated camera. We show that the control law depends only on the edges of...
108
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A constrained variational deconvolution approach for multichannel images is presented. Constraints are enforced through a reparametrisation which allows a differential g...
143
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
Ontologies are used to give meaning to resources on the Semantic Web and therefore the Semantic Web’s success in integrating and providing interoperability between different sou...