2652 search results - page 477 / 531 » Path Differentials and Applications |
163
click to vote
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
173
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
HMM-based acoustic models built from bootstrap are generally very large, especially when full covariance matrices are used for Gaussians. Therefore, clustering is needed to compac...
150
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—The rapid scaling up of Networked Control Systems (NCS) is forcing traditional single-hop shared medium industrial fieldbuses (a.k.a. fieldbuses) to evolve toward multi-hop sw...
167
click to vote
ICC
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—Wireless Sensor Networks are proven highly successful in many areas, including military and security monitoring. In this paper, we propose a method to use the edge–bet...
206
click to vote
ICDCIT
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. A key challenge in multi-robot teaming research is determining how to properly enable robots to make decisions on actions they should take to contribute to the overall sy...