1418 search results - page 74 / 284 » The Dynamic Complexity of Formal Languages |
161
click to vote
WWW
2011
ACM
14 years 11 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...
146
click to vote
ICCAD
2002
IEEE
16 years 25 days ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
121
Voted
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Pseudo-intents (also called pseudo-closed sets) of formal contexts have gained interest in recent years, since this notion is helpful for finding minimal representations of impli...
113
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
147
click to vote
ICEIS
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling...