Sciweavers

4266 search results - page 653 / 854
» Search for More Declarativity
Sort
View
152
Voted
LOPSTR
2004
Springer
15 years 10 months ago
Determinacy Analysis for Logic Programs Using Mode and Type Information
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
Pedro López-García, Francisco Bueno,...
PPSN
2004
Springer
15 years 10 months ago
SPEA2+: Improving the Performance of the Strength Pareto Evolutionary Algorithm 2
Multi-objective optimization methods are essential to resolve real-world problems as most involve several types of objects. Several multi-objective genetic algorithms have been pro...
Mifa Kim, Tomoyuki Hiroyasu, Mitsunori Miki, Shiny...
136
Voted
SEMWEB
2004
Springer
15 years 10 months ago
Top-k Query Evaluation for Schema-Based Peer-to-Peer Networks
Abstract. Increasing the number of peers in a peer-to-peer network usually increases the number of answers to a given query as well. While having more answers is nice in principle,...
Wolfgang Nejdl, Wolf Siberski, Uwe Thaden, Wolf-Ti...
122
Voted
HICSS
2003
IEEE
166views Biometrics» more  HICSS 2003»
15 years 9 months ago
Comparative Genome Annotation for Mapping, Prediction and Discovery of Genes
We have used comparative genome analyses to produce annotated maps for large genomic loci. The first example is a locus on mouse chromosome 9 that is syntenic to human chromosome ...
Claudia Kappen, J. Michael Salbaum
HICSS
2003
IEEE
129views Biometrics» more  HICSS 2003»
15 years 9 months ago
Towards an Ontology for e-Document Management in Public Administration - the Case of Schleswig-Holstein
An action research project in the state administration of Schleswig-Holstein (Germany) seeks to answer the following questions: How can we organize and present edocuments so that ...
Ralf Klischewski