17082 search results - page 3101 / 3417 » Abstractions for Mobile Computation |
168
click to vote
ADHOC
2010
15 years 7 months ago
2010
Abstract--Interference plays a complex and often defining role in the performance of wireless networks, especially in multi-hop scenarios. In the presence of interference, Carrier ...
178
click to vote
ADCM
2008
15 years 7 months ago
2008
Abstract. Signals with finite rate of innovation are those signals having finite degrees of freedom per unit of time that specify them. In this paper, we introduce a prototypical s...
197
click to vote
ACTA
2007
15 years 7 months ago
2007
Abstract We propose an exact algorithm for counting the models of propositional formulas in conjunctive normal form (CNF). Our algorithm is based on the detection of strong backdoo...
197
click to vote
ASC
2008
15 years 7 months ago
2008
Abstract. Objective: Age classification of patients based on information extracted from electrocardiograms (ECG's). The scope of this work is to develop and compare the perfor...
167
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...