6704 search results - page 297 / 1341 » Testing Scenario-Based Models |
227
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
182
click to vote
WSC
2007
15 years 9 months ago
2007
Evaluation of user interface design is usually based on usability testing methods. In this paper we analyzed and described the user behavior in the form of the user model. The use...
150
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
178
click to vote
ISORC
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
147
click to vote
CONTEXT
2007
Springer
2007
Springer
Context-Sensitivity of Human Memory: Episode Connectivity and Its Influence on Memory Reconstruction
16 years 26 days ago
This paper is testing a DUAL-based model of memory. The model assumes decentralized representation of episodes as a coalition of agents and analogical transfer processes as the bas...