2607 search results - page 264 / 522 » Complete Functional Synthesis |
142
Voted
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...
137
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
123
click to vote
PSIVT
2009
Springer
15 years 11 months ago
2009
Springer
Image inpainting techniques have been widely investigated to remove undesired objects in an image. Conventionally, missing parts in an image are completed by optimizing the objecti...
101
Voted
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
125
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we introduce INSEE, an environment to help in the design of interconnection networks for parallel computing systems. It contains two basic modules: a system to genera...