1301 search results - page 123 / 261 » Specifications via Realizability |
138
Voted
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
In the setting of secure multiparty computation, a set of parties wish to jointly compute some function of their inputs. Such a computation must preserve certain security propertie...
125
Voted
TC
2008
15 years 3 months ago
2008
This paper examines the hardware implementation trade-offs when evaluating functions via piecewise polynomial approximations and interpolations for precisions of up to 24 bits. In ...
138
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Product customization has become a commonplace topic in the last few years. Cars can be equipped with numerous gadgets, cell phones come in different colours and so on. In all th...
272
Voted
MVA
2011
14 years 10 months ago
2011
: In this paper we discuss theoretical foundations and a practical realization of a real-time traffic sign detection, tracking and recognition system operating on board of a vehicl...
162
Voted
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...