11063 search results - page 167 / 2213 » On the existence of universal models |
170
click to vote
MEMBRANE
2007
Springer
16 years 19 days ago
2007
Springer
Some initial results on the study of conformon-P systems with negative values are reported. One model of these conformon-P systems is proved to be computationally universal while a...
158
click to vote
AUIC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...
154
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
161
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...
112
click to vote
ACTAC
2005
15 years 6 months ago
2005
: In this paper the lexicographic decision process is presented in a unified way. We construct a lexicographic decision function using a universal preference function and a unary f...