488 search results - page 66 / 98 » The descriptive complexity approach to LOGCFL |
104
click to vote
ICCAD
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper addresses the design of multi-mode architectures for digital signal processing applications. We present a dedicated design flow and its associated high-level synthesis t...
3DPVT
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a computational framework for the inference of dense descriptions from multiple view stereo with general camera placement. Thus far research on dense multiple view ster...
EMSOFT
2004
Springer
15 years 1 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
107
click to vote
DLOG
2007
15 years 5 days ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
BIOCOMP
2007
14 years 11 months ago
2007
Abstract—This paper presents a stochastic modelling framework for complex biochemical reaction networks from a component-based perspective. Our approach takes into account the di...