1992 search results - page 233 / 399 » Model Based Testing with Labelled Transition Systems |
110
click to vote
ER
2007
Springer
15 years 9 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
166
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Simply choosing one model out of a large set of possibilities for a given vision task is a surprisingly difficult problem, especially if there is limited evaluation data with whi...
126
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
The rapid growth of the number of videos in YouTube provides enormous potential for users to find content of interest to them. Unfortunately, given the difficulty of searching vid...
85
Voted
CANDC
2007
ACM
15 years 5 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
133
click to vote
SI3D
2010
ACM
15 years 10 months ago
2010
ACM
We describe an interactive system featuring fluid-driven animation that responds to moving objects. Our system includes a GPUaccelerated Eulerian fluid solver that is suited for...