3690 search results - page 345 / 738 » Computation with classical sequents |
176
click to vote
VRML
2006
ACM
16 years 23 days ago
2006
ACM
The availability of more powerful mobile devices, sometimes equipped with graphics accelerators, is making it easier to experiment with mobile 3D graphics. In this paper, we explo...
178
click to vote
ANSS
2005
IEEE
16 years 13 days ago
2005
IEEE
When performed on a classical computer, the simulation of quantum circuits is usually an exponential job. The methodology based on Hardware Description Languages is able to isolat...
173
click to vote
CEC
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract- Sequential parameter optimization is a heuristic that combines classical and modern statistical techniques to improve the performance of search algorithms. To demonstrate...
146
click to vote
CIBCB
2005
IEEE
16 years 13 days ago
2005
IEEE
Functional RNAs (fRNAs) play a key role in gene regulation, at both the transcriptional and translational levels. Identification of fRNA genes can be difficult, given that some cla...
181
click to vote
CIG
2005
IEEE
16 years 13 days ago
2005
IEEE
Ms. Pac-Man is a challenging, classic arcade game with a certain cult status. This paper reports attempts to evolve a Pac-Man player, where the control algorithm uses a neural net...