275 search results - page 43 / 55 » Learning about and through Empirical Modelling |
ENTCS
2008
13 years 8 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...
SIGECOM
2008
ACM
13 years 8 months ago
2008
ACM
One attractive feature of market scoring rules [Hanson '03] is that they are myopically strategyproof: It is optimal for a trader to report her true belief about the likeliho...
WEBI
2005
Springer
14 years 2 months ago
2005
Springer
This work presents a new perspective on characterizing the similarity between elements of a database or, more generally, nodes of a weighted, undirected, graph. It is based on a M...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Peer-to-peer systems are becoming increasingly popular, with millions of simultaneous users and a wide range of applications. Understanding existing systems and devising new pe...