759 search results - page 108 / 152 » Test case generator for GUITAR |
144
click to vote
ICML
2009
IEEE
15 years 11 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...
ICRA
2009
IEEE
15 years 11 months 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...
133
click to vote
PPDP
2009
Springer
15 years 11 months 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...
112
click to vote
ICALP
2007
Springer
15 years 10 months 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...
149
Voted
ICDM
2005
IEEE
15 years 10 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...