1788 search results - page 166 / 358 » Model Theory for Process Algebra |
168
click to vote
COMPGEOM
2007
ACM
15 years 10 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 ...
163
click to vote
OOPSLA
2007
Springer
16 years 16 days 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...
173
click to vote
ECAI
2008
Springer
15 years 8 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...
173
click to vote
SIGIR
2004
ACM
15 years 12 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...
147
click to vote
CICLING
2005
Springer
15 years 12 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...