6409 search results - page 908 / 1282 » A Computational Algorithm for Origami Design |
148
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
132
click to vote
UIST
2010
ACM
15 years 1 months ago
2010
ACM
Instrumented with multiple depth cameras and projectors, LightSpace is a small room installation designed to explore a variety of interactions and computational strategies related...
152
click to vote
AVSS
2009
IEEE
15 years 1 months ago
2009
IEEE
Low-cost and low-power video surveillance systems based on networks of wireless video sensors will enter soon the marketplace with the promise of flexibility, quick deployment an...
148
click to vote
TOG
2010
14 years 10 months ago
2010
Accurately rendering glossy materials in design applications, where previewing and interactivity are important, remains a major challenge. While many fast global illumination solu...
155
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: High-throughput mass spectrometry (MS) proteomics data is increasingly being used to complement traditional structural genome annotation methods. To keep pace with the...