5344 search results - page 377 / 1069 » Privacy-Preserving Set Operations |
149
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
114
click to vote
IJRR
2006
15 years 4 months ago
2006
We describe the design features that underlie the operation of iSprawl, a small (0.3 Kg) autonomous, bio-inspired hexapod that runs at 15 body-lengths/second (2.3 m/s). These featu...
134
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper investigates symbolic heuristic search with BDDs for solving domain-independent action planning problems cost-optimally. By distributimpact of operators that t...
149
click to vote
ENTCS
2007
15 years 4 months ago
2007
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
122
Voted
JUCS
2006
15 years 4 months ago
2006
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...