4987 search results - page 122 / 998 » Support Ordered Resolution |
BMAS
2000
IEEE
15 years 2 months ago
2000
IEEE
Analog simulators typically use a dynamic, adaptive time step control strategy in order to minimize the calculations performed during inactive portions of a system’s operation, ...
HVEI
2009
14 years 7 months ago
2009
We present the design of a spherical imaging system with the following properties: (i) A 4 field of view that enables it to "see" in all directions; (ii) a single center...
ISSAC
2009
Springer
15 years 4 months ago
2009
Springer
We address complexity issues for linear differential equations in characteristic p > 0: resolution and computation of the p-curvature. For these tasks, our main focus is on al...
OTM
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
We extend a particular access control framework, the Privilege Calculus, with a possibility to override denied access for increased flexibility in hard to define or unanticipated...