3358 search results - page 432 / 672 » Dynamic Description Logics |
164
click to vote
GLVLSI
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper proposes a library-free technology mapping algorithm to reduce delay in combinational circuits. The algorithm reduces the overall number of series transistors through t...
161
click to vote
COSIT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
174
click to vote
MODELS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
171
click to vote
DFG
2004
Springer
16 years 11 hour ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
197
click to vote
EKAW
2004
Springer
16 years 8 hour ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...