4211 search results - page 567 / 843 » Types as Abstract Interpretations |
170
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
Abstract— This paper presents a power grid analyzer that combines a divide-and-conquer strategy with a random-walk engine. A single-level hierarchical method is first described ...
143
click to vote
SIGCSE
2004
ACM
15 years 12 months ago
2004
ACM
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...
181
click to vote
AIRS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Geographic named entities can be classified into many subtypes that are useful for applications such as information extraction and question answering. In this paper, we ...
217
click to vote
AMTA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
200
click to vote
AP2PC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Peer-to-Peer (P2P) data management systems combine traditional schema-based integration techniques with the P2P infrastructure. In this paper, we propose a P2P data manag...