Sciweavers

3145 search results - page 511 / 629
» Algebraic Linear Orderings
Sort
View
ICFEM
2009
Springer
15 years 11 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
ICIC
2009
Springer
15 years 11 months ago
Function Sequence Genetic Programming
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
Shixian Wang, Yuehui Chen, Peng Wu
WIKIS
2009
ACM
15 years 11 months ago
rv you're dumb: identifying discarded work in Wiki article history
Wiki systems typically display article history as a linear sequence of revisions in chronological order. This representation hides deeper relationships among the revisions, such a...
Michael D. Ekstrand, John Riedl
BIBE
2008
IEEE
137views Bioinformatics» more  BIBE 2008»
15 years 11 months ago
A sparse variational Bayesian approach for fMRI data analysis
— The aim of this work is to propose a new approach for the determination of the design matrix in fMRI experiments. The design matrix embodies all available knowledge about exper...
Vangelis P. Oikonomou, Evanthia E. Tripoliti, Dimi...
CDC
2008
IEEE
126views Control Systems» more  CDC 2008»
15 years 11 months ago
Conditions for tracking in networked control systems
— In this paper we obtain information theoretical conditions for tracking in linear time-invariant control systems. We consider the particular case where the closed loop contains...
Ivan Lopez Hurtado, Chaouki T. Abdallah, Sudharman...