5550 search results - page 681 / 1110 » Different Approaches to Proof Systems |
124
click to vote
LREC
2010
15 years 8 months ago
2010
Historical cabinet protocols are a useful resource which enable historians to identify the opinions expressed by politicians on different subjects and at different points of time....
217
click to vote
MEDINFO
2007
15 years 8 months ago
2007
Cross-language document retrieval systems require support by some kind of multilingual thesaurus for semantically indexing documents in different languages. The peculiarities of t...
226
click to vote
CASCON
2004
15 years 8 months ago
2004
Previous research shows that most software systems contain significant amounts of duplicated, or cloned, code. Some clones are exact duplicates of each other, while others differ ...
209
click to vote
SPIESR
1996
15 years 8 months ago
1996
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...
185
click to vote
ENTCS
2010
15 years 7 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...