6274 search results - page 845 / 1255 » Proofs, Programs, Processes |
151
click to vote
WSC
2007
15 years 7 months ago
2007
Over the 50 year history of discrete event simulation the growth in applications has been facilitated by some key advances in modeling that have simplified the process of building...
180
click to vote
ECML
2007
Springer
15 years 7 months ago
2007
Springer
Many problems in areas such as Natural Language Processing, Information Retrieval, or Bioinformatic involve the generic task of sequence labeling. In many cases, the aim is to assi...
169
click to vote
FPGA
2008
ACM
15 years 7 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
121
click to vote
IJCAI
2007
15 years 6 months ago
2007
Computers have already eclipsed the level of human play in competitive Scrabble, but there remains room for improvement. In particular, there is much to be gained by incorporating...
161
Voted
CSREAESA
2006
15 years 6 months ago
2006
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...