713 search results - page 113 / 143 » Syntax and Semantics of Babel-17 |
HICSS
1999
IEEE
14 years 24 days ago
1999
IEEE
This paper reports on research on the generation of hypermedia (Web) applications for querying multimedia databases. In [5] we have proposed a heuristic algorithm for generating n...
ICLP
1999
Springer
14 years 23 days ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
AMAST
1998
Springer
14 years 22 days ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
PEPM
1993
ACM
14 years 17 days ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
SIGMOD
1990
ACM
14 years 15 days ago
1990
ACM
The role of database knowledge 1susually limited to the evaluation of data queries In this paper we argue that when this knowledge 1sof substantial volume and complexity, there 1s...