2413 search results - page 167 / 483 » Models for universal usability |
91
Voted
AUIC
2000
IEEE
15 years 5 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...
95
Voted
LICS
1999
IEEE
15 years 5 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...
DEXAW
2004
IEEE
15 years 4 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...
56
Voted
ACTAC
2005
15 years 18 days 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...
105
Voted
ENTCS
2010
14 years 10 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....