774 search results - page 89 / 155 » Markov incremental constructions |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
CSDA
2008
13 years 9 months ago
2008
An m-sample semiparametric model in which the ratio of m - 1 probability density functions with respect to the mth is of a known parametric form without reference to any parametri...
ENTCS
2008
13 years 9 months ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
ISM
2008
IEEE
13 years 9 months ago
2008
IEEE
In an environment where the contexts of users are complex and the degree of freedom of user activity is very high, such as in daily life, several factors need to be considered for...
JAIR
2006
13 years 9 months ago
2006
We consider interactive tools that help users search for their most preferred item in a large collection of options. In particular, we examine example-critiquing, a technique for ...