6014 search results - page 30 / 1203 » Parametric Analysis of Computer Systems |
TACS
1991
Springer
14 years 2 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
HYBRID
2010
Springer
14 years 28 days 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...
IBPRIA
2003
Springer
14 years 4 months ago
2003
Springer
In this paper we present a method for the regularization of 3D cylindrical surfaces. By a cylindrical surface we mean a 3D surface that can be expressed as an application S(l, θ) ...
ICCV
2007
IEEE
15 years 27 days ago
2007
IEEE
Configurations of dense locally parallel 3D curves occur in medical imaging, computer vision and graphics. Examples include white matter fibre tracts, textures, fur and hair. We d...
CSCW
2004
ACM
14 years 4 months ago
2004
ACM
Computer system administrators are the unsung heroes of the information age, working behind the scenes to configure, maintain, and troubleshoot the computer infrastructure that un...