6258 search results - page 219 / 1252 » Applied Text Generation |
164
click to vote
ICAC
2005
IEEE
16 years 5 days ago
2005
IEEE
FeedbackFlow is a framework that implements a general closed control loop of planning – execution result validation – re-planning, and generates workflows. In this article, we...
168
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
171
click to vote
ADCM
2007
15 years 6 months ago
2007
Given an arbitrary finite sequence of vectors in a finite–dimensional Hilbert space, we describe an algorithm, which computes a Parseval frame for the subspace generated by the...
147
click to vote
BIRTHDAY
2010
Springer
15 years 10 months ago
2010
Springer
Given two strings, a pattern P of length m and a text T of length n over some alphabet of size , we consider the exact string matching problem, i.e. we want to report all occurren...
149
click to vote
ISVC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper presents a quantitative evaluation of the accuracy of different sphere-tree construction methods when they are used in deformable bodies. The methods evaluate...