6020 search results - page 743 / 1204 » A New Approach to Model Counting |
154
click to vote
IJCSA
2006
15 years 6 months ago
2006
The philosophy literature has been struggling with the problem of defining causality. There has been extensive discussion about it. Hume taught that talk of causation was metaphys...
211
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
179
click to vote
TECS
2008
15 years 6 months ago
2008
straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...
204
click to vote
JAIR
2010
15 years 5 months ago
2010
To tackle the vocabulary problem in conversational systems, previous work has applied unsupervised learning approaches on co-occurring speech and eye gaze during interaction to au...
206
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Conficker [26] is the most recent widespread, well-known worm/bot. According to several reports [16, 28], it has infected about 7 million to 15 million hosts and the victims are s...