7139 search results - page 1040 / 1428 » Language Engineering in Practice |
172
click to vote
AVI
2008
15 years 9 months ago
2008
This paper presents an interactive visualisation system that assists users of semi-automatic speech transcription systems to assess alternative recognition results in real time an...
191
click to vote
WSC
2007
15 years 9 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
168
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
188
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Systems are increasingly expected to adapt themselves to changing requirements and environmental situations with minimum user interactions. A challenge for self-adaptation is the i...
216
click to vote
ITP
2010
15 years 8 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...