16218 search results - page 443 / 3244 » Standards |
164
click to vote
AGP
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
168
click to vote
CSCW
1994
ACM
15 years 11 months ago
1994
ACM
In this paper, we look at how people working in a governmental labor inspection agency tailor their shared PC environment. Starting with standard off-the-shelf software, the tailo...
150
click to vote
ICCD
1992
IEEE
15 years 11 months ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
179
click to vote
COMPGEOM
1998
ACM
15 years 11 months ago
1998
ACM
We discuss floating-point filters as a means of restricting the precision needed for arithmetic operations while still computing the exact result. We show that interval techniques...
193
click to vote
VLDB
1990
ACM
15 years 11 months ago
1990
ACM
A probabilistic learning model for vague queries and missing or imprecise information in databases is described. Instead of retrieving only a set of answers, our approach yields a...