5090 search results - page 758 / 1018 » Constructing Strategies for Programming |
153
click to vote
SIAMCO
2002
15 years 6 months ago
2002
Abstract. We formulate a robust optimal control problem for a general nonlinear system with finitely many admissible control settings and with costs assigned to switching of contro...
166
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
We describe a novel method for authenticating multicast packets that is robust against packet loss. Our main focus is to minimize the size of the communication overhead required t...
181
click to vote
PRL
2007
15 years 6 months ago
2007
Image categorization could be treated as an effective solution to enable keyword-based image retrieval. In this paper, we propose a novel image categorization approach by learnin...
170
Voted
RAS
2007
15 years 6 months ago
2007
In a multi-robotic system, robots interact with each other in a dynamically changing environment. The robots need to be intelligent both at the individual and group levels. In thi...
148
click to vote
PTS
2010
15 years 5 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...