Sciweavers

5879 search results - page 842 / 1176
» Separation - Past, Present, and Future
Sort
View
TEI
2009
ACM
172views Hardware» more  TEI 2009»
16 years 1 months ago
SLAPbook: tangible widgets on multi-touch tables in groupware environments
We present SLAPbook, an application using SLAP, translucent and tangible widgets for use on vision-based multi-touch tabletops in Single Display Groupware (SDG) environments. SLAP...
Malte Weiss, Julie Wagner, Roger Jennings, Yvonne ...
CAV
2009
Springer
182views Hardware» more  CAV 2009»
16 years 1 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
PAM
2009
Springer
16 years 1 months ago
Understanding Channel and Interface Heterogeneity in Multi-channel Multi-radio Wireless Mesh Networks
Abstract. Multi-channel multi-radio architectures have been widely studied for 802.11-based wireless mesh networks to address the capacity problem due to wireless interference. The...
Anand Prabhu Subramanian, Jing Cao, Chul Sung, Sam...
CEC
2009
IEEE
16 years 1 months ago
An adaptive learning particle swarm optimizer for function optimization
— Traditional particle swarm optimization (PSO) suffers from the premature convergence problem, which usually results in PSO being trapped in local optima. This paper presents an...
Changhe Li, Shengxiang Yang
ICAC
2009
IEEE
16 years 1 months ago
Applying adaptation design patterns
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
Andres J. Ramirez, Betty H. C. Cheng