Sciweavers

2086 search results - page 46 / 418
» Mathematical Theory Exploration
Sort
View
SYNASC
2008
IEEE
277views Algorithms» more  SYNASC 2008»
14 years 3 months ago
An Adaptive Particle Swarm Optimizer Using Balanced Explorative and Exploitative Behaviors
Particle Swarm Optimization (PSO) has recently emerged as a nature inspired algorithm for real parameter optimization. This article describes a method for improving the final accur...
Sayan Ghosh, Debarati Kundu, Kaushik Suresh, Swaga...
JIIS
2008
104views more  JIIS 2008»
13 years 8 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
ECIS
2011
12 years 8 months ago
Exploring the contribution of information technology to governance, risk management, and compliance (GRC) initiatives
1 Information technology (IT) has a tremendous impact on the discipline of accounting by introducing new ways of retrieving and processing information about performance deviations ...
Manuel Wiesche, Michael Schermann, Helmut Krcmar
GECCO
2006
Springer
175views Optimization» more  GECCO 2006»
14 years 10 days ago
A computational theory of adaptive behavior based on an evolutionary reinforcement mechanism
Two mathematical and two computational theories from the field of human and animal learning are combined to produce a more general theory of adaptive behavior. The cornerstone of ...
J. J. McDowell, Paul L. Soto, Jesse Dallery, Saule...
CALCO
2009
Springer
133views Mathematics» more  CALCO 2009»
14 years 3 months ago
Stone Duality and the Recognisable Languages over an Algebra
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
Mai Gehrke