Sciweavers

3358 search results - page 303 / 672
» Parametric Aspects: A Proposal
Sort
View
153
Voted
PERCOM
2008
ACM
16 years 6 months ago
Safety Enhancing Mechanisms for Pervasive Computing Systems in Intelligent Environments
Pervasive computing systems provide personalized and intimate services to improve users' quality of life by integrating computation and communication into the environments. Wi...
Hen-I Yang, Abdelsalam Helal
PERCOM
2006
ACM
16 years 6 months ago
Customizable Pervasive Applications
Human behavior and housing resist every standardization effort. Many aspects such as different technical equipment, furniture, and usage patterns make our surroundings as individu...
Torben Weis, Marcus Handte, Mirko Knoll, Christian...
PERCOM
2005
ACM
16 years 6 months ago
A Dynamic Lightweight Platform for Ad-Hoc Infrastructures
Mobile devices like PDAs or mobile phones have become widespread. Similarly, network functionality like GSM, Bluetooth, or WLAN has become standard. Nevertheless, not many applica...
Andreas Frei, Gustavo Alonso
CVPR
2010
IEEE
16 years 3 months ago
Exploring Features in a Bayesian Framework for Material Recognition
We are interested in identifying the material category, e.g. glass, metal, fabric, plastic or wood, from a single image of a surface. Unlike other visual recognition tasks in comp...
Ce Liu, Lavanya Sharan, Edward Adelson, Ruth Rosen...
180
Voted
TACAS
2010
Springer
146views Algorithms» more  TACAS 2010»
16 years 1 months ago
Ranking Function Synthesis for Bit-Vector Relations
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
Byron Cook, Daniel Kroening, Philipp Rümmer, ...