4211 search results - page 825 / 843 » Types as Abstract Interpretations |
111
click to vote
DBSEC
2000
15 years 1 months ago
2000
With the increasing complexity and dynamics of database and information systems, it becomes more and more di cult for administrative personnel to identify, specify and enforce sec...
AAAI
1994
15 years 1 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
101
click to vote
TREC
2007
15 years 29 days ago
2007
One of the NLM experimental approaches to the 2007 Genomics track question answering task followed the track evaluation design: we attempted identifying exact answers in the form ...
WOTUG
2007
15 years 29 days ago
2007
Abstract. A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expres...
123
click to vote
AAAI
2010
15 years 28 days ago
2010
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...