1755 search results - page 264 / 351 » An efficient simulation algorithm based on abstract interpre... |
112
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
145
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—In this paper we address the problem of energyefficient event detection in wireless sensor networks (WSNs). Duty cycling is a fundamental approach to conserving energy i...
114
click to vote
IWANN
1999
Springer
15 years 8 months ago
1999
Springer
Abstract: Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is mentioned that the combination of K SVMs can b...
152
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
Abstract-- Despite the limited power available in a batteryoperated hand-held device, a display system must still have an enough resolution and sufficient color depth to deliver th...
153
click to vote
ISVC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we incorporated the global convex segmentation method and the split Bregman technique into the region-scalable fitting energy model. The new proposed metho...