3047 search results - page 413 / 610 » On the Meaning of Logical Completeness |
183
click to vote
VTS
2003
IEEE
16 years 14 days ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
213
click to vote
CASES
2003
ACM
16 years 14 days ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
172
click to vote
CP
2003
Springer
16 years 13 days ago
2003
Springer
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We ...
184
click to vote
FM
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
178
click to vote
IFSA
2003
Springer
16 years 12 days ago
2003
Springer
In fuzzy modeling (FM), the quantity and quality of the training set is crucial to properly grasp the behavior of the system being modeled. However, the available data are often n...