Sciweavers

513 search results - page 84 / 103
» Generation of Interesting Story from Picture Information
Sort
View
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 1 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
EUROCRYPT
2007
Springer
15 years 1 months ago
Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
Yi Deng, Dongdai Lin
KBSE
1998
IEEE
15 years 1 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
VLDB
2000
ACM
146views Database» more  VLDB 2000»
15 years 1 months ago
A Database Platform for Bioinformatics
In recent years, new developments in genetics have generated a lot of interest in genomic and proteomic data, investing international significance (and competition) in the fledgli...
Sandeepan Banerjee
ECCV
2010
Springer
14 years 11 months ago
Image Segmentation with Topic Random Field
Abstract. Recently, there has been increasing interests in applying aspect models (e.g., PLSA and LDA) in image segmentation. However, these models ignore spatial relationships amo...