23988 search results - page 4223 / 4798 » Social Network Computing |
308
click to vote
NFM
2011
15 years 1 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...
222
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper we consider the problem of target tracking in a network of mobile agents. We propose a scheme with agents that are endowed with processing and decision-making capabi...
179
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
We provide a novel formulation for computing median filter with spatial regularization as minimizing a cost function composed of absolute value norms. We turn this cost minimizat...
253
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Hidden Conditional Random Fields(HCRF) is a very promising approach to model speech. However, because HCRF computes the score of a hypothesis by summing up linearly weighted featu...
211
click to vote
IWQOS
2011
Springer
14 years 10 months ago
2011
Springer
— We present an approach to optimizing the transfer of data objects within a user’s collection of computers and personal devices, subject to a variety of user-defined quality ...