5384 search results - page 267 / 1077 » Open Standards Requirements |
198
click to vote
TCS
2012
14 years 2 months ago
2012
Abstract. The standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one essentially searches a large boundeddegree graph whose size is exponential in th...
173
click to vote
SCS
2004
15 years 8 months ago
2004
Engineers who develop safety-related systems are required to work to remarkably high standards: SIL 1, the lowest classification recognised by the international standard IEC 61508...
319
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
156
click to vote
SG
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes an interface for assisting the design and production of pop-up cards by using a computer. A pop-up card is a piece of a folded paper from which a three-dimensi...
163
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— For mobile manipulators envisioned in home environments a kitchen scenario provides a challenging testbed for numerous skills. Diverse manipulation actions are required...