75 search results - page 12 / 15 » Test-Case Calculation through Abstraction |
131
click to vote
TON
2008
15 years 1 months ago
2008
Abstract-- We consider the problem of broadcasting in an adhoc wireless network, where all nodes of the network are sources that want to transmit information to all other nodes. Ou...
125
Voted
ICIAR
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. Graph cut minimization formulates the segmentation problem as the liner combination of data and smoothness terms. The smoothness term is included in the energy formulatio...
125
click to vote
SIAMJO
2010
15 years 7 days ago
2010
Abstract. Sequential quadratic programming (SQP) methods form a class of highly efficient algorithms for solving nonlinearly constrained optimization problems. Although second deri...
123
click to vote
GAMESEC
2010
14 years 12 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
108
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
The iterative closest points (ICP) algorithm is widely used for ego-motion estimation in robotics, but subject to bias in the presence of outliers. We propose a random sample conse...