17 search results - page 1 / 4 » Context Aware Calculation and Deduction |
MKM
2007
Springer
13 years 11 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
CISSE
2008
Springer
13 years 5 months ago
2008
Springer
— Human centred services are increasingly common in the market of mobile devices. However, affective aware services are still scarce. In turn, the recognition of secondary emotio...
ICALT
2009
IEEE
13 years 11 months ago
2009
IEEE
Research in individual differences and in particular, learning and cognitive style, has become a basis to consider learner preferences in a web-based educational context. How lear...
OTM
2007
Springer
13 years 11 months ago
2007
Springer
The entities participating in a context-aware service platform need to establish and manage trust relationships in order to assert different trust aspects including identity provis...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper we present a new technique which exploits timing-correlation between tasks for scheduling analysis in multiprocessor and distributed systems with tree-shaped task-de...