7112 search results - page 1250 / 1423 » Power in normative systems |
AAECC
2005
Springer
13 years 9 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
SIMULATION
2008
13 years 9 months ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
AIR
2005
13 years 9 months ago
2005
Term-weighting schemes are vital to the performance of Information Retrieval models that use term frequency characteristics to determine the relevance of a document. The vector spa...
TCAD
2008
13 years 9 months ago
2008
Soft-error induced reliability problems have become a major challenge in designing new generation microprocessors. Due to the on-chip caches' dominant share in die area and tr...
TCOM
2008
13 years 9 months ago
2008
Distributed space-time coding is a cooperative transmission scheme proposed for wireless relay networks. With this scheme, antennas of the distributive relays work as transmit ante...