7351 search results - page 1041 / 1471 » Segmenting Point Sets |
199
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
We describe algorithmic results for two crucial aspects of allocating resources on computational hardware devices with partial reconfigurability. By using methods from the field of...
170
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
166
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
179
click to vote
3DIM
2001
IEEE
15 years 10 months ago
2001
IEEE
Due to its portability and great maneuverability, a handheld range sensor is a flexible solution or complement to efficiently digitize the 3-D shape for a wide variety of objects....
191
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
The paper proposes a novel software-pipelining algorithm, Register Sensitive Force Directed Retiming Algorithm (RSFDRA), suitable for optimizing compilers targeting embedded VLIW ...