Sciweavers

96 search results - page 9 / 20
» ami 2008
Sort
View
ISCI
2008
139views more  ISCI 2008»
13 years 8 months ago
Easishop: Ambient intelligence assists everyday shopping
E-commerce has been one of the success stories of the last decade. Developments in wireless communications and mobile computing have heralded an era of mobile commerce (m-commerce...
Stephen Keegan, Gregory M. P. O'Hare, Michael J. O...
ICDM
2008
IEEE
99views Data Mining» more  ICDM 2008»
14 years 3 months ago
Kernels for the Investigation of Localized Spatiotemporal Transitions of Drought with Support Vector Machines
We present and discuss several spatiotemporal kernels designed to mine real-life and simulated data in support of drought prediction. We implement and empirically validate these k...
Matthew W. Collier, Amy McGovern
CAV
2008
Springer
104views Hardware» more  CAV 2008»
13 years 10 months ago
Proving Conditional Termination
Abstract. We describe a method for synthesizing reasonable underapproximations to weakest preconditions for termination--a long-standing open problem. The paper provides experiment...
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Ryb...
SCCC
2008
IEEE
14 years 3 months ago
PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence
Many Ambient Intelligence (AmI) scenarios fit perfectly for auto-generated distributed networks, but they assume the existence of good enough network topology organizing the conn...
Alfredo Cádiz, Boris Mejías, Jorge V...
IADIS
2004
13 years 10 months ago
Symmetric Synchronous Collaborative Navigation
Synchronous collaborative navigation is a form of social navigation where users virtually share a web browser. In this paper, we present a symmetric, proxy-based architecture wher...
Luca Gerosa, Alessandra Giordani, Marco Ronchetti,...