3108 search results - page 227 / 622 » The Elements of Computer Credibility |
171
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
157
click to vote
ESA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We show that optimal alphabetic binary trees can be constructed in O(n) time if the elements of the initial sequence are drawn from a domain that can be sorted in linear ...
197
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...
165
click to vote
ICN
2005
Springer
16 years 2 days ago
2005
Springer
In the next generation Internet, the network should not only be considered as a communication medium, but also as an endless source of services available to the end-systems. These ...
147
click to vote
ICNC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A novel text watermarking algorithm is presented. It combines natural language watermarking and Chinese syntax based on BP neural networks. Since the watermarking signals...