Sciweavers

2562 search results - page 292 / 513
» Components of the Fundamental Category
Sort
View
GECCO
2007
Springer
149views Optimization» more  GECCO 2007»
16 years 1 months ago
Optimal antenna placement using a new multi-objective chc algorithm
Radio network design (RND) is a fundamental problem in cellular networks for telecommunications. In these networks, the terrain must be covered by a set of base stations (or anten...
Antonio J. Nebro, Enrique Alba, Guillermo Molina, ...
GECCO
2007
Springer
173views Optimization» more  GECCO 2007»
16 years 1 months ago
UCSpv: principled voting in UCS rule populations
Credit assignment is a fundamental issue for the Learning Classifier Systems literature. We engage in a detailed investigation of credit assignment in one recent system called UC...
Gavin Brown, Tim Kovacs, James A. R. Marshall
APSEC
2006
IEEE
16 years 28 days ago
Genericity - a "Missing in Action" Key to Software Simplification and Reuse
We hypothesize that certain program complexities and difficulties to realize reuse potentials have their roots in weak mechanisms for generic design of today’s programming techn...
Stan Jarzabek
ACL2
2006
ACM
16 years 25 days ago
A verifying core for a cryptographic language compiler
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
Lee Pike, Mark Shields, John Matthews
164
Voted
ACMACE
2006
ACM
16 years 25 days ago
Motion-capture-based avatar control framework in third-person view virtual environments
This paper presents a motion-capture-based control framework for third-person view virtual reality applications. Using motion capture devices, a user can directly control the full...
Masaki Oshita