11653 search results - page 2036 / 2331 » The Development of the C Language |
131
click to vote
LISP
2002
15 years 4 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
147
click to vote
JOOP
1998
15 years 4 months ago
1998
A set of rules to ascertain that in calls of the form x.f (...) there will always be an object attached to x. 1 PURPOSE The theory developed in this article investigates void call...
119
click to vote
LRE
2002
15 years 4 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
129
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
Arabic, a highly inflected language, requires good stemming for effective information retrieval, yet no standard approach to stemming has emerged. We developed several light stemm...
144
click to vote
TOCHI
1998
15 years 4 months ago
1998
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...