4987 search results - page 123 / 998 » Support Ordered Resolution |
ICANN
2003
Springer
15 years 3 months ago
2003
Springer
Fuzzy relations as representational tools and fuzzy compositional operators as reasoning components, are user in this paper in order to represent knowledge expressed in semantic ru...
EXPCS
2007
15 years 1 months ago
2007
The modeling of power and thermal behavior of processors requires challenging validation processes, which may be complex and undependable. In order to ameliorate some of the diffi...
COCOON
1995
Springer
15 years 1 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The preamplifier is a critical component of gyrometer's electronics. Indeed the resolution of the sensor is limited by its signal to noise ratio, and the gyrometer's the...
CPHYSICS
2007
14 years 10 months ago
2007
Here we present a new, semidiscrete, central scheme for the numerical solution of one-dimensional systems of hyperbolic conservation laws. The method presented in this paper is an...