4099 search results - page 395 / 820 » A Framework for Interactive Proof |
172
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
209
click to vote
TIP
2011
15 years 1 months ago
2011
—Recently, many object localization models have shown that incorporating contextual cues can greatly improve accuracy over using appearance features alone. Therefore, many of the...
205
click to vote
IJCV
2006
15 years 6 months ago
2006
In this research we address the problem of classification and labeling of regions given a single static natural image. Natural images exhibit strong spatial dependencies, and mode...
161
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a new information visualization framework that supports the analytical reasoning process. It consists of three views - a data view, a knowledge view and a navi...
164
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Cognitive modeling has evolved into a powerful tool for understanding and predicting user behavior. Higher-level modeling frameworks such as GOMS and its variants facilitate fast ...