5550 search results - page 538 / 1110 » Different Approaches to Proof Systems |
218
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
201
click to vote
USS
2008
15 years 9 months ago
2008
We analyze several recent schemes for watermarking network flows based on splitting the flow into intervals. We show that this approach creates time dependent correlations that en...
198
click to vote
WSC
1998
15 years 8 months ago
1998
Most features in commercial simulation packages are often omitted in parallel simulation benchmarks, because they neither affect the overall correctness of the simulation protocol...
207
click to vote
AAAI
1994
15 years 8 months ago
1994
We have implemented an incremental lexical acquisition mechanism that learns the meanings of previously unknown words from the context in which they appear, as a part of the proce...
196
click to vote
ENTCS
2006
15 years 7 months ago
2006
One of the most important aspects of a Web document is its up-to-dateness or recency. Up-to-dateness is particularly relevant to Web documents because they usually contain content...