2850 search results - page 332 / 570 » On Timed Models and Full Abstraction |
157
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Context unification (CU) is the open problem of solving context equations for trees. We distinguish a new decidable variant of CU? well-nested CU ? and present a new unif...
162
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Kakuro consists in filling a grid with integers that sum up to predefined values. Sums are predefined for each row and column and all integers have to be different in ...
162
click to vote
NETCOOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Modeling the competition among telecommunication operators (or providers) as a repeated game may explain why tacit collusion to maintain high charging prices can be obser...
150
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. This paper describes a simple yet effective method for achieving accurate, believable eye contact between humans and computer-generated characters, which to the author’...
172
click to vote
ICANN
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We apply Long Short-Term Memory (LSTM) recurrent neural networks to a large corpus of unprompted speech- the German part of the VERBMOBIL corpus. Training first on a fra...