Sciweavers

2179 search results - page 97 / 436
» Symmetry within Solutions
Sort
View
WOA
2010
13 years 7 months ago
DomoBuilder: A MultiAgent Architecture for Home Automation
Current technologies permit people to make use of various systems able to fulfill most of their needs while being at home. However, their use is often not intuitive and they are al...
Andrea Addis, Giuliano Armano
FAC
2010
106views more  FAC 2010»
13 years 7 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
JAT
2010
171views more  JAT 2010»
13 years 4 months ago
Chebyshev approximation of the null function by an affine combination of complex exponential functions
We describe the theoretical solution of an approximation problem that uses a finite weighted sum of complex exponential functions. The problem arises in an optimization model for t...
Paul Armand, Joël Benoist, Elsa Bousquet
GECCO
2003
Springer
112views Optimization» more  GECCO 2003»
14 years 3 months ago
Limits in Long Path Learning with XCS
The development of the XCS Learning Classifier System [26] has produced a stable implementation, able to consistently identify the accurate and optimally general population of cla...
Alwyn Barry
VTC
2007
IEEE
103views Communications» more  VTC 2007»
14 years 4 months ago
On the Problems of Symbol-Spaced Tapped-Delay-Line Models for WSSUS Channels
—This paper reviews the pertinence and statistical behavior of symbol-spaced tapped-delay-line (TDL) models which are widely used to model wide-sense stationary uncorrelated scat...
Carlos A. Gutiérrez-Díaz-de-Le&oacut...