8874 search results - page 131 / 1775 » A New Implementation of Automath |
131
click to vote
SIGECOM
2003
ACM
15 years 9 months ago
2003
ACM
This paper discusses an interested party who wishes to influence the behavior of agents in a game (multi-agent interaction), which is not under his control. The interested party ...
117
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: Tissue Microarrays (TMAs) have emerged as a powerful tool for examining the distribution of marker molecules in hundreds of different tissues displayed on a single sli...
142
click to vote
CHES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper discusses the state-of-the-art fast software implementation of block ciphers on Intel’s new microprocessor Core2, particularly concentrating on “bitslice i...
142
click to vote
SBACPAD
2006
IEEE
15 years 9 months ago
2006
IEEE
Neural-inspired branch predictors achieve very low branch misprediction rates. However, previously proposed implementations have a variety of characteristics that make them challe...
140
click to vote
SMA
2005
ACM
15 years 9 months ago
2005
ACM
Nef polyhedra in d-dimensional space are the closure of half-spaces under boolean set operation. In consequence, they can represent non-manifold situations, open and closed sets, ...