1788 search results - page 162 / 358 » Model Theory for Process Algebra |
113
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
131
Voted
JUCS
2010
15 years 2 months ago
2010
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
125
Voted
ASWEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
120
click to vote
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we propose a new application of Bayesian language model based on Pitman-Yor process for information retrieval. This model is a generalization of the Dirichlet distr...
118
Voted
CANDC
2009
ACM
15 years 10 months ago
2009
ACM
This workshop is aimed at describing the elusive creative process: addressing models and of creative practice, from art to craft, from dance to education. In particular, we wish t...