507 search results - page 64 / 102 » Counterexample-Guided Abstraction Refinement |
ALGORITHMICA
2006
13 years 10 months ago
2006
Abstract. An overpartition of an integer n is a partition where the last occurrence of a part can be overlined. We study the weight of the overlined parts of an overpartition count...
ENTCS
2008
13 years 10 months ago
2008
Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can...
ENTCS
2006
13 years 10 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
IJES
2008
13 years 10 months ago
2008
In this article, we present an overview of the Artemis workbench, which provides modelling and simulation methods and tools for efficient performance evaluation and exploration of ...
JIKM
2008
13 years 10 months ago
2008
Abstract. Current theories of knowledge management postulate a cycle of knowledge creation, refinement and implementation that hinges on the transformation of tacit, or practical, ...