4913 search results - page 213 / 983 » Results and Perspectives of the G |
182
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
119
click to vote
IANDC
2010
15 years 5 months ago
2010
We study the set TA of infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on ...
169
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— How to make vision system work robustly under dynamic light conditions is still a challenging research focus in computer/robot vision community. In this paper, a novel camera p...
126
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We discuss disciplinary barriers which have traditionally prevented robotics from significantly impacting the built (architectural) environment we inhabit. Specifical...
191
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper presents a formulation of image-based visual servoing (IBVS) for a spherical camera where coordinates are parameterized in terms of colatitude and longitude: IBVSSph...