Sciweavers

3338 search results - page 10 / 668
» Assigning Papers to Referees
Sort
View
SAT
2004
Springer
111views Hardware» more  SAT 2004»
14 years 27 days ago
A Note on Satisfying Truth-Value Assignments of Boolean Formulas
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 ...
Zbigniew Stachniak
TMRA
2007
Springer
14 years 1 months ago
Report from the Open Space and Poster Sessions
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...
Lars Marius Garshol, Lutz Maicher
SIGGRAPH
2003
ACM
14 years 24 days ago
CGEMS: Computer Graphics Educational Materials Server
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...
FUZZY
2001
Springer
122views Fuzzy Logic» more  FUZZY 2001»
14 years 1 days ago
On Step Width Adaptation in Simulated Annealing for Continuous Parameter Optimisation
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...
ICASSP
2010
IEEE
13 years 7 months ago
Green modulation in dense Wireless Sensor Networks
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...