7167 search results - page 1235 / 1434 » A Technique for Invariant Generation |
225
click to vote
SEMWEB
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
192
click to vote
VIZSEC
2005
Springer
16 years 20 days ago
2005
Springer
The massive amount of alarm data generated from intrusion detection systems is cumbersome for network system administrators to analyze. Often, important details are overlooked and...
176
click to vote
APGV
2004
ACM
16 years 19 days ago
2004
ACM
The transition from traditional 24-bit RGB to high dynamic range (HDR) images is hindered by excessively large file formats with no backwards compatibility. In this paper, we prop...
239
click to vote
SIGIR
2004
ACM
16 years 19 days ago
2004
ACM
Information filtering has made considerable progress in recent years.The predominant approaches are content-based methods and collaborative methods. Researchers have largely conc...
218
click to vote
SETA
2004
Springer
16 years 16 days ago
2004
Springer
We enumerate the inequivalent self-dual additive codes over GF(4) of blocklength n, thereby extending the sequence A090899 in The On-Line Encyclopedia of Integer Sequences from n =...