3384 search results - page 199 / 677 » More Testable Properties |
104
click to vote
IJCAI
1989
15 years 4 months ago
1989
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...
112
click to vote
WCE
2007
15 years 4 months ago
2007
— We propose a novel approach to improve further the quality of recovered images from standard super-resolution reconstruction, using Lewitt’s Kaiser-Bessel window functions (b...
130
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...
113
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
108
click to vote
ANOR
2010
15 years 3 months ago
2010
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...