6527 search results - page 397 / 1306 » On Typing Information Flow |
167
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
Heterogeneous entities or objects are very common and are usually interrelated with each other in many scenarios. For example, typical Web search activities involve multiple types...
194
click to vote
ENC
2005
IEEE
16 years 15 days ago
2005
IEEE
We describe a compression technique for semistructured documents, called SCMPPM, which combines the Prediction by Partial Matching technique with Structural Contexts Model (SCM) t...
172
click to vote
ASIAN
2003
Springer
16 years 3 days ago
2003
Springer
Predicate detection is an important problem in distributed systems. Based on the temporal interactions of intervals, there exists a rich class of modalities under which global pred...
184
click to vote
COSIT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...
180
click to vote
ECOOP
1997
Springer
15 years 11 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...