Sciweavers

626 search results - page 100 / 126
» The Automatic Interpretation of Nominalizations
Sort
View
ATVA
2010
Springer
284views Hardware» more  ATVA 2010»
13 years 8 months ago
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
Ukachukwu Ndukwu, A. K. McIver
GECCO
2008
Springer
104views Optimization» more  GECCO 2008»
13 years 8 months ago
Protein-protein functional association prediction using genetic programming
Determining if a group of proteins are functionally associated among themselves is an open problem in molecular biology. Within our long term goal of applying Genetic Programming ...
Beatriz García, Ricardo Aler, Agapito Ledez...
GECCO
2008
Springer
123views Optimization» more  GECCO 2008»
13 years 8 months ago
MLS security policy evolution with genetic programming
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...
Yow Tzu Lim, Pau-Chen Cheng, Pankaj Rohatgi, John ...
AI
2008
Springer
13 years 7 months ago
Fully generated scripted dialogue for embodied agents
: This paper presents the NECA approach to the generation of dialogues between Embodied Conversational Agents (ECAs). This approach consist of the automated constructtion stract sc...
Kees van Deemter, Brigitte Krenn, Paul Piwek, Mart...
ANOR
2010
135views more  ANOR 2010»
13 years 7 months ago
A framework of irregularity enlightenment for data pre-processing in data mining
Abstract Irregularities are widespread in large databases and often lead to erroneous conclusions with respect to data mining and statistical analysis. For example, considerable bi...
Siu-Tong Au, Rong Duan, Siamak G. Hesar, Wei Jiang