1683 search results - page 266 / 337 » Testing system virtual machines |
145
click to vote
APIN
2002
15 years 3 months ago
2002
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
154
click to vote
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a novel drum transcription system for polyphonic music. The use of a band-wise harmonic/noise decomposition allows the suppression of the deterministic part of...
112
click to vote
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
132
Voted
EMNLP
2008
15 years 5 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
147
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...