4480 search results - page 806 / 896 » Prototyping Completion with Constraints Using Computational ... |
150
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
159
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
This paper proposes a visual representation named scene tunnel to archive and visualize urban scenes for Internet based virtual tour. We scan cityscapes using multiple cameras on ...
159
click to vote
SIGUCCS
2004
ACM
15 years 11 months ago
2004
ACM
This paper explains two projects dealing with spam recently completed at Iowa State University (ISU). The first project was undertaken by a team composed of members of the campus ...
148
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
163
click to vote
MMB
2004
Springer
15 years 11 months ago
2004
Springer
A sensitivity analysis of a single-server, infinite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...