Sciweavers

3938 search results - page 374 / 788
» Interactive Protocols on the Reals
Sort
View
BMCBI
2007
109views more  BMCBI 2007»
15 years 7 months ago
A cis-regulatory logic simulator
Background: A major goal of computational studies of gene regulation is to accurately predict the expression of genes based on the cis-regulatory content of their promoters. The d...
Robert D. Zeigler, Jason Gertz, Barak A. Cohen
CHI
2007
ACM
15 years 10 months ago
Social responses to virtual humans: implications for future interface design
Do human-human social interactions carry over to humanvirtual human social interactions? How does this affect future interface designers? We replicated classical tests of social i...
Catherine A. Zanbaka, Amy Catherine Ulinski, Paula...
FGCN
2008
IEEE
170views Communications» more  FGCN 2008»
16 years 1 months ago
NetTopo: Beyond Simulator and Visualizer for Wireless Sensor Networks
Simulators are needed for testing algorithms of wireless sensor networks (WSNs) for large scale scenarios. Deploying real WSN testbed provides a more realistic testing environment...
Lei Shu, Chun Wu, Yan Zhang, Jiming Chen, Lei Wang...
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
16 years 27 days ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
HUC
2005
Springer
16 years 9 days ago
Scanning Objects in the Wild: Assessing an Object Triggered Information System
We describe the results of a field deployment of the AURA system which links online content to physical objects through machine readable tags. AURA runs on commercially available p...
A. J. Bernheim Brush, Tammara Combs Turner, Marc A...