2583 search results - page 377 / 517 » On the Representation of Timed Polyhedra |
156
click to vote
FPL
2007
Springer
16 years 17 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...
175
click to vote
GECCO
2007
Springer
16 years 17 days 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...
166
click to vote
ICIAR
2007
Springer
16 years 17 days 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...
144
click to vote
MONTEREY
2007
Springer
16 years 16 days 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...
156
click to vote
SOFSEM
2007
Springer
16 years 15 days 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...