1969 search results - page 318 / 394 » Incremental Processing and Acceptability |
CHI
2010
ACM
14 years 10 months ago
2010
ACM
Narratives are an intimate part of our lives. Based on behavioral research suggesting that older adults tend to process text better at discourse level, this study investigates the...
ICST
2010
IEEE
14 years 9 months ago
2010
IEEE
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
123
click to vote
ICST
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
103
click to vote
IEEEHPCS
2010
14 years 9 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
120
click to vote
IJCV
2010
14 years 9 months ago
2010
Abstract Image alignment has been a long standing problem in computer vision. Parameterized Appearance Models (PAMs) such as the Lucas-Kanade method, Eigentracking, and Active Appe...