3400 search results - page 170 / 680 » tools 2008 |
167
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper we present and discuss the results of a text coherence experiment performed on a small corpus of Romanian text from a number of alternative high school manuals. Duri...
141
click to vote
CGF
2004
15 years 6 months ago
2004
Pasting somebody's face into an existing image with traditional photo retouching and digital image processing tools has only been possible if both images show the face from t...
203
click to vote
IRCDL
2008
15 years 8 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
179
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see [10]) with the expressive power of Petr...
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...