5863 search results - page 900 / 1173 » On Model-Checking of P Systems |
164
click to vote
IEEECIT
2005
IEEE
16 years 7 days ago
2005
IEEE
Similarity search leveraging distance-based index structures is increasingly being used for complex data types. It has been shown that for high dimensional uniform vectors with si...
150
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...
163
click to vote
MM
2005
ACM
16 years 6 days ago
2005
ACM
In this technical demonstration we showcase the MediaMill system. A search engine that facilitates access to news video archives at a semantic level. The core of the system is an ...
146
click to vote
AIED
2005
Springer
16 years 5 days ago
2005
Springer
Middle school mathematics teachers are often forced to choose between assisting students' development and assessing students' abilities because of limited classroom time ...
161
click to vote
DEXA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Non-trivial retrieval applications involve complex computations on large multi-dimensional datasets. These should, in principle, benefit from the use of relational datab...