9405 search results - page 121 / 1881 » Computing a Model of Set Theory |
COGSCI
2010
14 years 10 months ago
2010
Words are the essence of communication: they are the building blocks of any language. Learning the meaning of words is thus one of the most important aspects of language acquisiti...
SIGIR
2006
ACM
15 years 4 months ago
2006
ACM
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
CONCUR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
IJACTAICIT
2010
14 years 4 months ago
2010
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-proble...
FOSSACS
2011
Springer
14 years 1 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...