7049 search results - page 1055 / 1410 » Data Abstraction for CSP-OZ |
216
click to vote
MIG
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Realistic simulation of interacting virtual characters is essential in computer games, training and simulation applications. The problem is very challenging since people ...
206
click to vote
RAID
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Embedded network devices have become an ubiquitous fixture in the modern home, office as well as in the global communication infrastructure. Devices like routers, NAS ap...
199
click to vote
SBMF
2009
Springer
16 years 2 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...
227
click to vote
SCIA
2009
Springer
16 years 2 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...
194
click to vote
SEMWEB
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Ontologies are tools for describing and structuring knowledge, with many applications in searching and analyzing complex knowledge bases. Since building them manually is ...