1788 search results - page 116 / 358 » Model Theory for Process Algebra |
173
Voted
ER
2011
Springer
14 years 16 days ago
2011
Springer
Abstract. User preferences are a fundamental ingredient of personalized database applications, in particular those in which the user context plays a key role. Given a set of prefer...
120
click to vote
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
An approach for reconstructing wireframe models of curvilinear objects from three orthographic views is discussed. Our main stress is on the method of generating three-dimensional ...
135
click to vote
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
This paper studies document ranking under uncertainty. It is tackled in a general situation where the relevance predictions of individual documents have uncertainty, and are depen...
179
Voted
GLOBAL
2003
Springer
15 years 6 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
132
Voted
PE
2011
Springer
14 years 7 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...