4266 search results - page 631 / 854 » Search for More Declarativity |
168
click to vote
CP
2007
Springer
16 years 24 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...
158
click to vote
DAGM
2007
Springer
16 years 24 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...
162
click to vote
EUROPAR
2007
Springer
16 years 24 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...
182
click to vote
EUROPKI
2007
Springer
16 years 24 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...
158
click to vote
FPL
2007
Springer
16 years 24 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...