3174 search results - page 286 / 635 » An Exploration of the Permanent-Determinant Method |
180
Voted
WMTE
2005
IEEE
16 years 9 days ago
2005
IEEE
The paper reports on a small pilot study that explores the role of mobile technology (m-technology) in English as second language (ESL) vocabulary learning for working adult learn...
170
click to vote
ACMSE
2005
ACM
16 years 9 days ago
2005
ACM
This paper explores a method for re-sequencing an existing set of animation, specifically motion capture data, to generate new motion. Re-using animation is helpful in designing ...
175
click to vote
ICAIL
2005
ACM
16 years 9 days ago
2005
ACM
We describe a set of experiments using machine learning techniques for the task of extractive summarisation. The research is part of a summarisation project for which we use a cor...
165
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
147
Voted
CHARME
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we explore a parallelization of BMC based on state space partitioning. The parallelization is accomplished by executing multiple instances of BMC independently from ...