1763 search results - page 77 / 353 » A Formalization of Polytime Functions |
102
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
The quality of image stitching is measured by the similarity of the stitched image to each of the input images, and by the visibility of the seam between the stitched images. In or...
SAS
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Binary Decision Graphs are an extension of Binary Decision Diagrams that can represent some infinite boolean functions. Three refinements of BDGs corresponding to class...
SPLC
2008
14 years 11 months ago
2008
This paper introduces an extractive approach to building-up a product line based on existing systems. Thereby, we focus on the analysis of common functionalities across different ...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
PUK
2003
14 years 11 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...