9267 search results - page 263 / 1854 » Expectation-Oriented Analysis and Design |
150
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
129
click to vote
DOCENG
2007
ACM
15 years 9 months ago
2007
ACM
We describe ongoing research on segmenting and labeling HTML medical journal articles. In contrast to existing approaches in which HTML tags usually serve as strong indicators, we...
131
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a study of user voting on three websites: Imdb, Amazon and BookCrossings. Here we report on an expert evaluation of the voting mechanisms of each website and a quantitat...
172
click to vote
BMVC
2001
15 years 8 months ago
2001
We present a comprehensive approach to address three challenging problems in face recognition: modelling faces across multi-views, extracting the non-linear discriminating feature...
144
click to vote
WSC
2007
15 years 8 months ago
2007
Fluctuations of work-in-progress (WIP) levels cause variability of cycle time and often lead to productivity losses in semiconductor wafer fabrication plants. To identify sources ...