7661 search results - page 1452 / 1533 » Languages and the Computing Profession |
114
click to vote
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
145
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
141
click to vote
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
129
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Remote method invocation in Java RMI allows the flow of control to pass across local Java threads and thereby span multiple virtual machines. However, the resulting distributed t...
148
click to vote
HT
2003
ACM
15 years 9 months ago
2003
ACM
This paper addresses the issue of Web document summarization. As textual content of Web documents is often scarce or irrelevant and existing summarization techniques are based on ...