11397 search results - page 265 / 2280 » A Relational Abstraction for Functions |
238
click to vote
GLVLSI
1996
IEEE
15 years 11 months ago
1996
IEEE
Inthispaperweintroduceanondeterministiccounterpart to Reduced, Ordered Binary Decision Diagrams for the representation and manipulation of logic functions. ROBDDs are conceptually...
205
click to vote
GEOINFO
2003
15 years 8 months ago
2003
For the construction of digital terrain models based on surface interpolation, it is defined a bivariate function ¡£¢¥¤§¦©¨ that interpolates a finite set of sample ...
187
click to vote
SIAMCO
2000
15 years 7 months ago
2000
Given a locally defined, nondifferentiable but Lipschitz Lyapunov function, we construct a (discontinuous) feedback law which stabilizes the underlying system to any given toleran...
192
click to vote
FSS
2010
15 years 5 months ago
2010
In this paper we extend the geometric approach to the theory of evidence in order to include the class of necessity measures, represented on a finite domain of “frame” by con...
213
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
We develop the theory of regular cost functions over finite trees: a quantitative extension to the notion of regular languages of trees: Cost functions map each input (tree) to a v...