6020 search results - page 305 / 1204 » A New Approach to Model Counting |
195
click to vote
TASLP
2010
15 years 5 months ago
2010
— Extracting the main melody from a polyphonic music recording seems natural even to untrained human listeners. To a certain extent it is related to the concept of source separat...
150
click to vote
MSWIM
2003
ACM
15 years 12 months ago
2003
ACM
— The characteristics of wireless packet loss have been studied extensively. Most efforts focus on the temporal loss characteristics at individual stations. For multicast protoco...
197
click to vote
BDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
IT organizations are facing significant business and technical challenges today. On the business realm, companies are increasingly outsourcing their IT operations to specialized I...
302
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
200
click to vote
IVEVA
2004
15 years 8 months ago
2004
Today, the development of a VR application is still a long and difficult task as new features are being developed for Virtual Reality. There is a need to have better modelling tool...