1421 search results - page 65 / 285 » Satisfying KBO Constraints |
AMW
2010
13 years 9 months ago
2010
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
CVGIP
2002
13 years 8 months ago
2002
In this paper we describe a method for creating sharp features and trim regions on multiresolution subdivision surfaces along a set of user-defined curves. Operations such as engr...
IJPRAI
2000
13 years 8 months ago
2000
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
IJSYSC
2000
13 years 8 months ago
2000
This paper is concerned with the design of robust state feedback controllers for a class of uncertain time-delay systems. The uncertainty is assumed to satisfy a certain integral ...
ENTCS
2002
13 years 8 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...