2741 search results - page 414 / 549 » Engineering Mathematical Knowledge |
144
click to vote
SIGIR
1998
ACM
15 years 9 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
209
click to vote
SEAAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...
102
click to vote
WADT
1998
Springer
15 years 9 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
129
click to vote
UIST
1997
ACM
15 years 9 months ago
1997
ACM
We motivate the use of desktop assistants in the context of web surfing and show how such a tool may be used to support activities in both cooperative and personal surfing. By coo...
187
click to vote
AC
1992
Springer
15 years 8 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...