279 search results - page 19 / 56 » Testing for Refinement in CSP |
96
Voted
FLAIRS
2001
15 years 4 months ago
2001
Using a generalized adaptive frameworkfor unified cognitive modeling,wereplicate humanperformanceon a standardStrooptask withinan explanatorycomputational modelof vision, language...
118
Voted
FLAIRS
2004
15 years 4 months ago
2004
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...
132
Voted
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
93
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Speed dependent automatic zooming (SDAZ) is a promising refinement to scrolling in which documents are automatically zoomed-out as the scroll rate increases. By automatically zoom...
104
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...