Sciweavers

4934 search results - page 643 / 987
» complexity 2008
Sort
View
ECEASST
2008
84views more  ECEASST 2008»
15 years 6 months ago
An Incremental OCL Compiler for Modeling Environments
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
Tamás Vajk, Gergely Mezei, Tihamer Levendov...
INFORMATICALT
2008
122views more  INFORMATICALT 2008»
15 years 6 months ago
Modeling Phone Duration of Lithuanian by Classification and Regression Trees, using Very Large Speech Corpus
Classification and regression tree approach was used in this research to model phone duration of Lithuanian. 300 thousand samples of vowels and 400 thousand samples of consonants e...
Giedrius Norkevicius, Gailius Raskinis
MICS
2008
129views more  MICS 2008»
15 years 6 months ago
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
Josef Urban, Geoff Sutcliffe
PRL
2008
161views more  PRL 2008»
15 years 6 months ago
Automatic kernel clustering with a Multi-Elitist Particle Swarm Optimization Algorithm
This article introduces a scheme for clustering complex and linearly non-separable datasets, without any prior knowledge of the number of naturally occurring groups in the data. T...
Swagatam Das, Ajith Abraham, Amit Konar
PVLDB
2008
104views more  PVLDB 2008»
15 years 6 months ago
Scalable multi-query optimization for exploratory queries over federated scientific databases
The diversity and large volumes of data processed in the Natural Sciences today has led to a proliferation of highlyspecialized and autonomous scientific databases with inherent a...
Anastasios Kementsietsidis, Frank Neven, Dieter Va...