16218 search results - page 446 / 3244 » Standards |
174
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeab...
191
click to vote
DELTA
2004
IEEE
15 years 11 months ago
2004
IEEE
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
163
click to vote
EH
2004
IEEE
15 years 11 months ago
2004
IEEE
Intrinsic evolution is often limited to using standard electronic components as the media for problem solving. It has been argued that because such components are human designed a...
187
click to vote
CIT
2006
Springer
15 years 11 months ago
2006
Springer
IEEE 754r is the ongoing revision to the IEEE 754 floating point standard. A major enhancement to the standard is the addition of decimal format, thus the design of BCD arithmetic...
199
click to vote
FOCS
2004
IEEE
15 years 11 months ago
2004
IEEE
In this work we look back into the proof of the PCP Theorem, with the goal of finding new proofs that are "more combinatorial" and arguably simpler. For that we introduc...