759 search results - page 108 / 152 » Test case generator for GUITAR |
169
click to vote
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
Virtually all methods of learning dynamic systems from data start from the same basic assumption: that the learning algorithm will be provided with a sequence, or trajectory, of d...
115
click to vote
ICRA
2009
IEEE
16 years 28 days ago
2009
IEEE
— This paper focuses on time-optimal path tracking, which involves planning of robot motions along prescribed geometric paths. Starting from a discretized convex reformulation of...
163
click to vote
PPDP
2009
Springer
16 years 25 days ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
133
click to vote
ICALP
2007
Springer
16 years 13 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
169
click to vote
ICDM
2005
IEEE
15 years 12 months ago
2005
IEEE
An outlier is an observation that deviates so much from other observations as to arouse suspicion that it was generated by a different mechanism. Outlier detection has many applic...