4651 search results - page 757 / 931 » Data Reduction Using Multiple Models Integration |
123
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
122
Voted
WISE
2009
Springer
15 years 11 months ago
2009
Springer
Social tagging is an increasingly popular phenomenon with substantial impact on the way we perceive and understand the Web. For the many Web resources that are not self-descriptive...
129
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Signal transduction events often involve transient, yet specific, interactions between structurally conserved protein domains and polypeptide sequences in target prote...
199
Voted
TASE
2011
IEEE
14 years 9 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...
121
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we present NoCEE, a fast and accurate method for extracting energy models for packet-switched Network on Chip (NoC) routers. Linear regression is used to model the r...