2132 search results - page 111 / 427 » The Challenges of Automatic Summarization |
128
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we propose a framework for engineering drawings recognition using a case-based approach. The key idea of our scheme is that, interactively, the user provides an exa...
127
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
139
Voted
MM
1999
ACM
15 years 7 months ago
1999
ACM
The Informedia Digital Video Library contains over 2000 hours of video, growing at a rate of 15 hours per week. A good query engine is not sufficient for information retrieval bec...
113
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
108
click to vote
UIST
1995
ACM
15 years 7 months ago
1995
ACM
SpeechSkimmer is an interactive system for quickly browsing and finding information in speech recordings. Skimming speech recordings is much more difficult than visually scanning ...