2496 search results - page 325 / 500 » On covering by translates of a set |
202
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
197
click to vote
CVPR
2009
IEEE
15 years 10 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...
145
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Operand gating is a technique for improving processor energy efficiency by gating off sections of the data path that are unneeded by short-precision (narrow) operands. A method fo...
182
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
173
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...