2647 search results - page 229 / 530 » Solving Term Inequalities |
213
click to vote
IDMS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we propose a new paradigm for local communication between devices in Ubiquitous Computing environments, assuming a multitude of computerized everyday appliances comm...
182
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
Foreign exchange (forex) market trading using evolutionary algorithms is an active and controversial area of research. We investigate the use of a linear genetic programming (LGP)...
191
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
168
click to vote
AMI
2008
Springer
15 years 8 months ago
2008
Springer
With today's technology, elderly users could be supported in living independently in their own homes for a prolonged period of time. Commercially available products enable rem...
185
click to vote
ECCV
2008
Springer
15 years 8 months ago
2008
Springer
We analyze the problem of reconstructing a 2D function that approximates a set of desired gradients and a data term. The combined data and gradient terms enable operations like mod...