|
On
performance evaluation of fault tolerant
multistage interconnection networks (Publication within these
proceedings) |
|
An
overview of RISC architecture (Publication within these
proceedings) |
|
Persistent
structures to store moving images (Publication within these
proceedings) |
|
Improving
instruction supply efficiency in superscalar
architectures using instruction trace
buffers (Publication within
these proceedings) |
|
An
interleaving technique for block coding of
black-and-white facsimile data (Publication within these
proceedings) |
|
Rapid
prototyping tools for telecommunications
applications (Publication
within these proceedings) |
|
Object-oriented
analysis for telecommunications services
(Publication within these
proceedings) |
|
On
a trunk group with a finite waiting room
(Publication within these
proceedings) |
|
An
interface for acquisition, manipulation and
distribution of mail and news messages as
objects (Publication within
these proceedings) |
|
A
new protocol conformance test generation method
and experimental results (Publication within these
proceedings) |
|
Analytic
performance analysis of the DQDB access
protocol (Publication within
these proceedings) |
|
Message
delay analysis for CAN based networks (Publication within these
proceedings) |
|
Dynamic
crossword slot table implementation (Publication within these
proceedings) |
|
A
proposed benchmark for testing implementations
of crossword puzzle algorithms (Publication within these
proceedings) |
|
Reversible
grammars and natural language processing
(Publication within these
proceedings) |
|
The
Crozzle—a problem for automation (Publication within these
proceedings) |
|
Transforming
expert system output into natural language in a
process control environment (Publication within these
proceedings) |
|
Using
expectation to enable spoken variable initiative
dialog (Publication within
these proceedings) |
|
“Tuning”
an ASM metric: a case study in metric ASM
optimization (Publication
within these proceedings) |
|
Edit
distance of run-length coded strings (Publication within these
proceedings) |
|
Application
of simple microcomputer technology to
undergraduate instruction in geography (Publication within these
proceedings) |
|
An
intelligent discovery programming system
(Publication within these
proceedings) |
|
A
uniform approach to the stability and
performance analysis of concurrent data
structure maintenance policies (Publication within these
proceedings) |
|
Multiple
representation of abstract data types and reuse
of realizations (Publication
within these proceedings) |
|
A
pragmatic set operation and its implementation
in C (Publication within these
proceedings) |
|
Towards
a standard for SQL-based spatial query
languages (Publication within
these proceedings) |
|
Extending
N-grid group authorization using compact
encoding (Publication within
these proceedings) |
|
Performance
of join on an n-dimensional mesh (Publication within these
proceedings) |
|
Design
of a temporal database for phlebitis (Publication within these
proceedings) |
|
Dynamic
addition and removal of attributes in BANG
files (Publication within
these proceedings) |
|
Searching
spatial objects with index by dimensional
projections (Publication
within these proceedings) |
|
Selection
of search terms based on user profile (Publication within these
proceedings) |
|
A
model of integrity for object-oriented database
systems (Publication within
these proceedings) |
|
On
the use of distributed joins for processing
interlibrary loans (Publication within these
proceedings) |
|
Supporting
general queries in an object management
system (Publication within
these proceedings) |
|
Storage
and access of temporal information for the
management of complex systems (Publication within these
proceedings) |
|
Parallel
main memory database system (Publication within these
proceedings) |
|
Processing
multi-join query in parallel systems (Publication within these
proceedings) |
|
The
distributed object environment: support for a
distributed object-based system (Publication within these
proceedings) |
|
Using
an object-relationship model for rapid
prototyping (Publication
within these proceedings) |
|
Design
and functions of DUO: the first Italian academic
OPAC (Publication within these
proceedings) |
|
A
deductive database audit trail (Publication within these
proceedings) |
|
PETINA—tour
generation using the ElipSys inference
system (Publication within
these proceedings) |
|
An
alternative to constraint logic programming for
managing domain arithmetics in Prolog expert
systems (Publication within
these proceedings) |
|
A
graph-aided inference browser for developing
knowledge-based systems (Publication within these
proceedings) |
|
Supporting
knowledge acquisition by end users: tools and
representations (Publication
within these proceedings) |
|
Implementation
of an automated E.M.S. optimization program
using an embedded expert system (Publication within these
proceedings) |
|
On
the construction of efficient match networks
(Publication within these
proceedings) |
|
On
the conversion of rule bases into belief
networks (Publication within
these proceedings) |
|
Permanent
object storage and collections for
object-oriented systems with rules (Publication within these
proceedings) |
|
Parallel
pattern recognition using fuzzy cooperative
expert systems (Publication
within these proceedings) |
|
AUTOKNAG:
automatic knowledge acquisition for fault
isolation expert systems (Publication within these
proceedings) |
|
Comparison
of fuzzy implication operators by means of
weighting strategy in resolution based automated
reasoning (Publication within
these proceedings) |
|
Image
contrast enhancement using fuzzy set theory
(Publication within these
proceedings) |
|
On
the issue of neighborhood in self-organizing
maps (Publication within these
proceedings) |
|
Inference
of a 3-D object from a random partial 2-D
projection (Publication within
these proceedings) |
|
New
mathematical morphology operators and their
applications (Publication
within these proceedings) |
|
Estimating
testability and coverage distributions of a VLSI
circuit from a mixture of discrete and
continuous functions (Publication within these
proceedings) |
|
Study
of a generic graphics package for the
development of various user interfaces (Publication within these
proceedings) |
|
Learning
tool for signed English (Publication within these
proceedings) |
|
Reconstructing
surfaces form sparse depth information (Publication within these
proceedings) |
|
Improving
edge detection by an objective edge
evaluation (Publication within
these proceedings) |
|
Adaptive
estimation of optical flow from general object
motion (Publication within
these proceedings) |
|
A
graph browser for large directed graphs
(Publication within these
proceedings) |
|
Entropy
and information measures in combinatorial
optimization (Publication
within these proceedings) |
|
A
hierarchical single-key-lock access control
using the Chinese remainder theorem (Publication within these
proceedings) |
|
An
adversarial plan recognition system for
multi-agent airborne threats (Publication within these
proceedings) |
|
A
cost effective question asking strategy
(Publication within these
proceedings) |
|
Diagnosis
of complex industrial devices (Publication within these
proceedings) |
|
An
object-oriented model for intelligent
networks (Publication within
these proceedings) |
|
Proving
functionally difficult problems through model
generation (Publication within
these proceedings) |
|
Experimentation
with proof methods for non-Horn sets (Publication within these
proceedings) |
|
Channel
routing by constraint logic (Publication within these
proceedings) |
|
Computations
at infinity: a nonstandard approach (Publication within these
proceedings) |
|
Unification
for completely commutative theories (Publication within these
proceedings) |
|
On
the relationship between circumscription and
well-founded semantics of logic programs
(Publication within these
proceedings) |
|
A
strategy for transforming generate and test
logic programs (Publication
within these proceedings) |
|
Using
constraint logic programming for model-based
diagnosis: the MODIC system (Publication within these
proceedings) |
|
Exploiting
implicit parallelism of logic languages with the
SAM (Publication within these
proceedings) |
|
Formation
of clusters and resolution of ordinal attributes
in ID3 classification trees (Publication within these
proceedings) |
|
Conflict
resolution in inductive learning from
examples (Publication within
these proceedings) |
|
A
look-ahead learning algorithm for inductive
learning through examples (Publication within these
proceedings) |
|
A
uniform interface to networked library
services (Publication within
these proceedings) |
|
A
checkpointing recovery approach in a distributed
system on the CSMA/CD network (Publication within these
proceedings) |
|
A
performance study of a token ring protocol
(Publication within these
proceedings) |
|
Distributed
asynchronous winner-take-all structures and
conflict detection (Publication within these
proceedings) |
