Sciweavers

10996 search results - page 375 / 2200
» Future Directions in Computing
Sort
View
BIB
2010
131views more  BIB 2010»
15 years 6 months ago
Multi-scale modelling in computational biomedicine
The inherent complexity of biomedical systems is well recognized; they are multi-scale, multi-science systems, bridging a wide range of temporal and spatial scales. This article r...
Peter M. A. Sloot, Alfons G. Hoekstra
ENTCS
2008
102views more  ENTCS 2008»
15 years 6 months ago
Programming Languages For Interactive Computing
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
Roly Perera
ASC
2004
15 years 6 months ago
Solution to global stability of fuzzy regulators via evolutionary computation
A novel approach for solving fuzzy model-based stability problems via evolutionary computation (EC) is presented. Gain scheduling problem of a multi-model fuzzy system that satisf...
Lanka Udawatta, Keigo Watanabe, Kazuo Kiguchi, Kiy...
FSTTCS
2010
Springer
15 years 4 months ago
On extracting computations from propositional proofs (a survey)
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
Pavel Pudlák
IBERAMIA
2010
Springer
15 years 4 months ago
A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
Teresa Alsinet, Ramón Béjar, Lluis G...