0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Mobile Information Retrieval (Paperback, 1st ed. 2017): Fabio Crestani, Stefano Mizzaro, Ivan Scagnetto Mobile Information Retrieval (Paperback, 1st ed. 2017)
Fabio Crestani, Stefano Mizzaro, Ivan Scagnetto
R1,802 Discovery Miles 18 020 Ships in 10 - 15 working days

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... 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)."

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Bionic Functional Structures by…
Guoqiang Li Hardcover R2,873 Discovery Miles 28 730
Inquiries into Truth and Interpretation…
Donald Davidson Hardcover R3,978 Discovery Miles 39 780
Practical Spectroscopy of High-Frequency…
Sergi Kazantsev, Vyacheslav I. Khutorshchikov, … Hardcover R4,552 Discovery Miles 45 520
Narration as Argument
Paula Olmos Hardcover R2,890 Discovery Miles 28 900
Looking Within - Coming Home to Yourself…
Michelle Goss Hardcover R692 Discovery Miles 6 920
The Trap of Proximity Violence…
Ignazia Bartholini Hardcover R1,521 Discovery Miles 15 210
Where Does My Dog Hurt - Find the Source…
Renee Tucker Paperback R705 R638 Discovery Miles 6 380
Queer Entanglements - Intersections of…
Damien W. Riggs, Shoshana Rosenberg, … Hardcover R3,109 Discovery Miles 31 090
Kant and Post-Tractarian Wittgenstein…
Bernhard Ritter Hardcover R3,155 Discovery Miles 31 550
Sala Kahle, District Six
Nomvuyo Ngcelwane Paperback R274 Discovery Miles 2 740

 

Partners