Sciweavers

10182 search results - page 1526 / 2037
» Case Studies
Sort
View
FORTE
2011
14 years 10 months ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...
GECCO
2011
Springer
261views Optimization» more  GECCO 2011»
14 years 10 months ago
Spacing memetic algorithms
We introduce the Spacing Memetic Algorithm (SMA), a formal evolutionary model devoted to a systematic control of spacing (distances) among individuals. SMA uses search space dista...
Daniel Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz
HICSS
2011
IEEE
209views Biometrics» more  HICSS 2011»
14 years 10 months ago
A Risk Management Framework for Design Science Research
As a new and complex form of research, which combines very heterogeneous activities requiring different skills, Design Science Research (DSR) in IS has new and difficult areas of ...
Richard Baskerville, Jan Pries-Heje, John R. Venab...
IBPRIA
2011
Springer
14 years 10 months ago
Classifying Melodies Using Tree Grammars
Abstract. Similarity computation is a difficult issue in music information retrieval, because it tries to emulate the special ability that humans show for pattern recognition in ge...
José Francisco Bernabeu, Jorge Calera-Rubio...
IJIS
2011
95views more  IJIS 2011»
14 years 10 months ago
Modeling and reasoning with qualitative comparative clinical knowledge
The number of clinical trials reports is increasing rapidly due to a large number of clinical trials being conducted, it therefore raises an urgent need to utilize the clinical kno...
Jianbing Ma, Weiru Liu, Anthony Hunter
« Prev « First page 1526 / 2037 Last » Next »