3239 search results - page 391 / 648 » A Logical Process Calculus |
133
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
124
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
The Spanish National Agency for Quality Assessment and Accreditation as part of its evaluation activities has established a procedure for evaluating both teaching and institutions,...
138
Voted
EUSFLAT
2009
15 years 1 months ago
2009
-- An approach to estimate the number of rules by spectral analysis of the training dataset has been recently proposed [1]. This work presents an analysis of such a method in high ...
146
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
This paper proposes an approach aimed at obviating empty answers for a family of conjunctive queries involving Boolean or fuzzy value constraints. Contrary to the approaches based ...
195
click to vote
IFIPTM
2009
15 years 1 months ago
2009
Trust has been explored by many researchers in the past as a solution for assisting the process of recommendation production. In this work we are examining the feasibility of build...