5269 search results - page 241 / 1054 » order 2007 |
179
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
We study the problem of executing a collection of independently designed and validated task systems upon a common comprised of a preemptive processor and additional shared resourc...
145
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
187
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper addresses high-level robot planning issues for an interactive cognitive robot that has to act in presence or in collaboration with a human partner. We describe a tas...
188
click to vote
TABLETOP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we debut Photohelix, a novel interactive system for browsing, sorting and sharing digital images. We present our design rationale for such a system and introduce Pho...
189
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...