Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
This is a summary of the presentations made in the poster session and the two open space sessions at the TMRA 2006 conference. The poster session consists of peer-reviewed conferen...
Computer graphics has evolved considerably over the past few decades. As computer science, digital arts, and other areas of study that use computer graphics continue to evolve and...
Frederico C. Figueiredo, Dena Elisabeth Eber, Joaq...
Simulated annealing is a general optimisation algorithm, based on hill-climbing. As in hill-climbing, new candidate solutions are selected from the ‘neighbourhood’ of the curre...
Lars Nolle, Alec Goodyear, Adrian A. Hopgood, Phil...
Due to unique characteristics of sensor nodes, choosing an energyefficient modulation scheme with low-complexity implementation (refereed to as green modulation) is a critical fa...
Jamshid Abouei, Konstantinos N. Plataniotis, Subba...