7167 search results - page 208 / 1434 » A Technique for Invariant Generation |
212
click to vote
IJRR
2007
15 years 7 months ago
2007
An algorithm is presented for wheeled mobile robot trajectory generation that achieves a high degree of generality and efficiency. The generality derives from numerical lineariza...
234
click to vote
VLSID
2010
IEEE
15 years 5 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
201
click to vote
CI
2011
15 years 2 months ago
2011
We investigate the application of modern planning techniques to domains arising from problems in natural language generation (NLG). In particular, we consider two novel NLGinspire...
244
click to vote
TRUSTBUS
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Synthetic data plays an important role in software testing. In this paper, we initiate the study of synthetic data generation models for the purpose of application softwa...
181
click to vote
ACSC
2003
IEEE
16 years 15 days ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...