6978 search results - page 1267 / 1396 » On Proofs in System P |
UIST
1992
ACM
14 years 1 months ago
1992
ACM
It is often difficult in computer graphics applications to understand spatial relationships betweenobjects in a 3D sceneor effect changes to those objects without specialized visu...
ICS
1989
Tsinghua U.
14 years 1 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...
ACMSE
2007
ACM
14 years 1 months ago
2007
ACM
Meetings are a vital part of participation in social activities. For a deaf person who does not understand spoken language, following a discourse at meetings can become confusing ...
ICDCS
2010
IEEE
14 years 1 months ago
2010
IEEE
—Today’s large campus and enterprise networks are characterized by their complexity, i.e. containing thousands of hosts, and diversity, i.e. with various applications and usage...
KDD
2010
ACM
14 years 1 months ago
2010
ACM
In this paper, we propose and develop a novel approach to the problem of optimally managing the tax, and more generally debt, collections processes at financial institutions. Our...