Sciweavers

2381 search results - page 424 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
IJON
2008
88views more  IJON 2008»
15 years 1 months ago
Neural network construction and training using grammatical evolution
The term neural network evolution usually refers to network topology evolution leaving the network's parameters to be trained using conventional algorithms. In this paper we ...
Ioannis G. Tsoulos, Dimitris Gavrilis, Euripidis G...
JCIT
2008
154views more  JCIT 2008»
15 years 1 months ago
A Multi-Agent Framework for Testing 3-Tier Distributed Systems Architecture
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
Sunitha Ramanujam, Hany F. El Yamany, Miriam A. M....
CORR
2007
Springer
126views Education» more  CORR 2007»
15 years 1 months ago
Information Criteria and Arithmetic Codings : An Illustration on Raw Images
In this paper we give a short theoretical description of the general predictive adaptive arithmetic coding technique. The links between this technique and the works of J. Rissanen...
Guilhem Coq, Olivier Alata, Marc Arnaudon, Christi...
JCSS
2008
159views more  JCSS 2008»
15 years 1 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...
IS
2006
15 years 1 months ago
A proof markup language for Semantic Web services
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
Paulo Pinheiro da Silva, Deborah L. McGuinness, Ri...