535 search results - page 63 / 107 » Do we need dependent types |
CRV
2009
IEEE
14 years 2 months ago
2009
IEEE
We describe a navigation and coverage system based on unsupervised learning driven by visual input. Our objective is to allow a robot to remain continuously moving above a terrain...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
LREC
2008
13 years 9 months ago
2008
We outline a methodological classification for evaluation approaches of software in general. This classification was initiated partly owing to involvement in a biennial European c...
MASCOTS
2001
13 years 9 months ago
2001
The congestion control mechanisms of TCP make it vulnerable in an environment where flows with different congestionsensitivity compete for scarce resources. With the increasing am...
IJRR
2006
13 years 7 months ago
2006
A common mobile robot design consists of three `omniwheels' arranged at the vertices of an equilateral triangle, with wheel axles aligned with the rays from the center of the...