8068 search results - page 1452 / 1614 » Java Data Objects |
122
click to vote
ICIAP
1995
ACM
15 years 6 months ago
1995
ACM
—Effective image retrieval by content from database requires that visual image properties are used instead of textual labels to properly index and recover pictorial data. Retriev...
116
click to vote
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
107
Voted
PODC
1995
ACM
15 years 6 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
146
click to vote
RTA
1995
Springer
15 years 6 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
168
click to vote
HLPPP
1991
15 years 6 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...