177 search results - page 30 / 36 » Linearizing Intuitionistic Implication |
KR
1992
Springer
13 years 11 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
MICCAI
2000
Springer
13 years 11 months ago
2000
Springer
The quantitative estimation of regional cardiac deformation from 3D image sequences has important clinical implications for the assessment of myocardial viability. The validation o...
IJCAI
2007
13 years 9 months ago
2007
We investigate the problem of mining closed sets in multi-relational databases. Previous work introduced different semantics and associated algorithms for mining closed sets in mu...
CCR
2006
13 years 7 months ago
2006
Network coding is a new research area that may have interesting applications in practical networking systems. With network coding, intermediate nodes may send out packets that are...