16606 search results - page 3001 / 3322 » Context Modeling: Task Model and Practice Model |
113
Voted
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
229
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
161
click to vote
MM
2006
ACM
15 years 11 months ago
2006
ACM
Precise automated video search is gaining in importance as the amount of multimedia information is increasing at exponential rates. One of the drawbacks that make video retrieval ...
171
click to vote
OZCHI
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we present InfoScent Evaluator, a tool that automatically evaluates the semantic appropriateness of the descriptions of hyperlinks in web pages. The tool is based o...
159
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...