Sciweavers

587 search results - page 89 / 118
» Mathematical Analysis of Multi-Agent Systems
Sort
View
FM
2009
Springer
155views Formal Methods» more  FM 2009»
15 years 4 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
ICNC
2009
Springer
15 years 4 months ago
Estimating Strength of Concrete Using a Grammatical Evolution
The main purpose of this paper is to propose an incorporating a grammatical evolution (GE) into the genetic algorithm (GA), called GEGA, and apply it to estimate the compressive s...
Hsun-Hsin Hsu, Li Chen, Chang-Huan Kou, Tai-Sheng ...
ICPR
2008
IEEE
15 years 4 months ago
Radon transform and Conformal Geometric Algebra with lines
In this paper we apply the classic theory of Harmonic Analysis and the Conformal Geometric Algebra (CGA) to evaluate the Fourier transform on the unit sphere S2 and on the rotatio...
Luis Falcón-Morales, Eduardo Bayro-Corrocha...
ICCS
2004
Springer
15 years 3 months ago
A Cartesian Closed Category of Approximable Concept Structures
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
Pascal Hitzler, Guo-Qiang Zhang
NIPS
2001
14 years 11 months ago
Generating velocity tuning by asymmetric recurrent connections
Asymmetric lateral connections are one possible mechanism that can account for the direction selectivity of cortical neurons. We present a mathematical analysis for a class of the...
Xiaohui Xie, Martin A. Giese