Sciweavers

643 search results - page 85 / 129
» A study of computational and human strategies in revelation ...
Sort
View
ESA
2009
Springer
107views Algorithms» more  ESA 2009»
14 years 2 months ago
Disproof of the Neighborhood Conjecture with Implications to SAT
We study a special class of binary trees. Our results have implications on Maker/Breaker games and SAT: We disprove a conjecture of Beck on positional games and construct an unsati...
Heidi Gebauer
HICSS
2002
IEEE
106views Biometrics» more  HICSS 2002»
14 years 17 days ago
Optimal Electric Power Capacity Expansion in the Presence of Options
This paper studies optimal long-term electric power capacity strategies with capacity options. Gencos can sign contracts with Discos, where such contracts take the form of capacit...
D. J. Wu, Paul Kleindorfer, Yanjun Sun
ACMACE
2006
ACM
14 years 1 months ago
Projecting tension in virtual environments through lighting
Interactive synthetic environments are currently used in a wide variety of applications, including video games, exposure therapy, education, and training. Their success in such do...
Magy Seif El-Nasr
CHI
2009
ACM
14 years 8 months ago
Magic cards: a paper tag interface for implicit robot control
Typical Human Robot Interaction (HRI) assumes that the user explicitly interacts with robots. However, explicit control with robots can be unnecessary or even undesirable in certa...
Shengdong Zhao, Koichi Nakamura, Kentaro Ishii, Ta...
CHI
2007
ACM
14 years 8 months ago
iStuff mobile: rapidly prototyping new mobile phone interfaces for ubiquitous computing
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
Rafael Ballagas, Faraz Memon, Rene Reiners, Jan O....