7393 search results - page 1139 / 1479 » Synthesis-for-testability using transformations |
136
click to vote
NIPS
2001
15 years 5 months ago
2001
Reaching movements require the brain to generate motor commands that rely on an internal model of the task's dynamics. Here we consider the errors that subjects make early in...
158
click to vote
PRIS
2004
15 years 5 months ago
2004
Similarity search in time series databases is an important research direction. Several methods have been proposed in order to provide algorithms for efficient query processing in t...
119
click to vote
UAI
2001
15 years 5 months ago
2001
The search space of Bayesian Network structures is usually defined as Acyclic Directed Graphs (DAGs) and the search is done by local transformations of DAGs. But the space of Baye...
159
click to vote
INTERACT
2003
15 years 5 months ago
2003
: Whereas sophisticated computer users can exercise more control in what they are exposed to and produce computational artifacts, technologically challenged end-users assume a more...
123
click to vote
WSC
2001
15 years 5 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...