18918 search results - page 522 / 3784 » Using Technology in Teaching |
165
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
HTTP-MPLEX is a header compression and response encoding scheme for HTTP. It is designed to compress traditional HTTP requests and multiplex any number of responses to a single st...
196
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the need to extend general models and systems for context-awareness to include adaptation of interactions to context. Our approach was motivated by our experiences of de...
189
click to vote
MDM
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes a framework for personalisation of mobile services called Web Services Personalisation Framework (WSPF). The framework is based on the Service-Oriented Archite...
165
click to vote
TPHOL
2005
IEEE
16 years 20 days ago
2005
IEEE
We discuss methods for dealing effectively with let-bindings in proofs. Our contribution is a small set of unconditional rewrite rules, found by the bracket abstraction translatio...
194
click to vote
CLEF
2005
Springer
16 years 19 days ago
2005
Springer
This paper describes how we managed to use the WordNet ontology for the GeoCLEF 2005 English monolingual task. Both a query expansion method, based on the expansion of geographical...