2880 search results - page 59 / 576 » context 2007 |
RE
2007
Springer
14 years 5 months ago
2007
Springer
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...
MKM
2007
Springer
14 years 5 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 ...
CONTEXT
2007
Springer
14 years 5 months ago
2007
Springer
In times where users need to process an ever increasing amount of
PUC
2007
13 years 10 months ago
2007
Abstract In the near future, it will be possible to continuously record and store the entire audio–visual lifetime of a person together with all digital information that the pers...
BMCBI
2007
13 years 11 months ago
2007
Background: Lightweight genome viewer (lwgv) is a web-based tool for visualization of sequence annotations in their chromosomal context. It performs most of the functions of large...