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...
Book of Martyrs - Or, a History of the…
John Foxe Paperback R789 Discovery Miles 7 890
Dogs
Tom Jackson Paperback R305 R276 Discovery Miles 2 760
Charles Fox Parham - The Unlikely Father…
Larry Martin Paperback R426 R400 Discovery Miles 4 000
Scottish Terrier Affirmations Workbook…
Live Positivity Paperback R502 Discovery Miles 5 020
The Land Is Not Empty - Following Jesus…
Sarah Augustine Paperback R456 R422 Discovery Miles 4 220
A Sermon Preached Before the Honourable…
Richard West Paperback R313 Discovery Miles 3 130
History of the Donatists - With Notes
David Benedict Paperback R525 Discovery Miles 5 250
The Metropolitan Tabernacle - Its…
Charles Spurgeon Hardcover R492 Discovery Miles 4 920
Shih Tzu Affirmations Workbook Shih Tzu…
Live Positivity Paperback R502 Discovery Miles 5 020
Rhodesian Ridgeback Affirmations…
Live Positivity Paperback R502 Discovery Miles 5 020

 

Partners