983 search results - page 148 / 197 » Negative-Weight Cycle Algorithms |
DAC
2003
ACM
14 years 11 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
DAC
2004
ACM
14 years 11 months ago
2004
ACM
For multi-gigahertz synchronous designs in nanometer technologies, multiple clock cycles are needed to cross the global interconnects, thus making it necessary to have pipelined g...
MICCAI
2006
Springer
14 years 11 months ago
2006
Springer
Although magnetic resonance imaging is considered to be non-invasive, there is at least one effect on the patient which has to be monitored: The heating which is generated by absor...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
In this paper, we define the problem of topic-sentiment analysis on Weblogs and propose a novel probabilistic model to capture the mixture of topics and sentiments simultaneously....
KDD
2005
ACM
14 years 10 months ago
2005
ACM
Temporal Text Mining (TTM) is concerned with discovering temporal patterns in text information collected over time. Since most text information bears some time stamps, TTM has man...