4087 search results - page 131 / 818 » Sets in Types, Types in Sets |
PODS
2004
ACM
14 years 9 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
ECOWS
2009
Springer
14 years 3 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
FBIT
2007
IEEE
14 years 3 months ago
2007
IEEE
Membrane proteins are an important class of proteins that serve as channels, receptors, and energy transducers in a cell membrane. Knowledge of a given type of cell membrane prote...
ICDM
2007
IEEE
14 years 3 months ago
2007
IEEE
Most algorithms for mining interesting spatial colocations integrate the co-location / clique generation task with the interesting pattern mining task, and are usually based on th...
ITNG
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, still images are modeled by hierarchical tree structures and object relational graphs. These modeling concepts can be described naturally using XML schema. We intro...