5414 search results - page 206 / 1083 » Data representation synthesis |
151
Voted
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
148
click to vote
VDA
2010
15 years 7 months ago
2010
Spatialization is a special kind of visualization that projects multidimensional data into low-dimensional representational spaces by making use of spatial metaphors. Spatializati...
156
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
Although human action recognition has been the subject of much research in the past, the issue of viewpoint invariance has received scarce attention. In this paper, we present an ...
111
Voted
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
Animal development can be described as a complex, threedimensional cellular system that changes dramatically across time as a consequence of cell proliferation, differentiation an...
124
Voted
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper introduces an approach that reduces the size of the state and maximizes the sparsity of the information matrix in exactly sparse delayed-state SLAM. We propose const...