6020 search results - page 9 / 1204 » A New Approach to Model Counting |
121
click to vote
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
HASE
1998
IEEE
15 years 3 months ago
1998
IEEE
Effective discrimination between transient and permanent faults is a very important practical problem in (dependable) system design. A count-andthreshold mechanism named -count, d...
107
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
A sequence is nonrepetitive if it does not contain two adjacent identical blocks. The remarkable construction of Thue asserts that 3 symbols are enough to build an arbitrarily long...
105
click to vote
FIMI
2003
15 years 1 months ago
2003
Existing association rule mining algorithms suffer from many problems when mining massive transactional datasets. Some of these major problems are: (1) the repetitive I/O disk sca...
102
click to vote
TELSYS
2002
14 years 11 months ago
2002
The Routing Information Protocol (RIP) may introduce misleading routing information into the routing table, due to network topology changes such as link or router failures. This is...