1413 search results - page 17 / 283 » Bisimilarity of Open Terms |
BMCBI
2007
13 years 11 months ago
2007
Background: Biomedical ontologies are being widely used to annotate biological data in a computer-accessible, consistent and well-defined manner. However, due to their size and co...
CCA
2005
Springer
14 years 4 months ago
2005
Springer
A function f is continuous iff the pre-image f −1[V ] of any open setV is open again. Dual to this topological7 property, f is called open iff the image f [U] of any open set U ...
CVPR
2011
IEEE
13 years 6 months ago
2011
IEEE
We present novel approaches for fully automated extraction of tree-like tubular structures from 3-D image stacks. A 4-D Open-Curve Active Contour (Snake) model is proposed for sim...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Many software engineering projects use open source software tools or components. The project team's active participation in the open source community may be necessary for the...
FSEN
2009
Springer
14 years 5 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...