2652 search results - page 100 / 531 » Path Differentials and Applications |
229
click to vote
NFM
2011
14 years 10 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
150
click to vote
LCN
2008
IEEE
15 years 10 months ago
2008
IEEE
—Multipath routing permits the discovery and use of multiple paths between a source and a destination. We develop a distributed on-demand multipath routing protocol for MANETs ca...
152
click to vote
ISCC
2003
IEEE
15 years 9 months ago
2003
IEEE
Multiple Description (MD) and Layered Coding (LC) are two source-coding approaches proposed for adaptive and robust video streaming over lossy networks. Both streaming methods aim...
137
click to vote
TROB
2008
15 years 4 months ago
2008
Abstract--In this paper, we investigate different possible strategies underlying the formation of human locomotor trajectories in goal-directed walking. Seven subjects were asked t...
172
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
Graph data such as chemical compounds and XML documents are getting more common in many application domains. A main difficulty of graph data processing lies in the intrinsic high ...