2343 search results - page 420 / 469 » Structure and Interpretation of Computer Programs |
118
Voted
SBMF
2009
Springer
15 years 9 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...
145
Voted
SCIA
2009
Springer
15 years 9 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...
113
Voted
INDIASE
2009
ACM
15 years 9 months ago
2009
ACM
A software architect engages in solving Software Engineering (SE) problems throughout his career. Thus inculcating problem solving skills should be one of the learning objectives ...
121
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— The goal of this paper is to develop modeling techniques for complex systems for the purposes of control, estimation, and inference: (i) A new class of Hidden Markov Models is ...
114
Voted
SASO
2008
IEEE
15 years 9 months ago
2008
IEEE
Motivated by the natural phenomenon of living cells selforganizing into specific shapes and structures, we present an emergent system that utilizes evolutionary computing methods...