3799 search results - page 482 / 760 » An Engineering Approach to Formal Methods |
181
click to vote
ACMACE
2006
ACM
16 years 19 days ago
2006
ACM
Research in Interactive Narrative has developed new approaches to the behaviour of virtual actors, but has dedicated little attention to the physical behaviour of the environment ...
170
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
174
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
In the present work we study the appropriateness of a number of linear and non-linear regression methods, employed on the task of speech segmentation, for combining multiple phone...
186
click to vote
SAS
2012
Springer
13 years 9 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
196
click to vote
TEC
2012
13 years 9 months ago
2012
Recently, the generalization framework in co-evolutionary learning has been theoretically formulated and demonstrated in the context of game-playing. Generalization performance of...