782 search results - page 141 / 157 » Can a Parser be Generated from Examples |
143
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present two novel texture-based techniques to visualize uncertainty in time-dependent 2D flow fields. Both methods use semi-Lagrangian texture advection to sho...
126
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
We approach the problem of stylistic motion synthesis by learning motion patterns from a highly varied set of motion capture sequences. Each sequence may have a distinct choreogra...
173
Voted
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
133
click to vote
VDA
2010
15 years 6 months ago
2010
Design patterns have proven to be a useful means to make the process of designing, developing, and reusing software systems more efficient. In the area of information visualizatio...
143
Voted
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...