20126 search results - page 230 / 4026 » Timed Transition Systems |
ICTAI
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper shows a way to speed up search by using an encoding at bit level to model a particular domain. A bitboard is an unsigned integer whose bits have been given an interpret...
113
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper we propose a new metric called “effective tunneling capacitance” (Ct eff ) to quantify the transient swing in the gate leakage (gate oxide tunneling) current ...
169
click to vote
CA
1998
IEEE
15 years 8 months ago
1998
IEEE
We present MikeTalk, a text-to-audiovisual speech synthesizer which converts input text into an audiovisual speech stream. MikeTalk is built using visemes, which are a set of imag...
131
click to vote
NIPS
2007
15 years 5 months ago
2007
We present an algorithm called Optimistic Linear Programming (OLP) for learning to optimize average reward in an irreducible but otherwise unknown Markov decision process (MDP). O...
142
click to vote
NIPS
2004
15 years 5 months ago
2004
Spike sorting involves clustering spike trains recorded by a microelectrode according to the source neuron. It is a complicated problem, which requires a lot of human labor, partl...