8706 search results - page 1121 / 1742 » Learning Subjective Language |
268
Voted
PLDI
2003
ACM
16 years 16 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
204
click to vote
PPPJ
2003
ACM
16 years 16 days ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
231
click to vote
SAC
2003
ACM
16 years 16 days ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...
192
Voted
ASIAN
2003
Springer
16 years 16 days ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
189
Voted
ATAL
2003
Springer
16 years 16 days ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...