Sciweavers

3381 search results - page 252 / 677
» Extending Dependencies with Conditions
Sort
View
ACSC
2008
IEEE
16 years 1 months ago
Relative simulation and model checking of real-time processes
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
Colin J. Fidge
ACSC
2008
IEEE
16 years 1 months ago
Automatic thesaurus construction
1 In this paper we introduce a novel method of automating thesauri using syntactically constrained distributional similarity. With respect to syntactically conditioned cooccurrence...
Dongqiang Yang, David M. W. Powers
BMEI
2008
IEEE
16 years 1 months ago
Comparison of ESI-MS Spectra in MassBank Database
Metabolomics is one of the most important topics in biology and medical science. In metabolomics, metabolites from biological samples are measured by mass spectrometry (MS) and th...
Hisayuki Horai, Masanori Arita, Takaaki Nishioka
CEC
2008
IEEE
16 years 1 months ago
A particle swarm optimizer with lifespan for global optimization on multimodal functions
—The particle swarm optimizer (PSO) is a popular computing technique of swarm intelligence, known for its fast convergence speed and easy implementation. All the particles in the...
Jun Zhang, Ying Lin
CLUSTER
2008
IEEE
16 years 1 months ago
Divisible load scheduling with improved asymptotic optimality
—Divisible load model allows scheduling algorithms that give nearly optimal makespan with practical computational complexity. Beaumont et al. have shown that their algorithm prod...
Reiji Suda