2335 search results - page 235 / 467 » Type Checking Type Classes |
CG
2000
Springer
13 years 10 months ago
2000
Springer
Chaotic attractors generated by the iteration of polynomial functions with cyclic symmetry have been the subject of recent study. A new formulation is investigated which generates ...
COMSUR
2000
13 years 10 months ago
2000
Trust is an important aspect of decision making for Internet applications and particularly influences the specification of security policy i.e. who is authorised to perform action...
JGAA
2002
13 years 10 months ago
2002
Enabling the user of a graph drawing system to preserve the mental map between two different layouts of a graph is a major problem. In this paper we present methods that smoothly ...
MCSS
2002
Springer
13 years 10 months ago
2002
Springer
In this paper, we study the observability properties of nonlinear discrete time systems. Two types of contributions are given. First, we present observability criteria in terms of...
MOC
1998
13 years 10 months ago
1998
Abstract. In seeking suitable Runge-Kutta methods for differential algebraic equations, we consider singly-implicit methods to which are appended diagonally-implicit stages. Metho...