1271 search results - page 216 / 255 » On Simulation-Checking with Sequential Systems |
106
click to vote
IJRR
2010
15 years 13 days ago
2010
This paper investigates sequential robotic microassembly for the construction of 3D micro-electro-mechanical systems (MEMS) structures using a 3D visual servoing approach. The pre...
146
click to vote
INFOCOM
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract— Cooperative relay networks combined with Orthogonal Frequency Division Multiplexing Access (OFDMA) technology has been widely recognized as a promising candidate for fu...
138
click to vote
INFOCOM
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract—We consider the power control problem in a timeslotted wireless channel, shared by a finite number of mobiles that transmit to a common base station. The channel betwee...
MP
2010
15 years 12 days ago
2010
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...
126
click to vote
PROCEDIA
2010
15 years 11 days ago
2010
The use of tuned collective’s module of Open MPI to improve a parallelization efficiency of parallel batch pattern back propagation training algorithm of a multilayer perceptron...