2607 search results - page 423 / 522 » Complete Functional Synthesis |
124
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
113
Voted
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
MICCAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. An N-dimensional image is divided into "object" and "background" segments using a graph cut approach. A graph is formed by connecting all pairs of nei...
120
click to vote
ARVLSI
1995
IEEE
15 years 6 months ago
1995
IEEE
The task of image acquisition is completely dominated by CCD-based sensors fabricated on specialized process lines. These devices provide an essentially passive means of detecting...
VLDB
2000
ACM
15 years 6 months ago
2000
ACM
This demonstration illustrates how a comprehensive database reconciliation tool can provide the ability to characterize data-quality and data-reconciliation issues in complex real...