1928 search results - page 320 / 386 » Integrity Constraints in OWL |
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
DAC
1995
ACM
14 years 1 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
ICCV
1995
IEEE
14 years 1 months ago
1995
IEEE
This paper explores the reconstruction of object surfaces from viewed changes in surface texture patterns. Our approach differs from those in the past in that instead of simply pr...
ICCV
1995
IEEE
14 years 1 months ago
1995
IEEE
A new technique is presented for computing 3D scene structure from point and line features in monocular image sequences. Unlike previous methods, the technique guarantees the comp...
ICLP
1995
Springer
14 years 1 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...