7827 search results - page 1223 / 1566 » time 2007 |
158
click to vote
FPL
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we present Minibit+, an approach that optimizes the bit-widths of fixed-point and floating-point designs, while guaranteeing accuracy. Our approach adopts differen...
200
click to vote
FROCOS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
172
click to vote
FSR
2007
Springer
16 years 26 days ago
2007
Springer
Sampling in the space of controls or actions is a well-established method for ensuring feasible local motion plans. However, as mobile robots advance in performance and competence ...
177
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
The Directed Maximum Leaf Out-Branching problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this pa...
196
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...