4620 search results - page 20 / 924 » Comparing Object Encodings |
JAR
2008
13 years 7 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
AMAI
2004
Springer
14 years 1 months ago
2004
Springer
Bayesian Model Averaging (BMA) is well known for improving predictive accuracy by averaging inferences over all models in the model space. However, Markov chain Monte Carlo (MCMC)...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Maintaining spanning trees in a distributed fashion is central to many networking applications. In this paper, we propose a self-stabilizing algorithm for maintaining a spanning tr...
ACISICIS
2007
IEEE
14 years 1 months ago
2007
IEEE
HTTP-MPLEX is a header compression and response encoding scheme for HTTP. It is designed to compress traditional HTTP requests and multiplex any number of responses to a single st...