350 search results - page 13 / 70 » What's in a Name |
FMCO
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract Our work aims at developing a robust discriminant controller for robot programming by demonstration. It addresses two core issues of imitation learning, namely what to...
CSSE
2008
IEEE
14 years 1 months ago
2008
IEEE
—This paper describes a collaborative lesson-preparing Platform, named Eduwiki, which supports a community of inservice teachers creating, sharing, and improving capacity of less...
BIRTHDAY
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
INFOCOM
2003
IEEE
14 years 21 days ago
2003
IEEE
— This paper is focused on the influence of geometry on the combination of inter-cell and intra-cell interferences in the downlink of large cdma networks. We use an exact repres...