1532 search results - page 139 / 307 » Connection Relations in Mereotopology |
77
Voted
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
We use multi-figure m-reps to represent anatomical objects, such as human livers, with named components. Each component is represented as a single figure m-rep. These figures of t...
89
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
The development of the RDF[2] standard highlights the fact that a great deal of useful information is in the form of semistructured data--objects connected by relations fitting no...
214
Voted
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...
92
Voted
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
171
Voted
SIGMOD
2005
ACM
16 years 29 days ago
2005
ACM
We give semantic characterizations of the expressive power of navigational XPath (also called Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes...