9405 search results - page 990 / 1881 » Computing a Model of Set Theory |
196
click to vote
SIGIR
2004
ACM
16 years 1 months ago
2004
ACM
Document clustering has long been an important problem in information retrieval. In this paper, we present a new clustering algorithm ASI1, which uses explicitly modeling of the s...
207
click to vote
ECAI
2004
Springer
16 years 1 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
219
click to vote
INFOCOM
2003
IEEE
16 years 28 days ago
2003
IEEE
We investigate network management information for light-path assessment to dynamically set up end-to-end lightpaths across administrative domains. Our focus is on invetigating what...
188
click to vote
SACMAT
2003
ACM
16 years 27 days ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC...
200
click to vote
TLDI
2003
ACM
16 years 27 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...