437 search results - page 25 / 88 » Models and the locus of their truth |
ICALP
2004
Springer
14 years 28 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
SYNTHESE
2010
13 years 2 months ago
2010
Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In...
ACAL
2009
Springer
14 years 2 months ago
2009
Springer
The Information Fusion Panel within The Technical Cooperation Program (TTCP) is developing algorithms to perform machine-based situation assessment to assist human operators in co...
CIDU
2010
13 years 5 months ago
2010
Mathematical models of physical phenomena are of critical importance in virtually all applications of science and technology. This paper addresses the problem of how to use data to...
ISVC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this work, synthesis of facial animation is done by modelling the mapping between facial motion and speech using the shared Gaussian process latent variable model. Bot...