This paper proposes an adaptive dominance mechanism for diploidy genetic algorithms in dynamic environments. In this scheme, the genotype to phenotype mapping in each gene locus i...
This paper presents an algorithm for drawing a sequence of graphs online. The algorithm strives to maintain the global structure of the graph and thus the user's mental map, ...
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
This paper presents WikiTranslate, a system which performs query translation for cross-lingual information retrieval (CLIR) using only Wikipedia to obtain translations. Queries ar...
Dong Nguyen, Arnold Overwijk, Claudia Hauff, Dolf ...
A multi-dimensional linear predictor of 9-1-1 (emergency) call volumes was built and used to automatically detect emergency events. This is illustrated by analyzing the emergency ...
Hector Jasso, Tony Fountain, Chaitan Baru, William...