Sciweavers

2474 search results - page 311 / 495
» Kitchen of the Future and Applications
Sort
View
MOBIHOC
2007
ACM
16 years 6 months ago
Secure incentives for commercial ad dissemination in vehicular networks
Vehicular ad hoc networks (VANETs) are envisioned to provide us with numerous interesting services in the near future. One of the most promising applications is the dissemination ...
Suk-Bok Lee, Gabriel Pan, Joon-Sang Park, Mario Ge...
ICCAD
2002
IEEE
146views Hardware» more  ICCAD 2002»
16 years 3 months ago
Conflict driven learning in a quantified Boolean Satisfiability solver
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
Lintao Zhang, Sharad Malik
CHI
2010
ACM
16 years 1 months ago
Self-monitoring, self-awareness, and self-determination in cardiac rehabilitation
The application of self-monitoring technologies to the problem of promoting health-related behavioural change has been an active area of research for many years. This paper report...
Julie Maitland, Matthew Chalmers
ISPD
2010
ACM
160views Hardware» more  ISPD 2010»
16 years 1 months ago
Physical synthesis of bus matrix for high bandwidth low power on-chip communications
As the thermal wall becomes the dominant factor limiting VLSI circuit performance, and the interconnect wires become the primary power consumer, power efficiency of onchip data th...
Renshen Wang, Evangeline F. Y. Young, Ronald L. Gr...
TEI
2010
ACM
136views Hardware» more  TEI 2010»
16 years 1 months ago
Shape-changing mobiles: tapering in one-dimensional deformational displays in mobile phones
In this paper, we present a new shape-based display technique for mobile phones: A rotatory deformation of the phone’s chassis, resulting in a tapering between the phone’s fro...
Fabian Hemmert, Susann Hamann, Matthias Löwe,...