Sciweavers

2748 search results - page 197 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
EUROMICRO
1999
IEEE
15 years 5 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
114
Voted
CIKM
2006
Springer
15 years 4 months ago
Heuristic containment check of partial tree-pattern queries in the presence of index graphs
The wide adoption of XML has increased the interest of the database community on tree-structured data management techniques. Querying capabilities are provided through tree-patter...
Dimitri Theodoratos, Stefanos Souldatos, Theodore ...
95
Voted
BMCBI
2010
182views more  BMCBI 2010»
15 years 26 days ago
Beyond co-localization: inferring spatial interactions between sub-cellular structures from microscopy images
Background: Sub-cellular structures interact in numerous direct and indirect ways in order to fulfill cellular functions. While direct molecular interactions crucially depend on s...
Jo A. Helmuth, Grégory Paul, Ivo F. Sbalzar...
ICIP
2005
IEEE
15 years 6 months ago
Using Tsallis entropy into a Bayesian network for CBIR
This paper presents a Bayesian Network model for ContentBased Image Retrieval (CBIR). In the explanation and test of this work, only two images features (semantic evidences) are i...
Paulo S. Rodrigues, Gilson A. Giraldi, Ade A. Arau...
IJCV
2002
112views more  IJCV 2002»
15 years 13 days ago
Range Segmentation Using Visibility Constraints
Visibility constraints can aid the segmentation of foreground objects in a scene observed with multiple range imagers. Points may be labeled as foreground if they can be determine...
Leonid Taycher, Trevor Darrell