7311 search results - page 104 / 1463 » Time in State Machines |
122
click to vote
NAACL
2003
15 years 5 months ago
2003
We present improvements to a greedy decoding algorithm for statistical machine translation that reduce its time complexity from at least cubic ( ¢¡¤£¦¥¨§ when applied na...
152
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
158
click to vote
MP
2007
15 years 3 months ago
2007
We consider machine scheduling on unrelated parallel machines with the objective to minimize the schedule makespan. We assume that, in addition to its machine dependence, the proce...
191
click to vote
ENTCS
2008
15 years 3 months ago
2008
The accurate measurement of the execution time of Java bytecode is one factor that is important in order to estimate the total execution time of a Java application running on a Ja...
106
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
We present a system that automatically turns the pages of the music score for musicians during a performance. It is based on a new algorithm for following an incoming audio stream ...