|
Showing 1 - 2 of
2 matches in All Departments
This book offers a helpful starting point in the scattered, rich,
and complex body of literature on Mobile Information Retrieval
(Mobile IR), reviewing more than 200 papers in nine chapters.
Highlighting the most interesting and influential contributions
that have appeared in recent years, it particularly focuses on both
user interaction and techniques for the perception and use of
context, which, taken together, shape much of today's research on
Mobile IR. The book starts by addressing the differences between IR
and Mobile IR, while also reviewing the foundations of Mobile IR
research. It then examines the different kinds of documents, users,
and information needs that can be found in Mobile IR, and which set
it apart from standard IR. Next, it discusses the two important
issues of user interfaces and context-awareness. In closing, it
covers issues related to the evaluation of Mobile IR applications.
Overall, the book offers a valuable tool, helping new and veteran
researchers alike to navigate this exciting and highly dynamic area
of research.
|
Types for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Paperback, 2008 ed.)
Marino Miculan, Ivan Scagnetto, Furio Honsell
|
R1,521
Discovery Miles 15 210
|
Ships in 10 - 15 working days
|
These proceedings contain a selection of refereed papers presented
at or related
totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996),
which was held during May 2-5, 2007 in Cividale del Friuli (Udine),
Italy. The topic of this workshop was formal reasoning and computer
progr- ming basedon type theory: languagesand computerized toolsfor
reasoning, and applications in several domains such as analysis of
programming languages, c- ti?ed software, formalization of
mathematics and mathematics education. The workshopwasattended by
morethan 100researchersandincluded morethan 40 presentations. We
also had the pleasure of three invited lectures, from Fr ed eric
Blanqui (INRIA, Protheo team), Peter Sewell (University of
Cambridge) and Amy Felty (University of Ottawa). From 22 submitted
papers, 13 were selected after a reviewing process. Each submitted
paper was reviewed by three referees; the ?nal decisions were made
by the editors. This workshop is the last of a series of meetings
of the TYPES working group funded by the European Union (IST
project 29001, ESPRIT Working Group 21900, ESPRIT BRA 6435)."
|
You may like...
Dogs
Tom Jackson
Paperback
R305
R276
Discovery Miles 2 760
|