Sciweavers

2701 search results - page 176 / 541
» On the form of witness terms
Sort
View
JSI
1998
125views more  JSI 1998»
15 years 6 months ago
The Algebraic Framework for Object-Oriented Systems
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
D. H. H. Yoon
NECO
1998
116views more  NECO 1998»
15 years 6 months ago
GTM: The Generative Topographic Mapping
Latent variable models represent the probability density of data in a space of several dimensions in terms of a smaller number of latent, or hidden, variables. A familiar example ...
Christopher M. Bishop, Markus Svensén, Chri...
STTT
2002
86views more  STTT 2002»
15 years 6 months ago
What makes good research in software engineering?
Physics, biology, and medicine have well-refined public explanations of their research processes. Even in simplified form, these provide guidance about what counts as "good re...
Mary Shaw
TCAD
2002
86views more  TCAD 2002»
15 years 6 months ago
Platune: a tuning framework for system-on-a-chip platforms
System-on-a-chip (SOC) platform manufacturers are increasingly adding configurable features that provide power and performance flexibility in order to increase a platform's ap...
Tony Givargis, Frank Vahid
TIT
2002
60views more  TIT 2002»
15 years 6 months ago
A Zador-like formula for quantizers based on periodic tilings
We consider Zador's asymptotic formula for the distortion-rate function for a variable-rate vector quantizer in the high-rate case. This formula involves the differential ent...
N. J. A. Sloane, Vinay A. Vaishampayan