1511 search results - page 25 / 303 » Relational Parametricity for Computational Effects |
120
click to vote
CG
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a novel constrained texture mapping method based on the harmonic map. We first project the surface of a 3D model on a planar domain by an angle-based-fla...
163
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
108
click to vote
APAL
2006
15 years 4 months ago
2006
We investigate effective categoricity of computable equivalence structures A. We show that A is computably categorical if and only if A has only finitely many finite equivalence c...
146
Voted
EL
2002
15 years 3 months ago
2002
Distributed, real-time multiplayer computer games (MCGs) are in the vanguard of utilizing the networking possibilities. Although related research have been done in military simulat...
124
click to vote
DSS
2002
15 years 3 months ago
2002
Studies of the effect of individual differences on usage of information systems have yielded mixed results. This study examines the effect of individual differences on the perceiv...