4266 search results - page 631 / 854 » Search for More Declarativity |
155
click to vote
CP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
148
click to vote
DAGM
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge is to dete...
146
click to vote
EUROPAR
2007
Springer
16 years 6 days ago
2007
Springer
The dominant eigenvector of matrices defined by weighted links in overlay networks plays an important role in many peer-to-peer applications. Examples include trust management, im...
172
click to vote
EUROPKI
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Anonymous secret sharing schemes allow a secret to be recovered from shares regardless of the identity of shareholders. Besides being interesting in its own right, this p...
149
click to vote
FPL
2007
Springer
16 years 6 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...