17983 search results - page 124 / 3597 » Set Types and Applications |
141
click to vote
QI
2009
Springer
16 years 28 days ago
2009
Springer
In this paper we explore an extention of the Type Indeterminacy model of decision-making to strategic decision-making. A 2X2 game is investigated. We first show that in a one-sho...
159
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
154
click to vote
GEOINFO
2007
15 years 7 months ago
2007
This paper describes a model for spatiotemporal objects whose location is fixed, but its boundaries and properties change. We refer to these as evolving objects. We consider cases ...
172
click to vote
TR
2008
15 years 6 months ago
2008
A hybrid censoring scheme is a mixture of Type-I and Type-II censoring schemes. This article presents the statistical inferences on Weibull parameters when the data are Type-II hyb...
159
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...