4438 search results - page 746 / 888 » The Case for Collaborative Programming |
153
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
132
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Previous timing analysis methods have assumed that the worst-case instruction execution time necessarily corresponds to the worst-case behavior. We show that this assumption is wr...
130
click to vote
AGP
1998
IEEE
15 years 9 months ago
1998
IEEE
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
161
click to vote
PKC
1999
Springer
15 years 9 months ago
1999
Springer
With the development of high speed computer networks, video service on the Web has huge market potential in that the video service can be provided to subscribers with greater time ...
146
click to vote
PKDD
1999
Springer
15 years 9 months ago
1999
Springer
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...