873 search results - page 76 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
154
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
143
click to vote
TCAD
2010
15 years 27 days ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
169
click to vote
IDEAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
190
click to vote
IRCDL
2008
15 years 7 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
201
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...