3993 search results - page 615 / 799 » Matchmaking for Structured Objects |
126
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper describes a new collaboration technology that is based on the support of lightweight, informally structured, opportunistic activities featuring heterogeneous threads of...
120
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Cooking is a daily activity for many people. However, traditional text recipes are often prohibitively difficult to follow for people with language disorders, such as aphasia. We ...
146
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
232
Voted
VLDB
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents a probabilistic relational modelling (implementation) of the major probabilistic retrieval models. Such a high-level implementation is useful since it supports ...
220
click to vote
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
Immortal DB builds transaction time database support into the SQL Server engine, not in middleware. Transaction time databases retain and provide access to prior states of a datab...