1809 search results - page 94 / 362 » Weakly Computable Real Numbers |
139
Voted
ICTAI
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper a new approach for computing Strong Backdoor sets of boolean formula in conjunctive normal form (CNF) is proposed. It makes an original use of local search technique...
132
Voted
SAINT
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a novel approach to conserve power in networked mobile devices. Our approach exploits communication within a pervasive smart space as an opportunity to save power as op...
162
click to vote
ASC
2004
15 years 3 months ago
2004
This paper proposes the applications of soft computing to deal with the constraints in conventional modelling techniques of the dynamic extrusion process. The proposed technique i...
138
click to vote
GD
2009
Springer
15 years 7 months ago
2009
Springer
We show that recognizing intersection graphs of convex sets has the same complexity as deciding truth in the existential theory of the reals. Comparing this to similar results on t...
125
click to vote
CGF
2006
15 years 4 months ago
2006
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...