Sciweavers

6059 search results - page 233 / 1212
» A Technique for Verifying Measurements
Sort
View
CHI
2007
ACM
16 years 7 months ago
Endpoint prediction using motion kinematics
Recently proposed novel interaction techniques such as cursor jumping [1] and target expansion for tiled arrangements [13] are predicated on an ability to effectively estimate the...
Edward Lank, Yi-Chun Nikko Cheng, Jaime Ruiz
190
Voted
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 12 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
Shared Sampling for Real-Time Alpha Matting
Image matting aims at extracting foreground elements from an image by means of color and opacity (alpha) estimation. While a lot of progress has been made in recent years on impro...
Eduardo S. L. Gastal and Manuel M. Oliveira
ASPDAC
2004
ACM
84views Hardware» more  ASPDAC 2004»
16 years 2 days ago
Jitter spectral extraction for multi-gigahertz signal
– In this paper, we propose a method for extracting the spectral information of a multi-gigahertz jittery signal. This method may utilize existing on-chip single-shot period meas...
Chee-Kian Ong, Dongwoo Hong, Kwang-Ting Cheng, Li-...
COMPSAC
2002
IEEE
15 years 11 months ago
The Application of Case-Based Reasoning to Early Web Project Cost Estimation
Literature shows that over the years numerous techniques for estimating development effort have been suggested, derived from late project measures. However, to the successful mana...
Emilia Mendes, Nile Mosley, Steve Counsell