2583 search results - page 377 / 517 » On the Representation of Timed Polyhedra |
184
click to vote
FPL
2007
Springer
16 years 1 months 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...
208
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper explores connections between Ficici’s notion of solution concept and order theory. Ficici postulates that algorithms should ascend an order called weak preference; th...
202
click to vote
ICIAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Mixed Reality (MR) applications tend to focus on the accuracy of registration between the virtual and real objects of a scene, while paying relatively little attention to...
178
click to vote
MONTEREY
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
191
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
In the research area of automatic web information extraction, there is a need for permanent and annotated web page collections enabling objective performance evaluation of differen...