3799 search results - page 671 / 760 » An Engineering Approach to Formal Methods |
138
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
There has been a great amount of work on query-independent summarization of documents. However, due to the success of Web search engines query-specific document summarization (que...
166
click to vote
SCM
2003
15 years 5 months ago
2003
Individual organisations as well as industry consortia are currently defining application and domain-specific languages using the eXtended Markup Language (XML) standard of the W...
150
click to vote
ICGA
2008
15 years 4 months ago
2008
Recently, Monte-Carlo Tree Search (MCTS) has become a popular approach for intelligent play in games. Amongst others, it is successfully used in most state-of-the-art Go programs....
148
click to vote
JVCA
2008
15 years 3 months ago
2008
We propose a method for view-dependent simplification of articulated-body dynamics, which enables an automatic trade-off between visual precision and computational efficiency. We ...
142
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
We propose a fully automatic method for summarizing and indexing unstructured presentation videos based on text extracted from the projected slides. We use changes of text in the ...