Sciweavers

3504 search results - page 126 / 701
» Computational Aspects of Equilibria
Sort
View
AOSD
2011
ACM
14 years 10 months ago
An aspect-oriented approach for implementing evolutionary computation applications
Object-oriented frameworks support design and code reuse for specific application domains. To facilitate the development of evolutionary computation (EC) programs, such as geneti...
Andres J. Ramirez, Adam C. Jensen, Betty H. C. Che...
IWCIA
2004
Springer
15 years 11 months ago
Tensor Algebra: A Combinatorial Approach to the Projective Geometry of Figures
Abstract. This paper explores the combinatorial aspects of symmetric and antisymmetric forms represented in tensor algebra. The development of geometric perspective gained from ten...
David N. R. McKinnon, Brian C. Lovell
APLAS
2007
ACM
15 years 10 months ago
On a Tighter Integration of Functional and Logic Programming
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
Bernd Braßel, Frank Huch
DGO
2007
140views Education» more  DGO 2007»
15 years 7 months ago
Governing with information technologies
This paper outlines the project highlights for the research project, Governing with Information Technologies. Categories and Subject Descriptors K.4.1 [Computers and Society]: Pub...
Rajiv C. Shah, Jay P. Kesan
JSC
2006
122views more  JSC 2006»
15 years 6 months ago
An automated prover for Zermelo-Fraenkel set theory in Theorema
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
Wolfgang Windsteiger