4205 search results - page 308 / 841 » Typed Mobile Objects |
158
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
205
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
141
click to vote
IROS
2008
IEEE
16 years 29 days ago
2008
IEEE
— Recent advances in self-supervised learning have enabled very long-range visual detection of obstacles and pathways (to 100 hundred meters or more). Unfortunately, the category...
142
click to vote
IROS
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper introduces a planning method for handling furniture which exists in real world. We propose a method which is easily expandable its handle able furniture such as clos...
192
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...