770 search results - page 85 / 154 » Dinatural Terms in System F |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
CLEF
2005
Springer
15 years 3 months ago
2005
Springer
We describe the objectives and organization of the CLEF 2005 ad hoc track and discuss the main characteristics of the tasks offered to test monolingual, bilingual and multilingual ...
UIST
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we describe the YeTi information sharing system that has been designed to foster community building through informal digital content sharing. The YeTi system is a g...
APN
2004
Springer
15 years 3 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
IMC
2003
ACM
15 years 3 months ago
2003
ACM
We measured and analyzed the variability in round trip times (RTTs) within TCP connections using passive measurement techniques. We collected eight hours of bidirectional traces c...