Sciweavers

2362 search results - page 306 / 473
» Programming in Standard ML
Sort
View
INFSOF
2006
97views more  INFSOF 2006»
15 years 4 months ago
Applying Model-Driven Architecture to achieve distribution transparencies
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
Apostolos Zarras
JSW
2008
105views more  JSW 2008»
15 years 4 months ago
Representing Procedural Logic in XML
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
Albert D. Bethke
ENTCS
2007
96views more  ENTCS 2007»
15 years 4 months ago
An Observational Theory for Mobile Ad Hoc Networks
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
Massimo Merro
122
Voted
AIR
2005
122views more  AIR 2005»
15 years 4 months ago
The Genetic Kernel Support Vector Machine: Description and Evaluation
The Support Vector Machine (SVM) has emerged in recent years as a popular approach to the classification of data. One problem that faces the user of an SVM is how to choose a kerne...
Tom Howley, Michael G. Madden
ARTMED
2002
121views more  ARTMED 2002»
15 years 3 months ago
An evolutionary artificial neural networks approach for breast cancer diagnosis
This paper presents an evolutionary artificial neural network approach based on the pareto differential evolution algorithm augmented with local search for the prediction of breas...
Hussein A. Abbass