13383 search results - page 2450 / 2677 » Abstractions from proofs |
123
click to vote
DAGM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Atrial fibrillation is the most common sustained arrhythmia. One important treatment option is radio-frequency catheter ablation (RFCA) of the pulmonary veins attached t...
95
Voted
DATE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—On-chip interconnection network is a crucial design component in high-performance System-on-Chips (SoCs). Many of previous works have focused on the automation of its to...
121
click to vote
FUIN
2010
14 years 11 months ago
2010
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
109
Voted
ICA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The recovery of the mixture of an N-dimensional signal generated by N independent processes is a well studied problem (see e.g. [1,10]) and robust algorithms that solve t...
116
Voted
ICDE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— We propose the Multi-resolution Correlation Cluster detection (MrCC), a novel, scalable method to detect correlation clusters able to analyze dimensional data in the ra...