251 search results - page 40 / 51 » Pure Type Systems without Explicit Contexts |
MMSEC
2005
ACM
14 years 1 months ago
2005
ACM
If digital watermarking is to adequately protect content in systems which provide both resolution and quality scalability, then the watermarking algorithms used must provide both ...
HOTOS
1999
IEEE
14 years 20 hour ago
1999
IEEE
Abstract--End-to-end connectivity is growing increasingly diverse, with orders of magnitude differences in characteristics throughout the network. At the same time, most applicatio...
FROCOS
2011
Springer
12 years 7 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
This work investigates personalized social search based on the user’s social relations – search results are re-ranked according to their relations with individuals in the user...
FAST
2009
13 years 5 months ago
2009
Fault-tolerant services typically make assumptions about the type and maximum number of faults that they can tolerate while providing their correctness guarantees; when such a fau...