2907 search results - page 135 / 582 » Presentations of Structures in Admissible Sets |
113
click to vote
LION
2009
Springer
15 years 7 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
116
Voted
IJRR
2010
14 years 10 months ago
2010
This paper presents the minimum-time sequences of rotations and translations that connect two configurations of a rigid body in the plane. The configuration of the body is its pos...
139
click to vote
TALG
2008
15 years 22 days ago
2008
We present simple, fully dynamic and kinetic data structures, which are variants of a dynamic two-dimensional range tree, for maintaining the closest pair and all nearest neighbors...
91
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
115
Voted
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we present a novel method for 3D structure acquisition, based on structured light. Unlike classical structured light methods, in which a static projector illuminates...