6527 search results - page 1119 / 1306 » On Typing Information Flow |
208
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
: We study the satisfiability of randomly generated formulas formed by M clauses of exactly K literals over N Boolean variables. For a given value of N the problem is known to be m...
232
click to vote
IJCV
2000
15 years 7 months ago
2000
We describe how to model the appearance of a 3-D object using multiple views, learn such a model from training images, and use the model for object recognition. The model uses pro...
169
click to vote
IJMMS
2000
15 years 7 months ago
2000
In this paper we present an approach to document enrichment, which consists of developing and integrating formal knowledge models with archives of documents, to provide intelligent...
171
click to vote
COMPSEC
2002
15 years 7 months ago
2002
In this paper an insider attack is considered to be deliberate misuse by those who are authorized to use computers and networks. Applying this definition in real-life settings to ...
206
click to vote
JECR
2000
15 years 7 months ago
2000
This paper describes an agent-based electronic market system whose underlying communication and cooperation protocols establish an artificial environment with advanced features. U...