186 search results - page 9 / 38 » Decidable Extensions of Church's Problem |
161
Voted
SDM
2004
SIAM
15 years 3 months ago
2004
SIAM
Microarray experiments have been extensively used for simultaneously measuring DNA expression levels of thousands of genes in genome research. A key step in the analysis of gene e...
109
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
119
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
105
click to vote
ICMAS
2000
15 years 3 months ago
2000
In this paper, we formulate agent's decision process under the framework of Markov decision processes, and in particular, the multi-agent extension to Markov decision process...
119
click to vote
TCS
2008
15 years 1 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...