1026 search results - page 64 / 206 » A Methodology for Equational Reasoning |
CORR
2006
Springer
13 years 9 months ago
2006
Springer
The length-based approach is a heuristic for solving randomly generated equations in groups which possess a reasonably behaved length function. We describe several improvements of ...
MP
2008
13 years 9 months ago
2008
In this paper we discuss computational complexity and risk averse approaches to two and multistage stochastic programming problems. We argue that two stage (say linear) stochastic ...
ACIIDS
2010
IEEE
13 years 7 months ago
2010
IEEE
The environments in which ambient agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an ambient a...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
PATAT
2004
Springer
14 years 2 months ago
2004
Springer
Metaheuristic approaches to examination timetabling problems are usually split up into two phases: initialisation phase in which a heuristic is employed to construct an initial sol...