5830 search results - page 820 / 1166 » Automatic link generation |
227
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
152
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The IP Multimedia Subsystem (IMS) is being deployed in the Third Generation (3G) networks since it supports many kinds of multimedia services. However, the security of I...
198
click to vote
DILS
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel approach to automatic information extraction from Deep Web Life Science databases using wrapper induction. Traditional wrapper induction techniques focus on lear...
200
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Low power circuits have become a necessary part in modern designs. Retention flip-flop is one of the most important components in low power designs. Conventional test methodologie...
190
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
To automatically register foreground target in cluttered images, we present a novel hierarchical graph representation and a stochastic computing strategy in Bayesian framework. Th...