2233 search results - page 170 / 447 » On the Complexity of Theory Curbing |
142
click to vote
MM
2005
ACM
16 years 16 hour ago
2005
ACM
“diorama table “ is an interactive table installation. People place physical objects on the table and projected elements such as trains, cars, houses, and trees appear and are...
125
click to vote
CIE
2005
Springer
16 years 39 min ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
154
click to vote
EUROCAST
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present a new pseudo-random sequence generator, constructed by the generalized discrete Baker transformation. This new generator is called Cascaded Baker Register...
162
click to vote
ISSAC
2005
Springer
15 years 12 months ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
274
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...