230 search results - page 28 / 46 » C Dynamic Cast in Autonomous Space Systems |
101
click to vote
MODELS
2010
Springer
14 years 8 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
ICS
2000
Tsinghua U.
15 years 1 months ago
2000
Tsinghua U.
Scheduling of processes onto processors of a parallel machine has always been an important and challenging area of research. The issue becomes even more crucial and di cult as we ...
118
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper we present a novel face classification system
where we represent face images as a spatial arrangement
of image patches, and seek a smooth non-linear functional
map...
CVGIP
2006
14 years 9 months ago
2006
This paper presents a system for rapid editing of highly dynamic motion capture data. At the heart of this system is an optimization algorithm that can transform the captured moti...
WOSP
1998
ACM
15 years 2 months ago
1998
ACM
Increasingly, new applications are being built by composing existing software components rather than by coding a system from scratch. Using this approach, applications can be buil...