4233 search results - page 82 / 847 » Three Paths to Effectiveness |
149
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
132
click to vote
JCIT
2008
15 years 3 months ago
2008
This paper proposes a packet partition scheduling mechanism for bandwidth aggregation over end-to-end multi-path through multiple network interfaces. The proposed mechanism effect...
133
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
For video communications over wireless ad hoc networks, multiple paths with limited bandwidth are common. It therefore presents new challenges to the video encoding. In this paper...
118
click to vote
WSC
2008
15 years 6 months ago
2008
Reinforcement Learning (RL) is a simulation-based technique useful in solving Markov decision processes if their transition probabilities are not easily obtainable or if the probl...
215
click to vote
BICOB
2011
Springer
14 years 3 months ago
2011
Springer
Semantic similarity measures have been used successfully and extensively in the biomedical research with various applications. As the biomedical ontologies, which form the main gro...