11214 search results - page 1910 / 2243 » Just-in-time data structures |
223
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...
164
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
206
click to vote
SCIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Solutions to non-linear least squares problems play an essential role in structure and motion problems in computer vision. The predominant approach for solving these prob...
201
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
A large amount of empirically derived world knowledge is essential for many languageprocessing tasks, to create expectations that can help assess plausibility and guide disambigua...
172
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Progressive mesh streaming is increasingly used in 3D networked applications, such as online games, virtual worlds, and digital museums. To scale such applications to a large numb...