1536 search results - page 152 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
CVPR
2011
IEEE
13 years 7 months ago
2011
IEEE
Unsupervised learning can be used to extract image representations that are useful for various and diverse vision tasks. After noticing that most biological vision systems for int...
QEST
2005
IEEE
14 years 3 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
VLDB
2005
ACM
14 years 3 months ago
2005
ACM
The major relational database systems have been providing XML support for several years, predominantly by mapping XML to existing concepts such as LOBs or (object-)relational tabl...