1301 search results - page 6 / 261 » Specifications via Realizability |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
: We will study convolutional codes with the help of state space realizations. It will be shown that two such minimal realizations belong to the same code if and only if they are e...
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
ECIS
2004
13 years 8 months ago
2004
A number of issues have emerged from the analysis of the data collected via a survey conducted in Taiwanese B2BEC companies. The results show relatively high usage of IS/IT invest...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
IFIP3
1998
13 years 8 months ago
1998
The concept of the Virtual University offers a new learning environment for distance education. All the functionalities of a conventional university are available to the students ...