549 search results - page 69 / 110 » Rationality in the Full-Information Model |
PUC
2008
13 years 7 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...
SIGDIAL
2010
13 years 5 months ago
2010
This paper presents an agenda-based user simulator which has been extended to be trainable on real data with the aim of more closely modelling the complex rational behaviour exhib...
ESIAT
2009
IEEE
13 years 5 months ago
2009
IEEE
In the past, we evaluated the damage effectiveness of shrapnel pill without considering the dispersing blind area. Research and experiment show that dispersing dead area of shrapne...