This paper addresses the interaction between randomization, with restart strategies, and learning, an often crucial technique for proving unsatisfiability. We use instances of SAT ...
Decision support systems that capture, preserve, and reuse implicit knowledge can greatly benefit from explicitly using context. The development of this type of system can benefit...
Johann V. Nguyen, Brian C. Becker, Avelino J. Gonz...
: The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be s...
Holger Stenzhorn, Stefan Schulz, Martin Boeker, Ba...
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
— Simulation is becoming an increasingly important aspect of mobile robots. As we are better able to simulate the real world, we can usefully perform more research in simulated e...