509 search results - page 54 / 102 » Standardization and Testing of Mathematical Functions |
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
ICCV
2007
IEEE
15 years 3 days ago
2007
IEEE
The maximum flow algorithm for minimizing energy functions of binary variables has become a standard tool in computer vision. In many cases, unary costs of the energy depend linea...
EMMCVPR
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, a novel training method is proposed to increase the classification efficiency of support vector machine (SVM). The efficiency of the SVM is determined by the number ...
JSAC
2007
13 years 10 months ago
2007
— A cross-layer packet scheduling scheme that streams pre-encoded video over wireless downlink packet access networks to multiple users is presented. The scheme can be used with ...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Multi-agent coordination problems can be cast as distributed optimization tasks. Probability Collectives (PCs) are techniques that deal with such problems in discrete and conti...