1124 search results - page 120 / 225 » Refined quorum systems |
156
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
140
click to vote
FLAIRS
2004
15 years 7 months ago
2004
Initial successes in the area of recommender systems have led to considerable early optimism. However as a research community, we are still in the early days of our understanding ...
166
click to vote
NAACL
2004
15 years 7 months ago
2004
In statistical machine translation, the currently best performing systems are based in some way on phrases or word groups. We describe the baseline phrase-based translation system...
228
click to vote
NAACL
1994
15 years 7 months ago
1994
In this paper we demonstrate that speech recognition can be effectively applied to information retrieval (IR) applications. Our system exploits the fact that the intended words of...
170
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a method for assimilating Lagrangian sensor measurement data into a Shallow Water Equation model. Using our method, the variational data assimilation problem is formulat...