4340 search results - page 428 / 868 » Formal Methods and Cryptography |
161
Voted
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Many calibration methods calibrate a pair of sensors at a time. For robotic systems with many sensors, they are often time-consuming to use, and can also lead to inaccurate res...
193
click to vote
WSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...
170
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
This paper addresses the issue of automatically extracting keyphrases from document. Previously, this problem was formalized as classification and learning methods for classific...
186
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
We present a formulation of retiming to minimize the number of registers in a design by iterating a maximum network flow problem. The retiming returned will be the optimum one whi...
180
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...