14649 search results - page 2570 / 2930 » Principles of problem solving |
214
click to vote
ENTCS
2007
15 years 7 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
204
Voted
ENTCS
2007
15 years 7 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
175
click to vote
JSAC
2006
15 years 7 months ago
2006
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
209
click to vote
JUCS
2006
15 years 7 months ago
2006
: The growth of sensor networks during the last years is a fact and within this field, wireless sensor networks are growing particularly as there are many applications that demand ...
199
click to vote
JUCS
2006
15 years 7 months ago
2006
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...