3820 search results - page 557 / 764 » Bounded Model Debugging |
225
click to vote
ICDE
2003
IEEE
16 years 4 months ago
2003
IEEE
We are interested in capturing time series generated by small wireless electronic sensors. Battery-operated sensors must avoid heavy use of their wireless radio which is a key cau...
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
CT colonography (CTC) is a rapidly evolving technique to screen for colorectal polyps. Fecal residue may occlude or, reversely, mimic polyps. Electronic cleansing aims at removing...
147
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
120
click to vote
DAC
2000
ACM
16 years 3 months ago
2000
ACM
We revisit a basic element of modern signal integrity analysis, the modeling of worst-case coupling capacitance effects within a switch factor (SF) based methodology. We show that...
122
click to vote
ICML
2009
IEEE
16 years 3 months ago
2009
IEEE
Many learning algorithms rely on the curvature (in particular, strong convexity) of regularized objective functions to provide good theoretical performance guarantees. In practice...