11212 search results - page 2083 / 2243 » Semi-persistent Data Structures |
124
Voted
SBMF
2009
Springer
15 years 10 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...
153
click to vote
SCIA
2009
Springer
15 years 10 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...
148
Voted
KCAP
2009
ACM
15 years 10 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...
124
Voted
MM
2009
ACM
15 years 10 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...
125
Voted
BIBM
2008
IEEE
15 years 10 months ago
2008
IEEE
Identifying functionally important sites from biological sequences, formulated as a biological sequence labeling problem, has broad applications ranging from rational drug design ...