1003 search results - page 187 / 201 » Type Inference with Inequalities |
121
click to vote
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
128
Voted
KCAP
2003
ACM
15 years 7 months ago
2003
ACM
Electronic concept mapping tools empower experts to play an active role in the knowledge capture process, and provide a medium for building richly connected multimedia knowledge m...
161
click to vote
PLDI
2003
ACM
15 years 7 months 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...
137
click to vote
WEBDB
2010
Springer
15 years 7 months ago
2010
Springer
An important requirement for emerging applications which aim to locate and integrate content distributed over the Web is to identify pages that are relevant for a given domain or ...
136
click to vote
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...