Sciweavers

2086 search results - page 199 / 418
» Mathematical Theory Exploration
Sort
View
DIGRA
2005
Springer
15 years 9 months ago
Towards an Ontological Language for Game Analysis
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
José Pablo Zagal, Michael Mateas, Clara Fer...
GECCO
2005
Springer
114views Optimization» more  GECCO 2005»
15 years 9 months ago
Exploiting disruption aversion to control code bloat
The authors employ multiple crossovers as a novel natural extension to crossovers as a mixing operator. They use this as a framework to explore the ideas of code growth. Empirical...
Jason Stevens, Robert B. Heckendorn, Terence Soule
153
Voted
TLCA
2005
Springer
15 years 9 months ago
Naming Proofs in Classical Propositional Logic
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
François Lamarche, Lutz Straßburger
HICSS
2003
IEEE
117views Biometrics» more  HICSS 2003»
15 years 9 months ago
Developing Sustainable B2B E-Commerce Scenarios in the Chinese Context A Research Proposal
This paper outlines the theoretical concept of a study currently under way in China. Its main idea is to explore the sustainability of centralized inter-organizational systems for...
Kai Reimers
131
Voted
ATAL
2003
Springer
15 years 9 months ago
Scheduling tasks with precedence constraints to solicit desirable bid combinations
In our previous research we suggested an approach to maximizing agents preferences over schedules of multiple tasks with temporal and precedence constraints. The proposed approach...
Alexander Babanov, John Collins, Maria L. Gini