3710 search results - page 110 / 742 » A new calculus of contexts |
172
click to vote
ICASSP
2007
IEEE
16 years 21 days ago
2007
IEEE
One of the main dif culties in echo cancellation is the fact that the learning rate needs to vary according to conditions such as double-talk and echo path change. Several methods...
153
click to vote
ISBI
2007
IEEE
16 years 20 days ago
2007
IEEE
A number of problems frequently encountered in brain image analysis can be conveniently solved within a registration framework, such as alignment of mono- or multi-sequence Magnet...
165
click to vote
WMTE
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we report early findings from a sample of Australian participants using Nokia’s Lifeblog software on mobile phones to record aspects of living and learning in both...
138
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
The eXtensible Tutor Architecture (XTA) was designed as a platform for creating and deploying many types of Intelligent Tutoring Systems across many different platforms. The XTA pr...
189
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...