12193 search results - page 2052 / 2439 » It's not all about |
193
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
207
Voted
ER
2004
Springer
16 years 7 days ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...
144
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
This paper describes POPE-GP, a system that makes use of the NSGA-II multiobjective evolutionary algorithm as an alternative, parameter-free technique for eliminating program bloat...
194
click to vote
PKC
2004
Springer
16 years 5 days ago
2004
Springer
In a practical system, a message is often encrypted more than once by different encryptions, here called multiple encryption, to enhance its security. Additionally, new features ...
152
click to vote
VLDB
2004
ACM
16 years 5 days ago
2004
ACM
Existing studies on time series are based on two categories of distance functions. The first category consists of the Lp-norms. They are metric distance functions but cannot supp...