1981 search results - page 93 / 397 » Model-Checking Hierarchical Structures |
ICIP
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper proposes two DSs to describe the visual information of an AV document. The first one, is devoted to still images. It describes the image visual appearance and its struc...
FPGA
1998
ACM
14 years 2 months ago
1998
ACM
The goal of this paper is to perform a timing optimization of a circuit described by a network of cells on a target structure whose connection delays have discrete values following...
VMV
2004
13 years 11 months ago
2004
We present an interactive reconstruction system based on space carving. The user controls the camera and object positions and their impact on the reconstruction is immediately dis...
JBCB
2010
13 years 4 months ago
2010
Protein function prediction is an active area of research in bioinformatics. And yet, transfer of annotation on the basis of sequence or structural similarity remains widely used ...
PVLDB
2010
13 years 4 months ago
2010
Workflows are prevalent in diverse applications, which can be scientific experiments, business processes, web services, or recipes. With the dramatically growing number of workflo...