Sciweavers

1691 search results - page 211 / 339
» 'Field' work
Sort
View
CACM
2010
97views more  CACM 2010»
15 years 3 months ago
Certified software
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
Zhong Shao
ICML
2008
IEEE
16 years 7 months ago
Efficiently solving convex relaxations for MAP estimation
The problem of obtaining the maximum a posteriori (map) estimate of a discrete random field is of fundamental importance in many areas of Computer Science. In this work, we build ...
M. Pawan Kumar, Philip H. S. Torr
EDUTAINMENT
2006
Springer
15 years 8 months ago
The ARTable: An AR-Based Tangible User Interface System
Augmented Reality (AR) and Tangible User Interface (TUI) have been proven to provide intuition to human computer interface with richness of a tactile sense. Recent implementations ...
Youngmin Park, Woontack Woo
IADIS
2008
15 years 8 months ago
Data Mining In Marketing Acquisition CAMPAIGNS
Business applications of data mining in marketing often focus on use of predictive models to classify customer events such as acquisition, sales of products and services or custom...
Krzysztof Dzieciolowski, Dennis Kira
PUC
2010
104views more  PUC 2010»
15 years 1 months ago
Towards understanding how to design for social play in exertion games
Players invest significant physical effort when playing exertion games. In addition to improving physical health, exertion games are also believed to facilitate social play amongs...
Florian Mueller, Martin R. Gibbs, Frank Vetere