Sciweavers

1648 search results - page 27 / 330
» Structuring namespace descriptions
Sort
View
ICCAD
1996
IEEE
92views Hardware» more  ICCAD 1996»
15 years 6 months ago
Generation of BDDs from hardware algorithm descriptions
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
Shin-ichi Minato
FIW
1998
104views Communications» more  FIW 1998»
15 years 3 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner
CASCON
1997
119views Education» more  CASCON 1997»
15 years 3 months ago
Acme: an architecture description interchange language
Numerous architectural description languages (ADLs) have been developed, each providing complementary capabilities for architectural development and analysis. Unfortunately, each ...
David Garlan, Robert T. Monroe, David Wile
ECCV
2010
Springer
15 years 7 months ago
Compact video description for copy detection with precise temporal alignment
This paper introduces a very compact yet discriminative video description, which allows example-based search in a large number of frames corresponding to thousands of hours of vide...
ICCS
1998
Springer
15 years 6 months ago
Matching in Description Logics: Preliminary Results
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
Franz Baader, Alexander Borgida, Deborah L. McGuin...