Sciweavers

10615 search results - page 1492 / 2123
» Dynamic topic models
Sort
View
ISSTA
2012
ACM
13 years 9 months ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...
CVPR
2008
IEEE
16 years 9 months ago
Simultaneous super-resolution and 3D video using graph-cuts
This paper presents a new method to increase the quality of 3D video, a new media developed to represent 3D objects in motion. This representation is obtained from multi-view reco...
Tony Tung, Shohei Nobuhara, Takashi Matsuyama
CHI
2005
ACM
16 years 7 months ago
Extending tangible interfaces for education: digital montessori-inspired manipulatives
This paper introduces a new framework for thinking about tangible interfaces in education, with specific focus on problem domains. Manipulatives are physical objects specifically ...
Oren Zuckerman, Saeed Arida, Mitchel Resnick
ASPLOS
2010
ACM
16 years 2 months ago
Request behavior variations
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
Kai Shen
SC
2009
ACM
16 years 2 months ago
Many task computing for multidisciplinary ocean sciences: real-time uncertainty prediction and data assimilation
Error Subspace Statistical Estimation (ESSE), an uncertainty prediction and data assimilation methodology employed for real-time ocean forecasts, is based on a characterization an...
Constantinos Evangelinos, Pierre F. J. Lermusiaux,...
« Prev « First page 1492 / 2123 Last » Next »