16666 search results - page 68 / 3334 » Descriptive and Computational Complexity |
126
Voted
DATE
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper proposes extensions to the VHDL grammar and de nes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...
211
Voted
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
131
Voted
SPLC
2008
15 years 5 months ago
2008
In Context-oriented Programming (COP), programs can be partitioned into behavioral variations expressed as sets of partial program definitions. Such layers can be activated and de...
158
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The paper describes a general glance to the use of element exchange techniques for optimization over permutations. A multi-level description of problems is proposed which is a fund...
106
Voted
DLOG
2003
15 years 5 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...