493 search results - page 24 / 99 » types 1998 |
DAM
1998
14 years 11 months ago
1998
We study a discrete problem of scheduling activities of several types under the constraint that at most a single activity can be scheduled to any one period. Applications of such ...
115
click to vote
TYPES
1998
Springer
15 years 4 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
100
click to vote
TKDE
1998
14 years 11 months ago
1998
—When a multidatabase system contains textual database systems (i.e., information retrieval systems), queries against the global schema of the multidatabase system may contain a ...
HT
1998
ACM
15 years 4 months ago
1998
ACM
We describe a set of tools to support navigational hypermedia linking within audio (‘branching audio’) and between media types including audio. We have adopted an open hyperme...
HPN
1992
15 years 29 days ago
1992
Multimediacommunication,with its strong requirementsfor high speed, assured quality, and reliable networking, is stimulating a great research e ort towards the development of real...