Sciweavers

152 search results - page 3 / 31
» Looking Forward, Looking Back
Sort
View
ACSAC
2005
IEEE
14 years 3 months ago
Looking Back at the Bell-La Padula Model
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
David Elliott Bell
ACL
1998
13 years 11 months ago
Never Look Back: An Alternative to Centering
I propose a model for determining the hearer's attentional state which depends solely on a list of salient discourse entities (S-list). The ordering among the elements of the...
Michael Strube
AAAI
1997
13 years 11 months ago
Using CSP Look-Back Techniques to Solve Real-World SAT Instances
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
Roberto J. Bayardo Jr., Robert Schrag
IPM
2008
78views more  IPM 2008»
13 years 9 months ago
Looking back: On relevance, probabilistic indexing and information retrieval
Forty-eight years ago Maron and Kuhns published their paper, ``On Relevance, Probabilistic Indexing and Information Retrieval" (1960). This was the first paper to present a p...
Paul Thompson