Sciweavers

4772 search results - page 816 / 955
» An approach to interface synthesis
Sort
View
MM
2004
ACM
139views Multimedia» more  MM 2004»
15 years 12 months ago
MobShare: controlled and immediate sharing of mobile images
In this paper we describe the design and implementation of a mobile phone picture sharing system MobShare that enables immediate, controlled, and organized sharing of mobile pictu...
Risto Sarvas, Mikko Viikari, Juha Pesonen, Hanno N...
SIGCSE
2004
ACM
168views Education» more  SIGCSE 2004»
15 years 12 months ago
Design, science, and engineering topics?: teaching HCI with a unified method
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...
D. Scott McCrickard, Christa M. Chewar, Jacob P. S...
AH
2004
Springer
15 years 12 months ago
Machine Learning Methods for One-Session Ahead Prediction of Accesses to Page Categories
This paper presents a comparison among several well-known machine learning techniques when they are used to carry out a one-session ahead prediction of page categories. We use reco...
José David Martín-Guerrero, Emili Ba...
AH
2004
Springer
15 years 12 months ago
On the Dynamic Generation of Compound Critiques in Conversational Recommender Systems
Conversational recommender systems help to guide users through a product-space towards a particular product that meets their specific requirements. During the course of a “conve...
Kevin McCarthy, James Reilly, Lorraine McGinty, Ba...
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 12 months ago
DPLL( T): Fast Decision Procedures
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
Harald Ganzinger, George Hagen, Robert Nieuwenhuis...