8009 search results - page 174 / 1602 » cans 2005 |
136
click to vote
SG
2005
Springer
15 years 12 months ago
2005
Springer
Computer-assisted animation production tools have an important role in animation production industries. They could reduce the production cost and time. In this paper, a new compute...
195
click to vote
SPC
2005
Springer
15 years 12 months ago
2005
Springer
We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classi...
150
click to vote
STACS
2005
Springer
15 years 12 months ago
2005
Springer
We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We ...
174
click to vote
TABLEAUX
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
166
click to vote
TES
2005
Springer
15 years 12 months ago
2005
Springer
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...