884 search results - page 116 / 177 » The Linear Logic of Multisets |
145
click to vote
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
108
click to vote
FSKD
2006
Springer
15 years 7 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
138
Voted
AAAI
2007
15 years 5 months ago
2007
The world is unpredictable, and acting intelligently requires anticipating possible consequences of actions that are taken. Assuming that the actions and the world are determinist...
115
Voted
IJCAI
2001
15 years 4 months ago
2001
In the last decade, there has been several studies on the computational complexity of planning. These studies normally assume that the goal of planning is to make a certain fluent...
135
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...