7311 search results - page 250 / 1463 » Time in State Machines |
179
click to vote
ISQED
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
145
click to vote
CIE
2005
Springer
16 years 23 days ago
2005
Springer
In this paper, we show that closed-form analytic maps and flows can simulate Turing machines in an error-robust manner. The maps and ODEs defining the flows are explicitly obtai...
175
click to vote
MVA
1992
15 years 8 months ago
1992
Image processing applications need shorter processing times. This requires the parallelization of low and mid levels sequential process chains on specific machines. In this paper ...
166
click to vote
ISMIR
2005
Springer
16 years 22 days ago
2005
Springer
This paper describes a novel music playback interface, called Musicream, which lets a user unexpectedly come across various musical pieces similar to those liked by the user. With...
180
click to vote
ALT
2009
Springer
16 years 4 months ago
2009
Springer
We consider the problem of learning a finite automaton M of n states with input alphabet X and output alphabet Y when a teacher has helpfully or randomly labeled the states of M u...