972 search results - page 87 / 195 » presence 2007 |
ENTCS
2007
14 years 12 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
EOR
2007
14 years 12 months ago
2007
In today’s competitive electronic marketplace, companies try to create long-lasting relations with their online customers. Log files and registration forms generate millions of...
109
click to vote
ET
2007
14 years 11 months ago
2007
The computational paradigm known as quantum-dot cellular automata (QCA) encodes binary information in the charge configuration of Coulomb-coupled quantum-dot cells. Functioning QC...
HEURISTICS
2007
14 years 11 months ago
2007
: In this paper we present, to our knowledge, the first application of a metaheuristic technique to the very popular and NP-complete puzzle known as ‘sudoku’. We see that this ...
112
click to vote
IIE
2007
14 years 11 months ago
2007
The “digital society” provides not only with new technology, but also with new concepts. Information plays a central role and becomes a valuable good, but knowledge cannot be r...