Sciweavers

713 search results - page 113 / 143
» Syntax and Semantics of Babel-17
Sort
View
108
Voted
HICSS
1999
IEEE
98views Biometrics» more  HICSS 1999»
15 years 5 months ago
Retrieval of Volatile Database Output through Hypermedia Applications
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...
Geert-Jan Houben, Paul De Bra
ICLP
1999
Springer
15 years 5 months ago
Event, Property, and Hierarchy in Order-Sorted Logic
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...
Ken Kaneiwa, Satoshi Tojo
101
Voted
AMAST
1998
Springer
15 years 5 months ago
Scheduling Algebra
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...
Rob J. van Glabbeek, Peter Rittgen
PEPM
1993
ACM
15 years 5 months ago
Binding-Time Analysis and the Taming of C Pointers
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...
Lars Ole Andersen
72
Voted
SIGMOD
1990
ACM
76views Database» more  SIGMOD 1990»
15 years 4 months ago
Querying Database Knowledge
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...
Amihai Motro, Qiuhui Yuan