7393 search results - page 1283 / 1479 » Synthesis-for-testability using transformations |
133
Voted
JASIS
2008
15 years 3 months ago
2008
mation science has shown that human abstractors extract sentences for summaries based on the hierarchical structure of documents; however, the existing automatic summarization mode...
151
Voted
JEI
2008
15 years 3 months ago
2008
Automatic segmentation and analysis of ancient mosaic images can help archaeologists and experts build digital collections and automatically compare mosaics by means of image datab...
119
click to vote
JLP
2008
15 years 3 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
127
click to vote
JODS
2008
15 years 3 months ago
2008
A key aspect of any data integration endeavor is determining the relationships between the source schemata and the target schema. This schema integration task must be tackled regar...
124
click to vote
JC
2006
15 years 3 months ago
2006
We study the problem of multivariate integration on the unit cube for unbounded integrands. Our study is motivated by problems in statistics and mathematical finance, where unboun...