1788 search results - page 166 / 358 » Model Theory for Process Algebra |
127
Voted
COMPGEOM
2007
ACM
15 years 7 months ago
2007
ACM
We propose a simple variant of kd-trees, called rank-based kd-trees, for sets of points in Rd . We show that a rank-based kd-tree, like an ordinary kd-tree, supports range search ...
132
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
One of the major concerns in the processes which involve human analysts is the existence of uncertainty/inconsistency. In this paper, we propose a model based on belief theory tha...
135
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes a new student model technology that combines evidences and knowledge about pedagogical and domain structure. Its structure is generated from the metadata avai...
129
Voted
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
In recent years, statistical language models are being proposed as alternative to the vector space model. Viewing documents as language samples introduces the issue of defining a...
115
Voted
CICLING
2005
Springer
15 years 9 months ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...