4087 search results - page 42 / 818 » Sets in Types, Types in Sets |
CPP
2011
12 years 8 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...
QI
2009
Springer
14 years 3 months 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...
AISC
2010
Springer
14 years 1 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
GEOINFO
2007
13 years 10 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 ...
TR
2008
13 years 8 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...