908 search results - page 10 / 182 » Generating maximal models using the stable model semantics |
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
SMA
2010
ACM
14 years 9 months ago
2010
ACM
Whereas traditional finite element methods use meshes to define domain geometry, weighted extended B-spline finite element methods rely on a weight function. A weight function is ...
CCR
2006
14 years 9 months ago
2006
The delay and throughput characteristics of a packet switch depend mainly on the queueing scheme and the scheduling algorithm deployed at the switch. Early research on scheduling ...
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
In this work we deal with the problem of modelling and exploiting the interaction between the processes of image segmentation and object categorization. We propose a novel framewo...
107
click to vote
SIGIR
2004
ACM
15 years 2 months ago
2004
ACM
We present a probabilistic model for a document corpus that combines many of the desirable features of previous models. The model is called “GaP” for Gamma-Poisson, the distri...